AI 推翻 80 年数学猜想，陶哲轩称数学进入“证明过剩”时代
AI 正在改变数学研究：能快速产出证明，但人类理解跟不上，数学家们开始讨论“证明过剩”时代该保护什么。
过去三个月，AI 在数学界连续做成三件事：推翻 80 年未解的单位距离猜想、给雅可比猜想找高维反例、在十项数学难题上取得进展。菲尔兹奖得主陶哲轩认为，AI 将把数学从“证明稀缺”推向“证明过剩”，而人类数学家需要重新定位自己的价值。
正文摘录
 新智元报道  过去三个月，AI 在数学界连干了三件几十年没人干成的事。 5 月，OpenAI 一个还没公开的内部模型，推翻了埃尔德什 1946 年提出的单位距离猜想。 这道题悬了整整 80 年，普林斯顿的 Noga Alon 说它「大概是离散几何里最有名的问题」。 7 月，Anthropic 研究员 Levent Alpöge 发推，称 Claude Fable 找到了雅可比猜想（Jacobian conjecture）在高维的一个反例。  8 月，OpenAI 一口气公布了内部版 Astra 在数学和理论计算机科学上的十项进展，从高维球堆积、群论到格密码学。 跑出这些结果所消耗的 token，按 Sol 的 API 价算，总共大约 2000 美元。 更狠的是，不到 24 小时，Levent 又宣布，用已经公开的 Fable 复现了这 10 项里的 5 项。 数学，就快要被 AI 解决了？ 菲尔茨奖得主 Timothy Gowers，第一次听说单位距离被 AI 攻破的那天下午，他脑子里冒出来的第一个念头就是：完了，数学家是不是很快就要出局了。 那一整晚，他都在重新调整自己的世界观。 直到第二天早上他才弄明白，模型是推翻了这个猜想，不是证明了它，终于长舒一口气。