AI × SCIENCE · 开放问题追踪
未知，证毕。
Where AI turns unknowns into Q.E.D.
追踪人工智能解决的每一个科学问题。每一条记录都标明结果等级、验证方式与原始来源，并向所有人开放批注与质询。
分级标准
完整解AI 独立或主导给出完整、新颖的解答。
部分结果改进界、给出新构造或解决特例，原问题仍开放。
已有文献AI 给出的“新解”在既有文献中已经存在。
待核实已有公开声明，尚未经过独立验证。
问题库
- 2026-07-30数学 · 算术几何雅可比簇上有不小于 31 的素数阶有理挠点的亏格 2 曲线GPT-5.6 Sol 提交了这样一条曲线并通过了 Epoch AI 的验证，但这条曲线来自一个已有的公开数据库；Epoch 自己也说，这个解早已隐含在现有文献中。已有文献
- 2026-04-06数学 · 数论Erdős 问题 #26DeepMind prover agent 给出了解答（2026 年 4 月 6 日），但文献中早已有相当的结果：Ruzsa。已有文献
- 2026-03-28数学 · 图论Erdős 问题 #574GPT-5.4 Pro 发现这个问题在文献中早已被解决（2026 年 3 月 28 日）。已有文献
- 2026-03-06数学 · 数论Erdős 问题 #650ChatGPT Deep research 发现这个问题在文献中早已被解决（2026 年 3 月 6 日）。共记录了 2 项 AI 贡献。已有文献
- 2026-02-25数学 · 数论Erdős 问题 #966Aristotle 给出了解答（2026 年 2 月 25 日），但文献中早已有相当的结果：Spencer (unpublished)。已有文献
- 2026-02-01数学 · 图论Erdős 问题 #1105Aletheia 发现这个问题在文献中早已被解决（2026 年 2 月 1 日）。已有文献
- 2026-02-01数学 · discrepancyErdős 问题 #992Aletheia 发现这个问题在文献中早已被解决（2026 年 2 月 1 日）。已有文献
- 2026-01-31数学 · algebraErdős 问题 #1123Gemini Deep Research 发现这个问题在文献中早已被解决（2026 年 1 月 31 日）。已有文献
- 2026-01-26数学 · irrationalErdős 问题 #1147GPT-5.2 Thinking 发现这个问题在文献中早已被解决（2026 年 1 月 26 日）。已有文献
- 2026-01-26数学 · 图论Erdős 问题 #533GPT 发现这个问题在文献中早已被解决（2026 年 1 月 26 日）。已有文献
- 2026-01-26数学 · 图论Erdős 问题 #705GPT 发现这个问题在文献中早已被解决（2026 年 1 月 26 日）。共记录了 2 项 AI 贡献。已有文献
- 2026-01-24数学 · group theoryErdős 问题 #1161GPT-5.2 Thinking 发现这个问题在文献中早已被解决（2026 年 1 月 24 日）。已有文献
- 2026-01-21数学 · 分析Erdős 问题 #1047Aristotle 为一个早已解决的问题给出了新证明（2026 年 1 月 21 日）。已有文献
- 2026-01-19数学 · 图论Erdős 问题 #1007Aristotle 为一个早已解决的问题给出了新证明（2026 年 1 月 19 日）。已有文献
- 2026-01-19数学 · 加性组合Erdős 问题 #847GPT-5.2 Pro 发现这个问题在文献中早已被解决（2026 年 1 月 19 日）。已有文献
- 2026-01-17数学 · 分析Erdős 问题 #1129GPT-5.2 Pro 发现这个问题在文献中早已被解决（2026 年 1 月 17 日）。已有文献
- 2026-01-17数学 · 分析Erdős 问题 #1130GPT-5.2 Pro 发现这个问题在文献中早已被解决（2026 年 1 月 17 日）。已有文献
- 2026-01-17数学 · 数论Erdős 问题 #281GPT-5.2 Pro 给出了解答（2026 年 1 月 17 日）；后来发现这个问题早已被解决，只是论证方式不同：Davenport and Erdős (1936) + Rogers (in Halberstam-Roth (1966))。已有文献
- 2026-01-17数学 · 集合论Erdős 问题 #591ChatGPT Deep research 发现这个问题在文献中早已被解决（2026 年 1 月 17 日）。共记录了 2 项 AI 贡献。已有文献
- 2026-01-14数学 · 几何Erdős 问题 #224Codex、GPT-5.2 Thinking 为一个早已解决的问题给出了新证明（2026 年 1 月 14 日）。已有文献
- 2026-01-10数学 · 数论Erdős 问题 #397Aristotle、GPT-5.2 Pro 给出了解答（2026 年 1 月 10 日），但文献中早已有相当的结果：China TST competition (2012)。共记录了 3 项 AI 贡献。已有文献
- 2026-01-02数学 · 拉姆齐理论Erdős 问题 #965GPT 发现这个问题在文献中早已被解决（2026 年 1 月 2 日）。已有文献
- 2025-12-27数学 · 距离Erdős 问题 #958Aristotle 为一个早已解决的问题给出了新证明（2025 年 12 月 27 日）。已有文献
- 2025-12-26数学 · 数论Erdős 问题 #897Archivara、Aristotle 给出了解答（2025 年 12 月 26 日），但文献中早已有相当的结果：Wirsing (1981)。已有文献
- 2025-12-25数学 · 数论Erdős 问题 #333Claude Opus 4.5、GPT-5.2 Pro 给出了解答（2025 年 12 月 25 日），但文献中早已有相当的结果：Erdős and Newman (1977)。共记录了 2 项 AI 贡献。已有文献
- 2025-12-21数学 · 数论Erdős 问题 #379Seed Prover 1.5 为一个早已解决的问题给出了新证明（2025 年 12 月 21 日）。已有文献
- 2025-12-03数学 · 数论Erdős 问题 #481GPT 发现这个问题在文献中早已被解决（2025 年 12 月 3 日）。已有文献
- 2025-11-02数学 · 几何Erdős 问题 #94GPT-5 发现这个问题在文献中早已被解决（2025 年 11 月 2 日）。已有文献
- 2025-10-20数学 · 数论Erdős 问题 #645GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 20 日）。已有文献
- 2025-10-19数学 · 数论Erdős 问题 #1099ChatGPT Deep research、Gemini、Gemini Deep Research 发现这个问题在文献中早已被解决（2025 年 10 月 19 日）。已有文献
- 2025-10-15数学 · 分析Erdős 问题 #515GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 15 日）。已有文献
- 2025-10-14数学 · 组合Erdős 问题 #903GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 14 日）。已有文献
- 2025-10-13数学 · 图论Erdős 问题 #1079GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 13 日）。已有文献
- 2025-10-13数学 · 几何Erdős 问题 #223GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 13 日）。已有文献
- 2025-10-13数学 · 分析Erdős 问题 #494GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 13 日）。已有文献
- 2025-10-13数学 · 图论Erdős 问题 #621GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 13 日）。已有文献
- 2025-10-13数学 · 数论Erdős 问题 #822GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 13 日）。已有文献
- 2025-10-12数学 · 分析Erdős 问题 #1043GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 12 日）。共记录了 3 项 AI 贡献。已有文献
- 2025-10-11数学 · 数论Erdős 问题 #339GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 11 日）。已有文献
- 2025-09-30数学 · 图论Erdős 问题 #737GPT-5 发现这个问题在文献中早已被解决（2025 年 9 月 30 日）。已有文献