AI × SCIENCE · 开放问题追踪
未知，证毕。
Where AI turns unknowns into Q.E.D.
追踪人工智能解决的每一个科学问题。每一条记录都标明结果等级、验证方式与原始来源，并向所有人开放批注与质询。
分级标准
完整解AI 独立或主导给出完整、新颖的解答。
部分结果改进界、给出新构造或解决特例，原问题仍开放。
已有文献AI 给出的“新解”在既有文献中已经存在。
待核实已有公开声明，尚未经过独立验证。
问题库
- 2026-04-07数学 · 数论Erdős 问题 #12DeepMind prover agent 取得部分进展（2026 年 4 月 7 日）：部分结果（Lean 形式化）（solutions to first part and second part）。共记录了 2 项 AI 贡献。部分结果
- 2026-04-06数学 · 数论Erdős 问题 #26DeepMind prover agent 给出了解答（2026 年 4 月 6 日），但文献中早已有相当的结果：Ruzsa。已有文献
- 2026-04-04数学 · 图论Erdős 问题 #629Gemini 3.1 Pro、GPT-5.4 Thinking 取得部分进展（2026 年 4 月 4 日）：部分结果。部分结果
- 2026-04-04数学 · 加性组合Erdős 问题 #749Aron Bhalla 与 GPT-5.4 Thinking 取得部分进展（2026 年 4 月 4 日）：Partial result; 🟡 Solution to variant problem。部分结果
- 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 问题 #374Terence Tao 与 GPT-5.4 Pro 取得部分进展（2026 年 3 月 31 日）：部分结果。部分结果
- 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-28数学 · 图论Erdős 问题 #574GPT-5.4 Pro 发现这个问题在文献中早已被解决（2026 年 3 月 28 日）。已有文献
- 2026-03-26数学 · 数论Erdős 问题 #369Sky Yang 与 GPT 给出了完整解（2026 年 3 月 26 日）。完整解
- 2026-03-24数学 · 分析Erdős 问题 #1132Terence Tao 与 AlphaEvolve、Claude、Gemini Pro、GPT-5.4 Pro 取得部分进展（2026 年 3 月 24 日）：部分结果。部分结果
- 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-23数学 · 数论Erdős 问题 #342Przemek Chojecki 与 GPT-5.2 Pro、GPT-5.4 Pro 取得部分进展（2026 年 3 月 23 日）：部分结果。部分结果
- 2026-03-19数学 · 数论Erdős 问题 #25Przemek Chojecki 与 GPT-5.4 Pro 取得部分进展（2026 年 3 月 19 日）：部分结果。部分结果
- 2026-03-18数学 · 组合Erdős 问题 #1183Przemek Chojecki、Quanyu Tang 与 GPT-5.4 Pro 取得部分进展（2026 年 3 月 18 日）：部分结果。部分结果
- 2026-03-18数学 · 数论Erdős 问题 #943Przemek Chojecki 与 GPT-5.4 Pro 取得部分进展（2026 年 3 月 18 日）：部分结果。部分结果
- 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-15数学 · 数论Erdős 问题 #396Malek Zribi 与 Claude、Codex、GPT 取得部分进展（2026 年 3 月 15 日）：部分结果。共记录了 2 项 AI 贡献。部分结果
- 2026-03-14数学 · 组合Erdős 问题 #120DeepMind prover agent 取得部分进展（2026 年 3 月 14 日）：解决了一个变体问题（Lean 形式化）。部分结果
- 2026-03-11数学 · 数论Erdős 问题 #423Quanyu Tang、Nat Sothanaphan 与 GPT-5.2 Thinking、GPT-5.4 Thinking 取得部分进展（2026 年 3 月 11 日）：部分结果。部分结果
- 2026-03-09数学 · 数论Erdős 问题 #349GPT-5.2 Thinking 取得部分进展（2026 年 3 月 9 日）：Improved partial result。部分结果
- 2026-03-06数学 · 分析Erdős 问题 #1039Houi 与 Aristotle、Claude Opus 4.6 取得部分进展（2026 年 3 月 6 日）：部分结果（Lean 形式化）。共记录了 2 项 AI 贡献。部分结果
- 2026-03-06数学 · 数论Erdős 问题 #650ChatGPT Deep research 发现这个问题在文献中早已被解决（2026 年 3 月 6 日）。共记录了 2 项 AI 贡献。已有文献
- 2026-03-02数学 · 数论Erdős 问题 #457Aristotle、GPT-5.2 Pro 给出了完整解，并完成了 Lean 形式化（2026 年 3 月 2 日）。完整解
- 2026-03-01数学 · 分析Erdős 问题 #513GPT-5.2 Thinking 取得部分进展（2026 年 3 月 1 日）：略微改进了已有构造。部分结果
- 2026-02-27数学 · 几何Erdős 问题 #1090Aristotle、Gemini 3 Flash 取得部分进展（2026 年 2 月 27 日）：Proof found（Lean 形式化）。部分结果
- 2026-02-25数学 · 数论Erdős 问题 #966Aristotle 给出了解答（2026 年 2 月 25 日），但文献中早已有相当的结果：Spencer (unpublished)。已有文献
- 2026-02-21数学 · 几何Erdős 问题 #846DeepMind prover agent; OpenAI internal model (independently) 取得部分进展（2026 年 2 月 21 日）：Full solution (Lean); 🟢 Full solution。部分结果
- 2026-02-16数学 · 数论Erdős 问题 #872GPT-5.2 Pro 取得部分进展（2026 年 2 月 16 日）：部分结果。共记录了 3 项 AI 贡献。部分结果
- 2026-02-14数学 · 几何Erdős 问题 #1082DeepMind prover agent 取得部分进展（2026 年 2 月 14 日）：Counterexample to one part（Lean 形式化）。部分结果
- 2026-02-11数学 · 组合Erdős 问题 #776Yixin He、Quanyu Tang 与 GPT-5.2 Thinking 取得部分进展（2026 年 2 月 11 日）：部分结果。部分结果
- 2026-02-05数学 · 数论Erdős 问题 #851GPT-5.2 Pro 取得部分进展（2026 年 2 月 5 日）：Full solution (building upon 🟡 Romanoff (1934))。部分结果
- 2026-02-01数学 · 分析Erdős 问题 #1040Aletheia 取得部分进展（2026 年 2 月 1 日）：Solution to one part of problem; 🔴 incorrect solution to other part。部分结果
- 2026-02-01数学 · 几何Erdős 问题 #1089Aletheia 取得部分进展（2026 年 2 月 1 日）：找到已有的完整解。部分结果
- 2026-02-01数学 · 图论Erdős 问题 #1105Aletheia 发现这个问题在文献中早已被解决（2026 年 2 月 1 日）。已有文献
- 2026-02-01数学 · 几何Erdős 问题 #654Aletheia 取得部分进展（2026 年 2 月 1 日）：部分结果。部分结果
- 2026-02-01数学 · 图论Erdős 问题 #75Aletheia 取得部分进展（2026 年 2 月 1 日）：解决了一个变体问题（文献中已隐含）。共记录了 2 项 AI 贡献。部分结果
- 2026-02-01数学 · 数论Erdős 问题 #935Aletheia 取得部分进展（2026 年 2 月 1 日）：Solution to one part of problem。部分结果