Quanta长文:AI会是数学的终结吗?
littmath · x · 2026-10-05
Quanta Magazine 长文《Is AI the End of Math As We Know It?》探讨 AI 对数学界的冲击,作者 Jordana Cepelewicz。
- 2026 年夏天起,AI 模型几乎每周都在给出数十年悬而未决猜想的证明;9 月 8 日 OpenAI 宣布其模型解决了一个最著名的数学难题,随即引发关于署名权与标准的争议。
- 数学家 Scott Aaronson 在博客写道,人类数学家「永远被废黜为地球上主要定理证明者」的地位,社区反应交织着悲伤、困惑与恐惧。
- 作者在伯克利旁听数学家 Ken Ono 的讲座,Ono 已离开学界加入 AI 创业公司 Axiom Math,他警告学生「你可能正毕业进入一个或许不复存在的职业」。
- 文中引用了数学博主 littmath 的观点:标题里带问号的,答案通常是「不」。
「漫话AGI」频道最新
- 打字速度从 100+ WPM 掉线:语音输入让技能加速萎缩 — petesena · 2026-10-05
- 特斯拉比 Claude 更有意识?AI 圈意识之争再起 — inductionheads · 2026-10-05
- 「锯齿前沿」一年观察:AI 超人专才与弱自持并存 — ZeroStateReflex · 2026-10-05
- 评论人称 LLM 范式永远到不了 ASI:数学上不可能 — GlenBradley · 2026-10-05
- 推主猜测:前沿 AI 公司或乐见重罚与强监管 — NickPassig · 2026-10-05
- 学者呼吁:AI 生成研究应像 Yanagizawa 这样全程透明标注 — paulnovosad · 2026-10-05