AI 创素数间隔世界纪录:有界素数间隔缩至 212 以内
f_charton · x · 2026-09-03
Axiom 数学 AI 团队宣布在「有界素数间隔」这一数论最古老未解猜想上创下世界纪录：证明存在无穷多对素数，其间隔不超过 212（此前纪录为 246）。
过程由数论学家、应用数学家与 AxiomProver AI 协同完成，配合大规模算力。这是人机协作攻克纯数学难题的标杆案例，也是 AI4Science 在数论领域的实质突破。
「研究」频道最新
- IEEE CoG 报告:PuzzleJax 测试显示 LLM 玩 Puzzlescript 游戏很糟糕 — Amidos2006 · 2026-09-03
- ICM 对谈上线:顶级数学家聊 AI 与数学的未来 — AlexKontorovich · 2026-09-03
- 哲学家称 Fable 5.1 找出 Arrhenius 不可能性定理并不成立 — willmacaskill · 2026-09-03
- AI 逼数学家反思：我们究竟看重数学的什么 — stevenstrogatz · 2026-09-03
- Caltech 与 NVIDIA 展示用理解物理的 AI 预测极端天气 — AnimaAnandkumar · 2026-09-03
- 智能体语言可跨代传递:少数"创新者"即可改变整个种群 — EliasEskin · 2026-09-03