AI × SCIENCE · 开放问题追踪
未知，证毕。
Where AI turns unknowns into Q.E.D.
追踪人工智能解决的每一个科学问题。每一条记录都标明结果等级、验证方式与原始来源，并向所有人开放批注与质询。
分级标准
完整解AI 独立或主导给出完整、新颖的解答。
部分结果改进界、给出新构造或解决特例，原问题仍开放。
已有文献AI 给出的“新解”在既有文献中已经存在。
待核实已有公开声明，尚未经过独立验证。
问题库
- 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-02-01数学 · discrepancyErdős 问题 #992Aletheia 发现这个问题在文献中早已被解决（2026 年 2 月 1 日）。已有文献
- 2026-01-31数学 · algebraErdős 问题 #1123Gemini Deep Research 发现这个问题在文献中早已被解决（2026 年 1 月 31 日）。已有文献
- 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-29数学 · 无理性Erdős 问题 #1051Aletheia 给出了完整解，并完成了 Lean 形式化（2026 年 1 月 29 日）。完整解
- 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-26数学 · irrationalErdős 问题 #1147GPT-5.2 Thinking 发现这个问题在文献中早已被解决（2026 年 1 月 26 日）。已有文献
- 2026-01-26数学 · 图论Erdős 问题 #533GPT 发现这个问题在文献中早已被解决（2026 年 1 月 26 日）。已有文献
- 2026-01-26数学 · 图论Erdős 问题 #705GPT 发现这个问题在文献中早已被解决（2026 年 1 月 26 日）。共记录了 2 项 AI 贡献。已有文献
- 2026-01-24数学 · group theoryErdős 问题 #1161GPT-5.2 Thinking 发现这个问题在文献中早已被解决（2026 年 1 月 24 日）。已有文献
- 2026-01-23数学 · 数论Erdős 问题 #783GPT-5.2 取得部分进展（2026 年 1 月 23 日）：部分结果。部分结果
- 2026-01-21数学 · 分析Erdős 问题 #1047Aristotle 为一个早已解决的问题给出了新证明（2026 年 1 月 21 日）。已有文献
- 2026-01-21数学 · 数论Erdős 问题 #543GPT-5.2 Pro 给出了完整解（2026 年 1 月 21 日）。完整解
- 2026-01-20数学 · 加性组合Erdős 问题 #788GPT-5.2 Pro 取得部分进展（2026 年 1 月 20 日）：新的部分结果。部分结果
- 2026-01-19数学 · 图论Erdős 问题 #1007Aristotle 为一个早已解决的问题给出了新证明（2026 年 1 月 19 日）。已有文献
- 2026-01-19数学 · 数论Erdős 问题 #684Quanyu Tang 与 GPT-5.2 Thinking 取得部分进展（2026 年 1 月 19 日）：部分结果。共记录了 3 项 AI 贡献。部分结果
- 2026-01-19数学 · 加性组合Erdős 问题 #847GPT-5.2 Pro 发现这个问题在文献中早已被解决（2026 年 1 月 19 日）。已有文献
- 2026-01-17数学 · 分析Erdős 问题 #1129GPT-5.2 Pro 发现这个问题在文献中早已被解决（2026 年 1 月 17 日）。已有文献
- 2026-01-17数学 · 分析Erdős 问题 #1130GPT-5.2 Pro 发现这个问题在文献中早已被解决（2026 年 1 月 17 日）。已有文献
- 2026-01-17数学 · 数论Erdős 问题 #281GPT-5.2 Pro 给出了解答（2026 年 1 月 17 日）；后来发现这个问题早已被解决，只是论证方式不同：Davenport and Erdős (1936) + Rogers (in Halberstam-Roth (1966))。已有文献
- 2026-01-17数学 · 集合论Erdős 问题 #591ChatGPT Deep research 发现这个问题在文献中早已被解决（2026 年 1 月 17 日）。共记录了 2 项 AI 贡献。已有文献
- 2026-01-14数学 · 几何Erdős 问题 #224Codex、GPT-5.2 Thinking 为一个早已解决的问题给出了新证明（2026 年 1 月 14 日）。已有文献
- 2026-01-13数学 · 数论Erdős 问题 #460Przemek Chojecki 与 GPT-5.2 取得部分进展（2026 年 1 月 13 日）：Reduction to a simpler problem。部分结果
- 2026-01-13数学 · 几何Erdős 问题 #659Benjamin Grayzel 与 Gemini 3 给出了完整解（2026 年 1 月 13 日）。共记录了 2 项 AI 贡献。完整解
- 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 问题 #205Aristotle、GPT-5.2 Thinking 给出了完整解，并完成了 Lean 形式化（2026 年 1 月 10 日）。完整解
- 2026-01-10数学 · 数论Erdős 问题 #397Aristotle、GPT-5.2 Pro 给出了解答（2026 年 1 月 10 日），但文献中早已有相当的结果：China TST competition (2012)。共记录了 3 项 AI 贡献。已有文献
- 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-08数学 · 数论Erdős 问题 #729Aristotle、GPT-5.2 Pro 给出了完整解，并完成了 Lean 形式化（2026 年 1 月 8 日）。完整解
- 2026-01-07数学 · 数论Erdős 问题 #477AlphaProof 取得部分进展（2026 年 1 月 7 日）：解决了一个变体问题（Lean 形式化）。部分结果
- 2026-01-07数学 · 拉姆齐理论Erdős 问题 #949AlphaProof 取得部分进展（2026 年 1 月 7 日）：解决了一个变体问题（Lean 形式化）。部分结果
- 2026-01-06数学 · 数论Erdős 问题 #728Aristotle、GPT-5.2 Pro 给出了完整解，并完成了 Lean 形式化（2026 年 1 月 6 日）。完整解
- 2026-01-05数学 · 数论Erdős 问题 #871Claude Opus 4.5、Gemini 3 Pro 取得部分进展（2026 年 1 月 5 日）：Existing partial result upgraded to full solution（Lean 形式化）。部分结果
- 2026-01-02数学 · 拉姆齐理论Erdős 问题 #965GPT 发现这个问题在文献中早已被解决（2026 年 1 月 2 日）。已有文献
- 2026数学 · 丢番图几何有 648 个有理点的亏格 2 曲线GPT-6 Astra 找到了一条有 648 个有理点的亏格 2 曲线，打破了 Elkies 和 Stoll 在 2008 年创下的 642 个的纪录；更深层的一致性问题仍未解决。部分结果