AI × SCIENCE · 开放问题追踪
未知，证毕。
Where AI turns unknowns into Q.E.D.
追踪人工智能解决的每一个科学问题。每一条记录都标明结果等级、验证方式与原始来源，并向所有人开放批注与质询。
分级标准
完整解AI 独立或主导给出完整、新颖的解答。
部分结果改进界、给出新构造或解决特例，原问题仍开放。
已有文献AI 给出的“新解”在既有文献中已经存在。
待核实已有公开声明，尚未经过独立验证。
问题库
- 2026-08-12数学 · 组合668 阶 Hadamard 矩阵Anthropic 研究员 Levent Alpöge 公布了 2000 以内所有此前未知阶数的 Hadamard 矩阵，其中包括 668 阶，由三位研究者与 Claude 合作找到；独立核查确认了矩阵的正确性，但方法尚未公开。完整解
- 2026-06-21数学 · 分析Erdős 问题 #1197Aristotle、Claude Opus 4.7、GPT-5.4 Pro 给出了完整解，并完成了 Lean 形式化（2026 年 6 月 21 日）。完整解
- 2026-06-21数学 · 数论Erdős 问题 #346Kenta Kitamura 与 Codex、GPT 给出了完整解，并完成了 Lean 形式化（2026 年 6 月 21 日）。共记录了 2 项 AI 贡献。完整解
- 2026-06-21数学 · 数论Erdős 问题 #865Ricky Cipollini 与 GPT-5.5 Pro 给出了完整解（2026 年 6 月 21 日）。完整解
- 2026-06-21数学 · 数论Erdős 问题 #948Aristotle、GPT-5.5 Pro 给出了完整解，并完成了 Lean 形式化（2026 年 6 月 21 日）。完整解
- 2026-06-16数学 · 图论Erdős 问题 #986Domagoj Bradač 与 Claude、OpenAI internal model 给出了完整解（2026 年 6 月 16 日）。完整解
- 2026-06-14数学 · 数论Erdős 问题 #326Aron Bhalla 与 Aristotle、Codex、GPT-5.5 给出了完整解，并完成了 Lean 形式化（2026 年 6 月 14 日）。完整解
- 2026-06-09数学 · 图论Erdős 问题 #619Claude Fable 5、Codex、GPT-5.5 给出了完整解，并完成了 Lean 形式化（2026 年 6 月 9 日）。完整解
- 2026-06-05数学 · 数论Erdős 问题 #696Jake Mallen、David Turturean 与 Aristotle、Claude Code、Claude Opus 4.7、GPT-5.5 Pro 给出了完整解，并完成了 Lean 形式化（2026 年 6 月 5 日）。完整解
- 2026-05-21数学 · 形式化证明搜索AlphaProof Nexus：用 Lean 证明开放的 Erdős 问题和 OEIS 猜想Google DeepMind 的 AlphaProof Nexus 自主证明了 353 个开放 Erdős 问题中的 9 个（其中几个是变体或部分）以及 492 个 OEIS 猜想中的 44 个，全部经过 Lean 检验；相关论文于 2026 年 10 月发表在 Science 上。完整解
- 2026-05-20数学 · 几何Erdős 问题 #90OpenAI internal model 给出了完整解（2026 年 5 月 20 日）。共记录了 3 项 AI 贡献。完整解
- 2026-05-08数学 · 数论Erdős 问题 #690Davide Crapis、Shouqiao Wang 与 Multiscalar Fields System 给出了完整解（2026 年 5 月 8 日）。完整解
- 2026-05-03数学 · 数论Erdős 问题 #283Kevin Barreto、Liam Price 与 GPT-5.5 Pro 给出了完整解（2026 年 5 月 3 日）。完整解
- 2026-05-03数学 · 数论Erdős 问题 #351Kevin Barreto、Liam Price 与 GPT-5.5 Pro 给出了完整解（2026 年 5 月 3 日）。完整解
- 2026-05-03数学 · 图论Erdős 问题 #750Przemek Chojecki 与 GPT-5.5 Pro 给出了完整解（2026 年 5 月 3 日）。完整解
- 2026-05-01数学 · 数论Erdős 问题 #694GPT-5.5 Pro 给出了完整解（2026 年 5 月 1 日）。完整解
- 2026-04-30数学 · 分析Erdős 问题 #1151Przemek Chojecki 与 GPT-5.5 Pro 给出了完整解（2026 年 4 月 30 日）。完整解
- 2026-04-28数学 · 色数Erdős 问题 #1092Przemek Chojecki 与 GPT-5.5 Pro 给出了完整解（2026 年 4 月 28 日）。完整解
- 2026-04-27数学 · 数论Erdős 问题 #42Harjas Sandhu 与 GPT-5.5 Pro 给出了完整解（2026 年 4 月 27 日）。共记录了 2 项 AI 贡献。完整解
- 2026-04-27数学 · 几何Erdős 问题 #953Przemek Chojecki 与 GPT-5.5 Pro 给出了完整解（2026 年 4 月 27 日）。完整解
- 2026-04-26数学 · 数论Erdős 问题 #896Przemek Chojecki 与 GPT-5.5 Pro 给出了完整解（2026 年 4 月 26 日）。完整解
- 2026-04-25数学 · 数论Erdős 问题 #1138Kireet Cheri、Sourish Kumrawat、Hrishi Sunder 与 GPT-5.5 Pro、GPT-5.5 Thinking 给出了完整解（2026 年 4 月 25 日）。完整解
- 2026-04-25数学 · 数论Erdős 问题 #38GPT-5.5 Pro 给出了完整解（2026 年 4 月 25 日）。完整解
- 2026-04-25数学 · 数论Erdős 问题 #888Przemek Chojecki 与 Aristotle、GPT-5.5 Pro 给出了完整解（2026 年 4 月 25 日）。完整解
- 2026-04-24数学 · 数论Erdős 问题 #330David Turturean 与 GPT-5.5 Pro 给出了完整解（2026 年 4 月 24 日）。完整解
- 2026-04-23数学 · 图论Erdős 问题 #1014OpenAI internal model 给出了完整解（2026 年 4 月 23 日）。完整解
- 2026-04-23数学 · 数论Erdős 问题 #1190Boon Suan Ho 与 GPT-5.4 Pro 给出了完整解（2026 年 4 月 23 日）。共记录了 2 项 AI 贡献。完整解
- 2026-04-23数学 · 覆盖系统Erdős 问题 #202Boon Suan Ho 与 GPT-5.4 Pro 给出了完整解（2026 年 4 月 23 日）。共记录了 2 项 AI 贡献。完整解
- 2026-04-22数学 · 数论Erdős 问题 #863Boon Suan Ho 与 GPT-5.4 Pro 给出了完整解（2026 年 4 月 22 日）。完整解
- 2026-04-21数学 · 组合Erdős 问题 #603Przemek Chojecki 与 GPT-5.4 Pro 给出了完整解（2026 年 4 月 21 日）。完整解
- 2026-04-21数学 · 分析Erdős 问题 #996Boon Suan Ho 与 GPT-5.4 Pro 给出了完整解（2026 年 4 月 21 日）。完整解
- 2026-04-19数学 · 数论Erdős 问题 #1195Boon Suan Ho 与 GPT-5.4 Pro 给出了完整解（2026 年 4 月 19 日）。完整解
- 2026-04-16数学 · 数论Erdős 问题 #1217GPT-5.4 Pro 给出了完整解（2026 年 4 月 16 日）。完整解
- 2026-04-16数学 · 加性组合Erdős 问题 #741DeepMind prover agent 给出了完整解，并完成了 Lean 形式化（2026 年 4 月 16 日）。共记录了 3 项 AI 贡献。完整解
- 2026-04-15数学 · 数论Erdős 问题 #858Przemek Chojecki 与 GPT-5.4 Pro 给出了完整解（2026 年 4 月 15 日）。完整解
- 2026-04-14数学 · 无理性Erdős 问题 #258GPT-5.4 Pro 给出了完整解（2026 年 4 月 14 日）。完整解
- 2026-04-13数学 · 数论Erdős 问题 #1196GPT-5.4 Pro 给出了完整解（2026 年 4 月 13 日）。共记录了 2 项 AI 贡献。完整解
- 2026-04-09数学 · 色数Erdős 问题 #1091OpenAI internal model 给出了完整解（2026 年 4 月 9 日）。完整解
- 2026-04-09数学 · 数论Erdős 问题 #1141OpenAI internal model 给出了完整解（2026 年 4 月 9 日）。共记录了 2 项 AI 贡献。完整解
- 2026-04-09数学 · 几何Erdős 问题 #960OpenAI internal model 给出了完整解（2026 年 4 月 9 日）。完整解