AI × SCIENCE · 开放问题追踪
未知，证毕。
Where AI turns unknowns into Q.E.D.
追踪人工智能解决的每一个科学问题。每一条记录都标明结果等级、验证方式与原始来源，并向所有人开放批注与质询。
分级标准
完整解AI 独立或主导给出完整、新颖的解答。
部分结果改进界、给出新构造或解决特例，原问题仍开放。
已有文献AI 给出的“新解”在既有文献中已经存在。
待核实已有公开声明，尚未经过独立验证。
问题库
- 2026-04-09数学 · 分析Erdős 问题 #987OpenAI internal model 给出了完整解（2026 年 4 月 9 日）。完整解
- 2026-04-09数学 · 分析Erdős 问题 #990OpenAI internal model 给出了完整解（2026 年 4 月 9 日）。完整解
- 2026-04-03数学 · Sidon 集Erdős 问题 #152DeepMind prover agent 给出了完整解，并完成了 Lean 形式化（2026 年 4 月 3 日）。完整解
- 2026-04-01数学 · 数论Erdős 问题 #1202GPT-5.4 Pro 给出了完整解（2026 年 4 月 1 日）。完整解
- 2026-03-31数学 · 数论Erdős 问题 #380Terence Tao 与 GPT-5.4 Pro 给出了完整解（2026 年 3 月 31 日）。完整解
- 2026-03-31数学 · 分析Erdős 问题 #997OpenAI internal model 给出了完整解（2026 年 3 月 31 日）。完整解
- 2026-03-30数学 · 数论Erdős 问题 #125DeepMind prover agent 给出了完整解，并完成了 Lean 形式化（2026 年 3 月 30 日）。共记录了 2 项 AI 贡献。完整解
- 2026-03-26数学 · 数论Erdős 问题 #369Sky Yang 与 GPT 给出了完整解（2026 年 3 月 26 日）。完整解
- 2026-03-24数学 · 分析Erdős 问题 #1153Aron Bhalla、Nat Sothanaphan、Terence Tao 与 AlphaEvolve、Claude、Gemini Pro、GPT-5.2 Thinking、GPT-5.4 Pro 给出了完整解（2026 年 3 月 24 日）。完整解
- 2026-03-16数学 · 数论Erdős 问题 #1148Ingo Althöfer、Przemek Chojecki、Wouter van Doorn 与 Gemini 3 Pro、Gemini 3.1 Pro、GPT-5.2 Pro、GPT-5.2 Thinking、GPT-5.4 Pro 给出了完整解（2026 年 3 月 16 日）。共记录了 2 项 AI 贡献。完整解
- 2026-03-02数学 · 数论Erdős 问题 #457Aristotle、GPT-5.2 Pro 给出了完整解，并完成了 Lean 形式化（2026 年 3 月 2 日）。完整解
- 2026-02-28计算机 · 组合Claude 的圈：将三维环面有向图分解为哈密顿圈Claude Opus 4.6 找到了一个构造，对所有奇数 m，把 Knuth 即将出版的 TAOCP 章节中的一个有向图分解为三个哈密顿圈；Knuth 给出了证明，并已完成 Lean 形式化。偶数情形另有一个尚未核实的 AI 证明。完整解
- 2026-01-29数学 · 无理性Erdős 问题 #1051Aletheia 给出了完整解，并完成了 Lean 形式化（2026 年 1 月 29 日）。完整解
- 2026-01-21数学 · 数论Erdős 问题 #543GPT-5.2 Pro 给出了完整解（2026 年 1 月 21 日）。完整解
- 2026-01-13数学 · 几何Erdős 问题 #659Benjamin Grayzel 与 Gemini 3 给出了完整解（2026 年 1 月 13 日）。共记录了 2 项 AI 贡献。完整解
- 2026-01-10数学 · 数论Erdős 问题 #205Aristotle、GPT-5.2 Thinking 给出了完整解，并完成了 Lean 形式化（2026 年 1 月 10 日）。完整解
- 2026-01-08数学 · 数论Erdős 问题 #729Aristotle、GPT-5.2 Pro 给出了完整解，并完成了 Lean 形式化（2026 年 1 月 8 日）。完整解
- 2026-01-06数学 · 数论Erdős 问题 #728Aristotle、GPT-5.2 Pro 给出了完整解，并完成了 Lean 形式化（2026 年 1 月 6 日）。完整解
- 2025-12-08数学 · 组合Erdős 问题 #1026Boris Alexeev、Stijn Cambie、Terence Tao、Lawrence Wu 与 AlphaEvolve、Aristotle、Gemini、GPT 给出了完整解，并完成了 Lean 形式化（2025 年 12 月 8 日）。共记录了 2 项 AI 贡献。完整解
- 2025-11-20数学 · 数论Erdős 问题 #848Mehtaab Sawhney、Mark Sellke 与 GPT-5 给出了完整解（2025 年 11 月 20 日）。共记录了 2 项 AI 贡献。完整解
- 2025-10-25数学 · 数论Erdős 问题 #347Enrique Barschkis、Wouter van Doorn、jbbaehr22、Bartosz Naskrecki、Terence Tao 与 Aristotle、Claude Opus、Codex、GPT 给出了完整解，并完成了 Lean 形式化（2025 年 10 月 25 日）。完整解