AI × SCIENCE · 开放问题追踪
未知，证毕。
Where AI turns unknowns into Q.E.D.
追踪人工智能解决的每一个科学问题。每一条记录都标明结果等级、验证方式与原始来源，并向所有人开放批注与质询。
分级标准
完整解AI 独立或主导给出完整、新颖的解答。
部分结果改进界、给出新构造或解决特例，原问题仍开放。
已有文献AI 给出的“新解”在既有文献中已经存在。
待核实已有公开声明，尚未经过独立验证。
问题库
- 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-03-31数学 · 数论Erdős 问题 #374Terence Tao 与 GPT-5.4 Pro 取得部分进展（2026 年 3 月 31 日）：部分结果。部分结果
- 2026-03-24数学 · 分析Erdős 问题 #1132Terence Tao 与 AlphaEvolve、Claude、Gemini Pro、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-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-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-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 问题 #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。部分结果
- 2026-01-30数学 · 分析Erdős 问题 #524Gemini、GPT-5.2、Grok 取得部分进展（2026 年 1 月 30 日）：Improved partial result。共记录了 2 项 AI 贡献。部分结果
- 2026-01-30数学 · 数论Erdős 问题 #635Aristotle、GPT-5.2 Pro 取得部分进展（2026 年 1 月 30 日）：Solution to one part of problem（Lean 形式化）。部分结果
- 2026-01-28数学 · 分析Erdős 问题 #1048Aristotle 取得部分进展（2026 年 1 月 28 日）：Proof found (Lean), which is a specific case of Pommerenke。部分结果
- 2026-01-28数学 · 数论Erdős 问题 #218GPT 取得部分进展（2026 年 1 月 28 日）：有条件的解。部分结果
- 2026-01-27数学 · 数论Erdős 问题 #951GPT-5.2 Pro 取得部分进展（2026 年 1 月 27 日）：解决了一个变体问题。共记录了 3 项 AI 贡献。部分结果
- 2026-01-23数学 · 数论Erdős 问题 #783GPT-5.2 取得部分进展（2026 年 1 月 23 日）：部分结果。部分结果
- 2026-01-20数学 · 加性组合Erdős 问题 #788GPT-5.2 Pro 取得部分进展（2026 年 1 月 20 日）：新的部分结果。部分结果
- 2026-01-19数学 · 数论Erdős 问题 #684Quanyu Tang 与 GPT-5.2 Thinking 取得部分进展（2026 年 1 月 19 日）：部分结果。共记录了 3 项 AI 贡献。部分结果
- 2026-01-13数学 · 数论Erdős 问题 #460Przemek Chojecki 与 GPT-5.2 取得部分进展（2026 年 1 月 13 日）：Reduction to a simpler problem。部分结果
- 2026-01-13数学 · 数论Erdős 问题 #868GPT-5.2 multi-agent system 取得部分进展（2026 年 1 月 13 日）：新的部分结果。部分结果
- 2026-01-12数学 · 数论Erdős 问题 #679Aristotle 取得部分进展（2026 年 1 月 12 日）：Improved proof by reducing dependence on prime number theorem。部分结果
- 2026-01-10数学 · 数论Erdős 问题 #401Boris Alexeev、Kevin Barreto、Liam Price、Nat Sothanaphan 与 Aristotle、GPT-5.2 Pro 取得部分进展（2026 年 1 月 10 日）：Full solution (Lean); solution to variant problem。部分结果
- 2026-01-07数学 · 数论Erdős 问题 #477AlphaProof 取得部分进展（2026 年 1 月 7 日）：解决了一个变体问题（Lean 形式化）。部分结果
- 2026-01-07数学 · 拉姆齐理论Erdős 问题 #949AlphaProof 取得部分进展（2026 年 1 月 7 日）：解决了一个变体问题（Lean 形式化）。部分结果
- 2026-01-05数学 · 数论Erdős 问题 #871Claude Opus 4.5、Gemini 3 Pro 取得部分进展（2026 年 1 月 5 日）：Existing partial result upgraded to full solution（Lean 形式化）。部分结果