AI × SCIENCE · 开放问题追踪
未知，证毕。
Where AI turns unknowns into Q.E.D.
追踪人工智能解决的每一个科学问题。每一条记录都标明结果等级、验证方式与原始来源，并向所有人开放批注与质询。
分级标准
完整解AI 独立或主导给出完整、新颖的解答。
部分结果改进界、给出新构造或解决特例，原问题仍开放。
已有文献AI 给出的“新解”在既有文献中已经存在。
待核实已有公开声明，尚未经过独立验证。
问题库
- 2026-04-27数学 · 几何Erdős 问题 #956Przemek Chojecki 与 Aristotle、GPT-5.5 Pro 提出了尚未核实的结果（2026 年 4 月 27 日）：候选完整解（待核实）。待核实
- 2026-04-26数学 · 分析Erdős 问题 #1131GPT-5.5 Pro 提出了尚未核实的结果（2026 年 4 月 26 日）：候选部分结果（待核实）。待核实
- 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 问题 #521Vjekoslav Kovač 与 GPT-5.5 Pro 取得部分进展（2026 年 4 月 25 日）：解决了一个变体问题。共记录了 2 项 AI 贡献。部分结果
- 2026-04-25数学 · 数论Erdős 问题 #888Przemek Chojecki 与 Aristotle、GPT-5.5 Pro 给出了完整解（2026 年 4 月 25 日）。完整解
- 2026-04-25数学 · 分析Erdős 问题 #906Adriano Almeida 与 Unspecified 提出了尚未核实的结果（2026 年 4 月 25 日）：候选完整解（待核实）。共记录了 2 项 AI 贡献。待核实
- 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 问题 #1194GPT-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 问题 #598Przemek Chojecki 与 Aristotle、GPT-5.4 Pro 提出了尚未核实的结果（2026 年 4 月 22 日）：候选部分结果（待核实）。待核实
- 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 问题 #610Przemek Chojecki 与 Aristotle、GPT-5.4 Pro 取得部分进展（2026 年 4 月 21 日）：完整解（Lean 形式化）（文献中已隐含）。部分结果
- 2026-04-21数学 · 分析Erdős 问题 #995Boon Suan Ho 与 GPT-5.4 Pro 取得部分进展（2026 年 4 月 21 日）：部分结果。部分结果
- 2026-04-21数学 · 分析Erdős 问题 #996Boon Suan Ho 与 GPT-5.4 Pro 给出了完整解（2026 年 4 月 21 日）。完整解
- 2026-04-20数学 · 分析Erdős 问题 #514Przemek Chojecki 与 GPT-5.4 Pro 取得部分进展（2026 年 4 月 20 日）：部分结果（solutions to first part and second part）。共记录了 2 项 AI 贡献。部分结果
- 2026-04-19数学 · 数论Erdős 问题 #1062Damek Davis 与 GPT-5.4 Pro 取得部分进展（2026 年 4 月 19 日）：部分结果。部分结果
- 2026-04-19数学 · 数论Erdős 问题 #1195Boon Suan Ho 与 GPT-5.4 Pro 给出了完整解（2026 年 4 月 19 日）。完整解
- 2026-04-19数学 · 数论Erdős 问题 #415Przemek Chojecki 与 GPT-5.4 Pro 取得部分进展（2026 年 4 月 19 日）：部分结果。部分结果
- 2026-04-18数学 · 数论Erdős 问题 #675Boon Suan Ho 与 GPT-5.4 Pro 取得部分进展（2026 年 4 月 18 日）：部分结果。部分结果
- 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-16数学 · 数论Erdős 问题 #976Aron Bhalla 与 GPT-5.4 取得部分进展（2026 年 4 月 16 日）：有条件的部分结果。部分结果
- 2026-04-15数学 · 数论Erdős 问题 #1209Enrique Barschkis 与 GPT-5.4 Pro 取得部分进展（2026 年 4 月 15 日）：部分结果（Lean 形式化）。部分结果
- 2026-04-15数学 · 数论Erdős 问题 #251GPT-5.4 Pro 取得部分进展（2026 年 4 月 15 日）：解决了一个变体问题。部分结果
- 2026-04-15数学 · 数论Erdős 问题 #852Aron Bhalla 与 GPT-5.4 取得部分进展（2026 年 4 月 15 日）：部分结果。共记录了 2 项 AI 贡献。部分结果
- 2026-04-15数学 · 数论Erdős 问题 #856Przemek Chojecki 与 GPT-5.4 Pro 提出了尚未核实的结果（2026 年 4 月 15 日）：候选完整解（待核实）。待核实
- 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-14数学 · 数论Erdős 问题 #366Automated research pipeline 取得部分进展（2026 年 4 月 14 日）：有条件的部分结果。部分结果
- 2026-04-13数学 · 数论Erdős 问题 #1196GPT-5.4 Pro 给出了完整解（2026 年 4 月 13 日）。共记录了 2 项 AI 贡献。完整解
- 2026-04-10数学 · 加性组合Erdős 问题 #138DeepMind prover agent 取得部分进展（2026 年 4 月 10 日）：部分结果（Lean 形式化）。共记录了 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 日）。完整解
- 2026-04-09数学 · 分析Erdős 问题 #987OpenAI internal model 给出了完整解（2026 年 4 月 9 日）。完整解