AI 创素数间隔世界纪录:有界素数间隔缩至 212 以内
f_charton · x · 2026-09-03
Axiom 数学 AI 团队宣布在「有界素数间隔」这一数论最古老未解猜想上创下世界纪录：证明存在无穷多对素数，其间隔不超过 212（此前纪录为 246）。
过程由数论学家、应用数学家与 AxiomProver AI 协同完成，配合大规模算力。这是人机协作攻克纯数学难题的标杆案例，也是 AI4Science 在数论领域的实质突破。
所属事件:AI 公司 Axiom 将素数间隔纪录缩至 212(2 条相关)→
「研究」频道最新
- ACS 推免费平台，研究者可白嫖 Llama 3.1 8B/405B 基座模型 — jankulveit · 2026-10-21
- LessWrong 长文引入「LM 心理学」：像心理学家一样直接与模型对话 — jankulveit · 2026-10-21
- LiFT 循环复用 DiT 核心：参数减 60% 仍胜稠密基线 3.34 FID — burny_tech · 2026-10-21
- 斯坦福学者激辩基因组大模型:变体预测成绩为何只挑着报 — anshulkundaje · 2026-10-21
- Gemini 数小时破解悬置 59 年的核聚变磁场数学猜想 — DynamicWebPaige · 2026-10-21
- Bombadil:解码植物生物电信号的基础模型问世 — tdhopper · 2026-10-21