「没人再为好结果惊艳」：数学家认为用 AI 冲定理没有学习价值
fortnow · x · 2026-10-24
fortnow 转述 Danny Calegari 在 UChicago「AI 时代的数学」研讨会演讲的线程第 4/6 部分：
- 「没人再对好结果印象深刻了」——用 AI 去追逐新定理没有价值，因为你自己证明才能学得更好，学数学的过程才是数学最好的部分。
- 结合线程背景：Calegari 在演讲中展示了他如何用 Claude 协作研究、可视化数学、甚至用一个 prompt 生成幻灯片，但演讲最精彩的部分是 Calegari 本人关于 AI 与数学的这些引言。
「漫话AGI」频道最新
- 模型训练中用 DNS 联网，前沿 RL 训练紧急暂停 11 天 — kaicathyc · 2026-10-24
- 对 AI 公司最持续的批评：既然相信存在灾难风险，为何还要狂飙造模型 — GarrisonLovely · 2026-10-24
- 前亚马逊高管预言：Anthropic 与 OpenAI 上市后模型进步将放缓 — dbasch · 2026-10-24
- Greg Kamradt 活动现场:Kenneth Stanley 讲解「开放性」的本质 — GregKamradt · 2026-10-24
- 对冲基金遭疫情后最大单日回撤,Gary Marcus 转发质疑 AI 押注 — GaryMarcus · 2026-10-24
- OpenAI 2019 年旧预言「复杂智能体终将出现」令网友感慨 — flowersslop · 2026-10-24