AI × SCIENCE · 开放问题追踪
未知，证毕。
Where AI turns unknowns into Q.E.D.
追踪人工智能解决的每一个科学问题。每一条记录都标明结果等级、验证方式与原始来源，并向所有人开放批注与质询。
分级标准
完整解AI 独立或主导给出完整、新颖的解答。
部分结果改进界、给出新构造或解决特例，原问题仍开放。
已有文献AI 给出的“新解”在既有文献中已经存在。
待核实已有公开声明，尚未经过独立验证。
问题库
- 2026-08-20数学 · 算术几何秩至少为 30 和 31 的 ℚ 上椭圆曲线Claude 与 Levent Alpöge、Ava Howell 合作，先后找到了在 ℚ 上至少有 30 个和 31 个独立有理点的椭圆曲线，打破了 2024 年创下的秩 29 的纪录。部分结果
- 2026-07-26数学 · 组合8、9、10 个符号上更短的超排列有人发布了 8、9、10 个符号上比 Egan 2018 年的构造更短的超排列；其中 9 和 10 的构造是与 GPT-5.6 Sol 交互式完成的，之后该模型检索到这些结果并通过了 Epoch AI 的验证。部分结果
- 2026-06-29数学 · 几何Erdős 问题 #1070Ákos Dúcz、Dániel Varga 与 Codex、GPT-5.5 取得部分进展（2026 年 6 月 29 日）：部分结果。部分结果
- 2026-06-23数学 · 组合Erdős 问题 #21Varun Sivashankar 与 Aristotle、GPT-5.5 Pro 取得部分进展（2026 年 6 月 23 日）：部分结果（Lean 形式化）。部分结果
- 2026-06-22数学 · 数论Erdős 问题 #1054Claude Opus 4.8、GPT-5.5 Pro、Principia Math 取得部分进展（2026 年 6 月 22 日）：部分结果（Lean 形式化）。部分结果
- 2026-06-22数学 · 数论Erdős 问题 #536Codex、GPT-5.5 Pro 取得部分进展（2026 年 6 月 22 日）：部分结果（Lean 形式化）。部分结果
- 2026-06-21数学 · 加性组合Erdős 问题 #176Codex、GPT-5.5 Pro 取得部分进展（2026 年 6 月 21 日）：部分结果（Lean 形式化）。共记录了 2 项 AI 贡献。部分结果
- 2026-06-19数学 · 数论Erdős 问题 #451Wouter van Doorn、Quanyu Tang 与 Aristotle、GPT-5.5 Pro 取得部分进展（2026 年 6 月 19 日）：部分结果（Lean 形式化）。部分结果
- 2026-06-19数学 · 图论Erdős 问题 #81Wouter van Doorn 与 Aristotle、GPT-5.5 Pro 取得部分进展（2026 年 6 月 19 日）：部分结果（Lean 形式化）。部分结果
- 2026-06-17数学 · 数论Erdős 问题 #306Shisheng Li 与 Claude、Claude Code 取得部分进展（2026 年 6 月 17 日）：部分结果（Lean 形式化）。共记录了 2 项 AI 贡献。部分结果
- 2026-06-10数学 · 数论Erdős 问题 #539Codex、GPT-5.5、ProofCouncil 取得部分进展（2026 年 6 月 10 日）：部分结果（Lean 形式化）。部分结果
- 2026-06-08数学 · 数论Erdős 问题 #931Adenwalla、Malek Zribi 与 Claude、GPT-5.4 取得部分进展（2026 年 6 月 8 日）：部分结果。部分结果
- 2026-05-29数学 · 几何Erdős 问题 #352Aleksandar Bulj、Vjekoslav Kovač 与 GPT-5.4 Pro、GPT-5.5 Pro 取得部分进展（2026 年 5 月 29 日）：变体问题的部分结果。部分结果
- 2026-05-28数学 · 数论Erdős 问题 #52Thomas Bloom、Will Sawin、Carl Schildkraut、Dmitrii Zhelezov 与 GPT-5.5 Pro 取得部分进展（2026 年 5 月 28 日）：解决了一个变体问题。共记录了 4 项 AI 贡献。部分结果
- 2026-05-27数学 · 几何Erdős 问题 #503Przemek Chojecki、Junnosuke Koizumi、RealBelgian 与 GPT-5.5 Pro 取得部分进展（2026 年 5 月 27 日）：部分结果。部分结果
- 2026-05-16数学 · 数论Erdős 问题 #345Wouter van Doorn 与 Aristotle、GPT 取得部分进展（2026 年 5 月 16 日）：部分结果（Lean 形式化）。部分结果
- 2026-05-09数学 · 无理性Erdős 问题 #263Aristotle、Claude Opus 4.7、GPT-5.5 Pro 取得部分进展（2026 年 5 月 9 日）：部分结果（Lean 形式化）（solution to second part）。部分结果
- 2026-05-07数学 · 图论Erdős 问题 #1032Codex、GPT-5.5 Pro 取得部分进展（2026 年 5 月 7 日）：Improved partial result（Lean 形式化）。部分结果
- 2026-05-07数学 · 加性组合Erdős 问题 #875Lech Mazur 与 Codex、GPT-5.5 Pro 取得部分进展（2026 年 5 月 7 日）：部分结果（Lean 形式化）。部分结果
- 2026-05-04数学 · 数论Erdős 问题 #866Wouter van Doorn 与 Aristotle、GPT-5.3 Instant 取得部分进展（2026 年 5 月 4 日）：部分结果（Lean 形式化）。部分结果
- 2026-05-03数学 · 数论Erdős 问题 #393David Turturean 与 GPT-5.5 Pro 取得部分进展（2026 年 5 月 3 日）：有条件的部分结果。部分结果
- 2026-04-30数学 · 数论Erdős 问题 #983GPT-5.5 Pro 取得部分进展（2026 年 4 月 30 日）：部分结果（solution to first part）。部分结果
- 2026-04-29数学 · 数论Erdős 问题 #1004GPT-5.5 Pro 取得部分进展（2026 年 4 月 29 日）：部分结果（文献中已隐含）。部分结果
- 2026-04-29数学 · 数论Erdős 问题 #1143Przemek Chojecki 与 GPT-5.5 Pro 取得部分进展（2026 年 4 月 29 日）：部分结果（文献中已隐含）。部分结果
- 2026-04-27数学 · 数论Erdős 问题 #535Kireet Cheri、Sourish Kumrawat、Hrishi Sunder 与 GPT-5.5 Thinking 取得部分进展（2026 年 4 月 27 日）：部分结果（文献中已隐含）。部分结果
- 2026-04-25数学 · 分析Erdős 问题 #521Vjekoslav Kovač 与 GPT-5.5 Pro 取得部分进展（2026 年 4 月 25 日）：解决了一个变体问题。共记录了 2 项 AI 贡献。部分结果
- 2026-04-23数学 · 加性组合Erdős 问题 #1194GPT-5.4 Pro 取得部分进展（2026 年 4 月 23 日）：部分结果。共记录了 2 项 AI 贡献。部分结果
- 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-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 问题 #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 问题 #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-14数学 · 数论Erdős 问题 #366Automated research pipeline 取得部分进展（2026 年 4 月 14 日）：有条件的部分结果。部分结果
- 2026-04-10数学 · 加性组合Erdős 问题 #138DeepMind prover agent 取得部分进展（2026 年 4 月 10 日）：部分结果（Lean 形式化）。共记录了 2 项 AI 贡献。部分结果
- 2026-04-07数学 · 数论Erdős 问题 #12DeepMind prover agent 取得部分进展（2026 年 4 月 7 日）：部分结果（Lean 形式化）（solutions to first part and second part）。共记录了 2 项 AI 贡献。部分结果