程序员已成赛博格,数学家还在为AI抢 conjecture 哭闹
banteg · x · 2026-10-07
banteg 发帖调侃：程序员面对 AI 已经被'自动化成了超人半机械人'，而数学家对同样转变的反应却像幼儿一样——'哇,他们抢走了我的 hodgepodge 猜想'。他批评数学界与现实脱节太深,以至于开始相信'问题'是自己的私有财产。这是 AI 冲击学术界引发的又一轮行业文化争论,把程序员群体的适应性与数学家的抵触心理做了鲜明对比。
「漫话AGI」频道最新
- Bindu Reddy 画「富足时代」路线图:超级智能+机器人+无限能源 — bindureddy · 2026-10-07
- Naval 转发讨论：AI 实验室靠卖固定单价 token 的路线注定失败 — naval · 2026-10-07
- 三维 Kakeya 摘菲尔兹奖，四维情形被 AI 攻克 — burny_tech · 2026-10-07
- OfirPress:已完全丧失预测 AI 编程未来的能力 — OfirPress · 2026-10-07
- Ofir Press：AI 或将催生类似编译器级别的计算机科学突破 — OfirPress · 2026-10-07
- 20 年经验数学家评 LLM 定理:期待真新思想而非重排组合 — littmath · 2026-10-07