AI × SCIENCE · 开放问题追踪

未知，证毕。

Where AI turns unknowns into Q.E.D.

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

分级标准

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

问题库

按时间倒序 · 共 262 条
学科全部数学计算机生物物理化学
状态全部完整解部分结果已有文献待核实
  1. 2025-11-03数学 · 几何
    Erdős 问题 #507AlphaEvolve 取得部分进展（2025 年 11 月 3 日）：Surpassed some past constructions。AlphaEvolve✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  2. 2025-11-02数学 · 几何
    Erdős 问题 #94GPT-5 发现这个问题在文献中早已被解决（2025 年 11 月 2 日）。GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  3. 2025-10-29数学 · 数论
    Erdős 问题 #689Boris Alexeev、Przemek Chojecki、Dogmachine、jleng01、Mehtaab Sawhney、Terence Tao、Malek Zribi 与 Codex、GPT-5.2、GPT-5.5 Pro 提出了尚未核实的结果（2025 年 10 月 29 日）：候选完整解（待核实）。Boris Alexeev、Przemek Chojecki、Dogmachine、jleng01、Mehtaab Sawhney、Terence Tao、Malek Zribi 与 Codex、GPT-5.2、GPT-5.5 Pro✓ 收录于 Tao 的 Wiki0 条批注
    待核实
  4. 2025-10-25数学 · 数论
    Erdős 问题 #347Enrique Barschkis、Wouter van Doorn、jbbaehr22、Bartosz Naskrecki、Terence Tao 与 Aristotle、Claude Opus、Codex、GPT 给出了完整解，并完成了 Lean 形式化（2025 年 10 月 25 日）。Enrique Barschkis、Wouter van Doorn、jbbaehr22、Bartosz Naskrecki、Terence Tao 与 Aristotle、Claude Opus、Codex、GPT✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    完整解
  5. 2025-10-20数学 · 数论
    Erdős 问题 #645GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 20 日）。GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  6. 2025-10-19数学 · 数论
    Erdős 问题 #1099ChatGPT Deep research、Gemini、Gemini Deep Research 发现这个问题在文献中早已被解决（2025 年 10 月 19 日）。ChatGPT Deep research、Gemini、Gemini Deep Research✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  7. 2025-10-15数学 · 分析
    Erdős 问题 #515GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 15 日）。GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  8. 2025-10-14数学 · 组合
    Erdős 问题 #903GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 14 日）。GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  9. 2025-10-13数学 · 图论
    Erdős 问题 #1079GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 13 日）。GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  10. 2025-10-13数学 · 几何
    Erdős 问题 #223GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 13 日）。GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  11. 2025-10-13数学 · 分析
    Erdős 问题 #494GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 13 日）。GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  12. 2025-10-13数学 · 图论
    Erdős 问题 #621GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 13 日）。GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  13. 2025-10-13数学 · 数论
    Erdős 问题 #822GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 13 日）。GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  14. 2025-10-12数学 · 分析
    Erdős 问题 #1043GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 12 日）。共记录了 3 项 AI 贡献。GPT-5✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    已有文献
  15. 2025-10-11数学 · 数论
    Erdős 问题 #339GPT-5 发现这个问题在文献中早已被解决（2025 年 10 月 11 日）。GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  16. 2025-09-30数学 · 图论
    Erdős 问题 #737GPT-5 发现这个问题在文献中早已被解决（2025 年 9 月 30 日）。GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  17. 2025-09-29数学 · 图论
    Erdős 问题 #1008GPT-5 发现这个问题在文献中早已被解决（2025 年 9 月 29 日）。GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  18. 2025-08-09数学 · 数论
    Erdős 问题 #686Adenwalla、Stijn Cambie、Wouter van Doorn、Vjekoslav Kovač、Miklos、Nat Sothanaphan、Quanyu Tang、Terence Tao、vilc、Malek Zribi 与 AlphaProof、Claude、Gemini Deep Think、GPT-5.2 Thinking、GPT-5.4 Thinking、Seed 2.0 Pro 取得部分进展（2025 年 8 月 9 日）：Various partial results。Adenwalla、Stijn Cambie、Wouter van Doorn、Vjekoslav Kovač、Miklos、Nat Sothanaphan、Quanyu Tang、Terence Tao、vilc、Malek Zribi 与 AlphaProof、Claude、Gemini Deep Think、GPT-5.2 Thinking、GPT-5.4 Thinking、Seed 2.0 Pro✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  19. 2025-05计算机 · 算法
    4×4 复矩阵乘法：AlphaEvolve 找到 48 次乘法的算法AlphaEvolve 找到只需 48 次标量乘法的 4×4 复矩阵乘法算法，改进了递归使用 Strassen 方法所需的 49 次。AlphaEvolve（Google DeepMind）✓ 可直接验算0 条批注
    部分结果
  20. 2025数学 · 加性组合
    Erdős 问题 #198AlphaProof 为一个早已解决的问题给出了新证明（2025 年）。AlphaProof✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  21. 2025数学 · 数论
    Erdős 问题 #493Aristotle、GPT、Seed Prover 取得部分进展（2025 年）：New or existing proof found（Lean 形式化）。Aristotle、GPT、Seed Prover✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    部分结果
  22. 2023-12数学 · 组合
    Cap set 问题：FunSearch 在 8 维找到更大的 cap set一个大语言模型驱动的程序搜索系统，给出了 8 维中目前已知最大的 cap set，并改进了渐近下界。原问题仍然开放。FunSearch（Google DeepMind）✓ 同行评审（Nature，2023） · 构造可直接验算0 条批注
    部分结果