AI × SCIENCE · 开放问题追踪
未知，证毕。
Where AI turns unknowns into Q.E.D.
追踪人工智能解决的每一个科学问题。每一条记录都标明结果等级、验证方式与原始来源，并向所有人开放批注与质询。
分级标准
完整解AI 独立或主导给出完整、新颖的解答。
部分结果改进界、给出新构造或解决特例，原问题仍开放。
已有文献AI 给出的“新解”在既有文献中已经存在。
待核实已有公开声明，尚未经过独立验证。
问题库
- 2026-10-06数学 · 分析Mahler 测度较大的 Littlewood 多项式OpenAI 的一个内部模型写出了一篇预印本，证明实系数的超平坦 Littlewood 多项式存在，从而解决了 Epoch AI 列出的一个开放问题；该证明尚未经过独立核查。待核实
- 2026-10-06数学 · 数学与理论计算机科学OpenAI 一次性发布 372 组数学结果OpenAI 发布了一个未公开模型产出的 719 篇论文，分属 372 组结果；约 42% 有 Lean 形式化，全部未经同行评审，其中 3 篇在一天后因一个符号错误被撤回。待核实
- 2026-09-17数学 · 数论Apéry 式无理性证明：ζ(5) 与 Catalan 常数一篇证明 ζ(5) 是无理数的预印本（已由第三方完成 Lean 形式化）使 Epoch AI 将这个开放问题标记为由人与 AI 合作解决；但我们找到的一手资料都没有说明 AI 起了什么作用。待核实
- 2026-09-10计算机 · 社会选择基于认可投票的委员会选举中，核心总是非空的Becker、Greger 和 Peters 证明了每一个基于认可投票的委员会选举都存在核心中的委员会，并且可以在多项式时间内找到；他们的 arXiv 论文写明该证明是借助 GPT-6 Astra 得到的。待核实
- 2026-09-08数学 · 偏微分方程Navier–Stokes：OpenAI 声称在光滑外力下有限时间爆破OpenAI 声称其内部模型证明了：一个从静止开始的三维不可压缩流体，在光滑外力作用下可以在有限时间内出现奇点，这是千禧年大奖问题的四种表述之一；这份 166 页的证明尚未经过核实，优先权也存在争议。待核实
- 2026-08-09数学 · 数论Mathieu 群 M23 的反 Galois 问题Huang、Jackson、Lee、Poonen、Pries 和 Zhang 给出了一个 ℚ 上的 23 次多项式，其 Galois 群为 M23，这是最后一个尚未实现的散在单群；Epoch AI 认为 AI 起了关键作用，但论文尚未经过同行评审。待核实
- 2026-08-01数学 · 数学与理论计算机科学OpenAI 的“十项进展”：数学与理论计算机科学OpenAI 宣布 GPT-6 Astra 产出了十项结果，从球堆积上界到 Ramsey 数，并附有 Lean 证明；这些结果都未经同行评审，其中两项还受到数学家关于学术署名的质疑。待核实
- 2026-06-27数学 · 图论Erdős 问题 #1033GPT-5.5 Pro 提出了尚未核实的结果（2026 年 6 月 27 日）：候选部分结果（待核实）。待核实
- 2026-06-27数学 · 数论Erdős 问题 #731Eric Li 与 GPT 提出了尚未核实的结果（2026 年 6 月 27 日）：候选完整解（待核实）。待核实
- 2026-06-24数学 · 数论Erdős 问题 #1061Eric Li 与 GPT 提出了尚未核实的结果（2026 年 6 月 24 日）：候选完整解（待核实）。待核实
- 2026-06-24数学 · 数论Erdős 问题 #730GPT-5.5 Pro 提出了尚未核实的结果（2026 年 6 月 24 日）：候选完整解（待核实）。待核实
- 2026-06-23数学 · 集合论Erdős 问题 #1177Eric Li 与 GPT 提出了尚未核实的结果（2026 年 6 月 23 日）：候选完整解（待核实）。待核实
- 2026-06-23数学 · 数论Erdős 问题 #432Sungchul Lee 与 GPT-5.5 Pro 提出了尚未核实的结果（2026 年 6 月 23 日）：候选部分结果（待核实）。待核实
- 2026-06-23数学 · 集合论Erdős 问题 #593Eric Li 与 GPT 提出了尚未核实的结果（2026 年 6 月 23 日）：候选完整解（待核实）。待核实
- 2026-06-22数学 · 数论Erdős 问题 #400Eric Li 与 GPT 提出了尚未核实的结果（2026 年 6 月 22 日）：候选部分结果（待核实）。待核实
- 2026-06-22数学 · 图论Erdős 问题 #550GPT 提出了尚未核实的结果（2026 年 6 月 22 日）：候选完整解（待核实）。待核实
- 2026-06-22数学 · 分析Erdős 问题 #671Codex、GPT-5.5 Pro 提出了尚未核实的结果（2026 年 6 月 22 日）：候选完整解（待核实）（Lean 形式化）。待核实
- 2026-06-22数学 · 数论Erdős 问题 #768Eric Li 与 GPT 提出了尚未核实的结果（2026 年 6 月 22 日）：候选完整解（待核实）。待核实
- 2026-06-19数学 · 数论Erdős 问题 #1139Przemek Chojecki、gavinsherry、Liam Price、Terence Tao 与 GPT-5.2 Pro、GPT-5.5 Pro 提出了尚未核实的结果（2026 年 6 月 19 日）：候选完整解（待核实）。待核实
- 2026-06-14数学 · 几何Erdős 问题 #1208Sungchul Lee 与 GPT-5.5 Pro 提出了尚未核实的结果（2026 年 6 月 14 日）：候选部分结果（待核实）。待核实
- 2026-06-09数学 · 数论ℚ₂ 的绝对 Galois 群的显式表示AI 模型给出了 2-进数域绝对 Galois 群的一个候选显式表示，这是唯一尚未解决的情形；已有 Lean 形式化，但依赖于引用的文献结果，相关文稿也未经同行评审。待核实
- 2026-06-04数学 · 集合论Erdős 问题 #623Sungchul Lee 与 GPT-5.5 Pro 提出了尚未核实的结果（2026 年 6 月 4 日）：候选完整解（待核实）。待核实
- 2026-06-01数学 · 组合Erdős 问题 #501Sungchul Lee 与 GPT-5.5 Pro 提出了尚未核实的结果（2026 年 6 月 1 日）：Candidate conditional partial result（conditional solution to first part）。待核实
- 2026-05-15数学 · 加性组合Erdős 问题 #819Yu Leon Liu 与 GPT-5.5、Rethlas 提出了尚未核实的结果（2026 年 5 月 15 日）：候选部分结果（待核实）。待核实
- 2026-05-13数学 · 数论Erdős 问题 #327Yu Leon Liu 与 GPT-5.5、Rethlas 提出了尚未核实的结果（2026 年 5 月 13 日）：候选部分结果（待核实）。待核实
- 2026-05-04数学 · 数论Erdős 问题 #456David Turturean 与 GPT-5.5 Pro 提出了尚未核实的结果（2026 年 5 月 4 日）：候选部分结果（待核实）（solutions to first part and second part; conditional solution to third part）。待核实
- 2026-05-03数学 · 数论Erdős 问题 #288Ritvik Nayak 与 GPT-5.5 Thinking 提出了尚未核实的结果（2026 年 5 月 3 日）：候选部分结果（待核实）。待核实
- 2026-05-02数学 · 数论Erdős 问题 #390Samuel Mausberg 与 GPT-5.5 Pro 提出了尚未核实的结果（2026 年 5 月 2 日）：候选部分结果（待核实）。待核实
- 2026-05-02数学 · 数论Erdős 问题 #870David Turturean 与 GPT-5.4 Pro、GPT-5.5 Pro 提出了尚未核实的结果（2026 年 5 月 2 日）：候选完整解（待核实）。待核实
- 2026-04-30数学 · 数论Erdős 问题 #1201Przemek Chojecki 与 GPT-5.5 Pro 提出了尚未核实的结果（2026 年 4 月 30 日）：候选完整解（待核实）。待核实
- 2026-04-29数学 · 分析Erdős 问题 #1133Przemek Chojecki 与 GPT-5.5 Pro 提出了尚未核实的结果（2026 年 4 月 29 日）：候选完整解（待核实）。待核实
- 2026-04-29数学 · 数论Erdős 问题 #873Ritvik Nayak 与 GPT-5.4 Thinking 提出了尚未核实的结果（2026 年 4 月 29 日）：候选部分结果（待核实）。共记录了 2 项 AI 贡献。待核实
- 2026-04-27数学 · 数论Erdős 问题 #1101GPT-5.5 Pro 提出了尚未核实的结果（2026 年 4 月 27 日）：候选部分结果（待核实）（solution to second part）。待核实
- 2026-04-27数学 · 图论Erdős 问题 #836GPT-5.5 Pro 提出了尚未核实的结果（2026 年 4 月 27 日）：候选部分结果（待核实）（solution to second part）。待核实
- 2026-04-27数学 · 几何Erdős 问题 #956Przemek Chojecki 与 Aristotle、GPT-5.5 Pro 提出了尚未核实的结果（2026 年 4 月 27 日）：候选完整解（待核实）。待核实
- 2026-04-26数学 · 分析Erdős 问题 #1131GPT-5.5 Pro 提出了尚未核实的结果（2026 年 4 月 26 日）：候选部分结果（待核实）。待核实
- 2026-04-25数学 · 分析Erdős 问题 #906Adriano Almeida 与 Unspecified 提出了尚未核实的结果（2026 年 4 月 25 日）：候选完整解（待核实）。共记录了 2 项 AI 贡献。待核实
- 2026-04-22数学 · 集合论Erdős 问题 #598Przemek Chojecki 与 Aristotle、GPT-5.4 Pro 提出了尚未核实的结果（2026 年 4 月 22 日）：候选部分结果（待核实）。待核实
- 2026-04-15数学 · 数论Erdős 问题 #856Przemek Chojecki 与 GPT-5.4 Pro 提出了尚未核实的结果（2026 年 4 月 15 日）：候选完整解（待核实）。待核实
- 2025-10-29数学 · 数论Erdős 问题 #689Boris Alexeev、Przemek Chojecki、Dogmachine、jleng01、Mehtaab Sawhney、Terence Tao、Malek Zribi 与 Codex、GPT-5.2、GPT-5.5 Pro 提出了尚未核实的结果（2025 年 10 月 29 日）：候选完整解（待核实）。待核实