AI 模型独立得出 Odlyzko-Poonen 猜想新证明,已用 Lean 完全形式化
fedzbar · x · 2026-09-30
- Constantin Kogler 发布其首篇论文,称一个 AI 模型完全独立想出了一个新证明,他随后花时间理解并重写。
- 证明解决了 Odlyzko-Poonen 猜想:常数项为 1、其余系数独立均匀取自 {0,1} 的首一多项式,当次数趋于无穷时在 rationals 上不可约的概率趋于 1,且为无条件证明。
- 模型用到一个小众但已知的技巧(作者称之为 twin factorization trick),给出对这一长期悬而未决问题的相当简洁的解法。
- 证明已用 Lean 完全形式化,论文已提交 arXiv(2609.26771,11 页)。
「研究」频道最新
- DeepMind 研究员发 58 页博弈论 Agent 论文，作者提炼核心要点 — mdancho84 · 2026-09-30
- token 本质只是整数索引：逗号就是嵌入矩阵第 28 行 — zsakib_ · 2026-09-30
- 新论文：让工具型 Agent 学会主动追问用户没说的信息 — LChoshen · 2026-09-30
- ALICE：零样本上下文互信息估计基础模型问世 — eurecom-probai · 2026-09-30
- FocusVTC：自适应分辨率视觉文本压缩，RULER 得分 87.4 — FangZhi Zhong · 2026-09-30
- 实时 LLM Agent 通用接口缺失:AsyncLLM 论文引出异步智能体构建之问 — phill1992 · 2026-09-30