数学

AI 开始做数学了，而且比大多数人做得好 过去三周发生了一件让我非常不安的事：AI 开始做数学了，而且做得比大多数人好。 7月20日，哈佛数学家 Levent Alpöge 和 Anthropic 的 Claude Fable-5 合作，构造出了雅可比猜想（Jacobian Conjecture）的反例——这个问题自1939年提出，悬了整整87年，被列在 Smale 的"21世纪最困难数学问题"清单上。8月10日，一个未公开发布的 Claude 模型将黎曼 zeta 函数零点落在临界线上的已证明比例，从41.6%推到了67.2%。8月24日，Alpöge 又和 Claude 联手终结了另一道悬了78年的世纪难题：六维球面 S⁶ 上是否存在光滑、自洽、处处可微的复结构。答案是存在。 ...