AI × SCIENCE · 开放问题追踪

未知，证毕。

Where AI turns unknowns into Q.E.D.

追踪人工智能解决的每一个科学问题。每一条记录都标明结果等级、验证方式与原始来源，并向所有人开放批注与质询。

分级标准

完整解AI 独立或主导给出完整、新颖的解答。
部分结果改进界、给出新构造或解决特例，原问题仍开放。
已有文献AI 给出的“新解”在既有文献中已经存在。
待核实已有公开声明，尚未经过独立验证。

问题库

按时间倒序 · 筛选出 259 / 262 条
学科全部数学计算机生物物理化学
状态全部完整解部分结果已有文献待核实
  1. 2026-06-08数学 · 数论
    Erdős 问题 #931Adenwalla、Malek Zribi 与 Claude、GPT-5.4 取得部分进展（2026 年 6 月 8 日）：部分结果。Adenwalla、Malek Zribi 与 Claude、GPT-5.4✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  2. 2026-06-05数学 · 数论
    Erdős 问题 #696Jake Mallen、David Turturean 与 Aristotle、Claude Code、Claude Opus 4.7、GPT-5.5 Pro 给出了完整解，并完成了 Lean 形式化（2026 年 6 月 5 日）。Jake Mallen、David Turturean 与 Aristotle、Claude Code、Claude Opus 4.7、GPT-5.5 Pro✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    完整解
  3. 2026-06-04数学 · 集合论
    Erdős 问题 #623Sungchul Lee 与 GPT-5.5 Pro 提出了尚未核实的结果（2026 年 6 月 4 日）：候选完整解（待核实）。Sungchul Lee 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    待核实
  4. 2026-06-01数学 · 组合
    Erdős 问题 #501Sungchul Lee 与 GPT-5.5 Pro 提出了尚未核实的结果（2026 年 6 月 1 日）：Candidate conditional partial result（conditional solution to first part）。Sungchul Lee 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    待核实
  5. 2026-05-29数学 · 几何
    Erdős 问题 #352Aleksandar Bulj、Vjekoslav Kovač 与 GPT-5.4 Pro、GPT-5.5 Pro 取得部分进展（2026 年 5 月 29 日）：变体问题的部分结果。Aleksandar Bulj、Vjekoslav Kovač 与 GPT-5.4 Pro、GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  6. 2026-05-28数学 · 数论
    Erdős 问题 #52Thomas Bloom、Will Sawin、Carl Schildkraut、Dmitrii Zhelezov 与 GPT-5.5 Pro 取得部分进展（2026 年 5 月 28 日）：解决了一个变体问题。共记录了 4 项 AI 贡献。Thomas Bloom、Will Sawin、Carl Schildkraut、Dmitrii Zhelezov 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  7. 2026-05-27数学 · 几何
    Erdős 问题 #503Przemek Chojecki、Junnosuke Koizumi、RealBelgian 与 GPT-5.5 Pro 取得部分进展（2026 年 5 月 27 日）：部分结果。Przemek Chojecki、Junnosuke Koizumi、RealBelgian 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  8. 2026-05-21数学 · 形式化证明搜索
    AlphaProof Nexus：用 Lean 证明开放的 Erdős 问题和 OEIS 猜想Google DeepMind 的 AlphaProof Nexus 自主证明了 353 个开放 Erdős 问题中的 9 个（其中几个是变体或部分）以及 492 个 OEIS 猜想中的 44 个，全部经过 Lean 检验；相关论文于 2026 年 10 月发表在 Science 上。AlphaProof Nexus（Google DeepMind）✓ Lean 4 证明，构建方法公开 · 发表于 Science（2026-10-08）0 条批注
    完整解
  9. 2026-05-20数学 · 几何
    Erdős 问题 #90OpenAI internal model 给出了完整解（2026 年 5 月 20 日）。共记录了 3 项 AI 贡献。OpenAI internal model✓ 收录于 Tao 的 Wiki0 条批注
    完整解
  10. 2026-05-16数学 · 数论
    Erdős 问题 #345Wouter van Doorn 与 Aristotle、GPT 取得部分进展（2026 年 5 月 16 日）：部分结果（Lean 形式化）。Wouter van Doorn 与 Aristotle、GPT✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    部分结果
  11. 2026-05-15数学 · 加性组合
    Erdős 问题 #819Yu Leon Liu 与 GPT-5.5、Rethlas 提出了尚未核实的结果（2026 年 5 月 15 日）：候选部分结果（待核实）。Yu Leon Liu 与 GPT-5.5、Rethlas✓ 收录于 Tao 的 Wiki0 条批注
    待核实
  12. 2026-05-13数学 · 数论
    Erdős 问题 #327Yu Leon Liu 与 GPT-5.5、Rethlas 提出了尚未核实的结果（2026 年 5 月 13 日）：候选部分结果（待核实）。Yu Leon Liu 与 GPT-5.5、Rethlas✓ 收录于 Tao 的 Wiki0 条批注
    待核实
  13. 2026-05-09数学 · 无理性
    Erdős 问题 #263Aristotle、Claude Opus 4.7、GPT-5.5 Pro 取得部分进展（2026 年 5 月 9 日）：部分结果（Lean 形式化）（solution to second part）。Aristotle、Claude Opus 4.7、GPT-5.5 Pro✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    部分结果
  14. 2026-05-08数学 · 数论
    Erdős 问题 #690Davide Crapis、Shouqiao Wang 与 Multiscalar Fields System 给出了完整解（2026 年 5 月 8 日）。Davide Crapis、Shouqiao Wang 与 Multiscalar Fields System✓ 收录于 Tao 的 Wiki0 条批注
    完整解
  15. 2026-05-07数学 · 图论
    Erdős 问题 #1032Codex、GPT-5.5 Pro 取得部分进展（2026 年 5 月 7 日）：Improved partial result（Lean 形式化）。Codex、GPT-5.5 Pro✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    部分结果
  16. 2026-05-07数学 · 加性组合
    Erdős 问题 #875Lech Mazur 与 Codex、GPT-5.5 Pro 取得部分进展（2026 年 5 月 7 日）：部分结果（Lean 形式化）。Lech Mazur 与 Codex、GPT-5.5 Pro✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    部分结果
  17. 2026-05-04数学 · 数论
    Erdős 问题 #456David Turturean 与 GPT-5.5 Pro 提出了尚未核实的结果（2026 年 5 月 4 日）：候选部分结果（待核实）（solutions to first part and second part; conditional solution to third part）。David Turturean 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    待核实
  18. 2026-05-04数学 · 数论
    Erdős 问题 #866Wouter van Doorn 与 Aristotle、GPT-5.3 Instant 取得部分进展（2026 年 5 月 4 日）：部分结果（Lean 形式化）。Wouter van Doorn 与 Aristotle、GPT-5.3 Instant✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    部分结果
  19. 2026-05-03数学 · 数论
    Erdős 问题 #283Kevin Barreto、Liam Price 与 GPT-5.5 Pro 给出了完整解（2026 年 5 月 3 日）。Kevin Barreto、Liam Price 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    完整解
  20. 2026-05-03数学 · 数论
    Erdős 问题 #288Ritvik Nayak 与 GPT-5.5 Thinking 提出了尚未核实的结果（2026 年 5 月 3 日）：候选部分结果（待核实）。Ritvik Nayak 与 GPT-5.5 Thinking✓ 收录于 Tao 的 Wiki0 条批注
    待核实
  21. 2026-05-03数学 · 数论
    Erdős 问题 #351Kevin Barreto、Liam Price 与 GPT-5.5 Pro 给出了完整解（2026 年 5 月 3 日）。Kevin Barreto、Liam Price 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    完整解
  22. 2026-05-03数学 · 数论
    Erdős 问题 #393David Turturean 与 GPT-5.5 Pro 取得部分进展（2026 年 5 月 3 日）：有条件的部分结果。David Turturean 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  23. 2026-05-03数学 · 图论
    Erdős 问题 #750Przemek Chojecki 与 GPT-5.5 Pro 给出了完整解（2026 年 5 月 3 日）。Przemek Chojecki 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    完整解
  24. 2026-05-02数学 · 数论
    Erdős 问题 #390Samuel Mausberg 与 GPT-5.5 Pro 提出了尚未核实的结果（2026 年 5 月 2 日）：候选部分结果（待核实）。Samuel Mausberg 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    待核实
  25. 2026-05-02数学 · 数论
    Erdős 问题 #870David Turturean 与 GPT-5.4 Pro、GPT-5.5 Pro 提出了尚未核实的结果（2026 年 5 月 2 日）：候选完整解（待核实）。David Turturean 与 GPT-5.4 Pro、GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    待核实
  26. 2026-05-01数学 · 数论
    Erdős 问题 #694GPT-5.5 Pro 给出了完整解（2026 年 5 月 1 日）。GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    完整解
  27. 2026-04-30数学 · 分析
    Erdős 问题 #1151Przemek Chojecki 与 GPT-5.5 Pro 给出了完整解（2026 年 4 月 30 日）。Przemek Chojecki 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    完整解
  28. 2026-04-30数学 · 数论
    Erdős 问题 #1201Przemek Chojecki 与 GPT-5.5 Pro 提出了尚未核实的结果（2026 年 4 月 30 日）：候选完整解（待核实）。Przemek Chojecki 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    待核实
  29. 2026-04-30数学 · 数论
    Erdős 问题 #983GPT-5.5 Pro 取得部分进展（2026 年 4 月 30 日）：部分结果（solution to first part）。GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  30. 2026-04-29数学 · 数论
    Erdős 问题 #1004GPT-5.5 Pro 取得部分进展（2026 年 4 月 29 日）：部分结果（文献中已隐含）。GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  31. 2026-04-29数学 · 分析
    Erdős 问题 #1133Przemek Chojecki 与 GPT-5.5 Pro 提出了尚未核实的结果（2026 年 4 月 29 日）：候选完整解（待核实）。Przemek Chojecki 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    待核实
  32. 2026-04-29数学 · 数论
    Erdős 问题 #1143Przemek Chojecki 与 GPT-5.5 Pro 取得部分进展（2026 年 4 月 29 日）：部分结果（文献中已隐含）。Przemek Chojecki 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  33. 2026-04-29数学 · 数论
    Erdős 问题 #873Ritvik Nayak 与 GPT-5.4 Thinking 提出了尚未核实的结果（2026 年 4 月 29 日）：候选部分结果（待核实）。共记录了 2 项 AI 贡献。Ritvik Nayak 与 GPT-5.4 Thinking✓ 收录于 Tao 的 Wiki0 条批注
    待核实
  34. 2026-04-28数学 · 色数
    Erdős 问题 #1092Przemek Chojecki 与 GPT-5.5 Pro 给出了完整解（2026 年 4 月 28 日）。Przemek Chojecki 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    完整解
  35. 2026-04-27数学 · 数论
    Erdős 问题 #1101GPT-5.5 Pro 提出了尚未核实的结果（2026 年 4 月 27 日）：候选部分结果（待核实）（solution to second part）。GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    待核实
  36. 2026-04-27数学 · 数论
    Erdős 问题 #42Harjas Sandhu 与 GPT-5.5 Pro 给出了完整解（2026 年 4 月 27 日）。共记录了 2 项 AI 贡献。Harjas Sandhu 与 GPT-5.5 Pro✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    完整解
  37. 2026-04-27数学 · 数论
    Erdős 问题 #535Kireet Cheri、Sourish Kumrawat、Hrishi Sunder 与 GPT-5.5 Thinking 取得部分进展（2026 年 4 月 27 日）：部分结果（文献中已隐含）。Kireet Cheri、Sourish Kumrawat、Hrishi Sunder 与 GPT-5.5 Thinking✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  38. 2026-04-27数学 · 图论
    Erdős 问题 #836GPT-5.5 Pro 提出了尚未核实的结果（2026 年 4 月 27 日）：候选部分结果（待核实）（solution to second part）。GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    待核实
  39. 2026-04-27数学 · 几何
    Erdős 问题 #953Przemek Chojecki 与 GPT-5.5 Pro 给出了完整解（2026 年 4 月 27 日）。Przemek Chojecki 与 GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    完整解
  40. 2026-04-27数学 · 几何
    Erdős 问题 #956Przemek Chojecki 与 Aristotle、GPT-5.5 Pro 提出了尚未核实的结果（2026 年 4 月 27 日）：候选完整解（待核实）。Przemek Chojecki 与 Aristotle、GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    待核实