11 月 10 日，智源社区援引消息：OpenAI 内部模型仅用 8 页纸 就证明了解析数论百年悬案——"不存在 Landau-Siegel 零点"。

这是个什么难题？

简单说：

  • Landau-Siegel 零点是数论里的一个假设零点，与"广义黎曼猜想"密切相关；
  • 它存在与否，直接影响一系列数论定理的成立；
  • 这个问题已经悬了超过 100 年。
AI在黑板上推导数学公式

为什么重要？

斯坦福数论学家 Jared Duker Lichtman 评价：这个证明暗示了 P ≠ NP——也就是"有些问题永远找不到快速解法"。这是计算机科学的千禧年大奖难题之一。

几个关键点：

  1. AI 不只是会聊天了：它开始能做需要深度创造力的数学研究；
  2. 证明很短：只有 8 页，说明模型找到了人类没想到的简洁路径；
  3. 还需同行验证：数学界正在审阅这个证明。

如果验证通过，这将是 AI 在纯数学领域的里程碑式突破。

信息来源：智源社区、斯坦福数论学家评价。