数学家称「没人要求 AI 来做我们的工作」,引发争议
prof_g · x · 2026-10-08
转发一则争议:数学界对 AI 自动化证明工作的不满,认为「数学家并没有要求做这样的工作」,反映 AI 进军数学研究引发的社区反弹。
「漫话AGI」频道最新
- Toby Ord 提出插值-外推-超外推三分法，称 AI 拙于第三类 — tobyordoxford · 2026-10-08
- 纽约联储调查：采用 AI 的小微企业预期更高就业与营收 — robseamans · 2026-10-08
- Lemire:AI 克隆 Photoshop 很无聊,真正的变革是全新交互体验 — lemire · 2026-10-08
- LeCun 转发声讨 AI 巨头：花园假条款坑害培养他们的学者 — ylecun · 2026-10-08
- 沃顿教授 Ethan Mollick:真 Agent 时代以来几乎无新的生产力 RCT 研究 — emollick · 2026-10-08
- DeepMind 系 Isomorphic Labs 融资谈判,估值至少 400 亿美元 — nmasc_ · 2026-10-08