AI 破解近 400 道数学难题，数学家心态从质疑转向乐观
数学教授 Noah Gianella 回顾了自己面对 AI 解题能力的心路转变：Unit Distance 猜想被 AI 解决时，他起初不以为意，认为只是受益于重度计算的单个组合问题；随着 AI 相继破解近 400 道数学难题，他坦言「墙上的字已无法忽视」，从质疑转向乐观，认为 AI 正在攻克他的「北极星」难题，数学界正迎来深刻变革。
2026-10-11 ~ 2026-10-12 · 2 条相关
- 第 1 集:陶哲轩谈AI数学研究：应用方式不对，应慢中求价值(2026-10-07,2 条)
- 第 2 集:陶哲轩「数学家没要求AI做这事」引战，OpenAI手稿遭实质核查(2026-10-08,58 条)
- 第 3 集:陶哲轩博客刊文探讨 AI 时代数学系学生职业建议(2026-10-09,2 条)
- 第 4 集:陶哲轩回应 OpenAI 证明潮遭质疑(2026-10-09,2 条)
- 第 5 集:陶哲轩谈AI数学证明：想法漂亮却忧传承(2026-10-10,2 条)
- 第 6 集:陶哲轩Math 2.0讲座引热议：证明过剩与可理解性之争(2026-10-11,58 条)
- 第 7 集:OpenAI 发布数百篇 AI 数学论文，菲尔兹奖得主落泪引震动(2026-10-11,12 条)
- 第 8 集:Ben Goertzel 批数学界垄断心态 力挺 LLM 证定理(2026-10-11,3 条)
- 第 9 集:陶哲轩思想实验引热议:AI 发现超出人类理解怎么办(2026-10-11,2 条)
- 第 10 集:陶哲轩呼吁加大 AI 数学算力投入 遭社区误读(2026-10-11,2 条)
- 第 11 集:AI 破解近 400 道数学难题，数学家心态从质疑转向乐观(2026-10-11,2 条)
- 第 12 集:AI 浪潮下「准黎曼猜想」类课题恐难获资助(2026-10-12,2 条)
- 第 13 集:数学家称同行多数对 AI 感到兴奋(2026-10-12,2 条)
- AI 破解近 400 道数学难题,数学家坦言「墙上的字已无法忽视」 — emax · 2026-10-11
- 数学家自述:从质疑到乐观,AI 正在攻克我的「北极星」难题 — kevinakwok · 2026-10-12