AI × SCIENCE · 开放问题追踪

未知，证毕。

Where AI turns unknowns into Q.E.D.

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

分级标准

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

问题库

按时间倒序 · 筛选出 259 / 262 条
学科全部数学计算机生物物理化学
状态全部完整解部分结果已有文献待核实
  1. 2025-12-26数学 · 数论
    Erdős 问题 #897Archivara、Aristotle 给出了解答（2025 年 12 月 26 日），但文献中早已有相当的结果：Wirsing (1981)。Archivara、Aristotle✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    已有文献
  2. 2025-12-25数学 · 数论
    Erdős 问题 #333Claude Opus 4.5、GPT-5.2 Pro 给出了解答（2025 年 12 月 25 日），但文献中早已有相当的结果：Erdős and Newman (1977)。共记录了 2 项 AI 贡献。Claude Opus 4.5、GPT-5.2 Pro✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    已有文献
  3. 2025-12-21数学 · 数论
    Erdős 问题 #379Seed Prover 1.5 为一个早已解决的问题给出了新证明（2025 年 12 月 21 日）。Seed Prover 1.5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  4. 2025-12-18数学 · 无理性
    Erdős 问题 #264Aristotle 取得部分进展（2025 年 12 月 18 日）：部分结果的新证明（Lean 形式化）。Aristotle✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    部分结果
  5. 2025-12-16数学 · 分析
    Erdős 问题 #1038catsflowers5544、jspier、Junnosuke Koizumi、Kenneth Mendoza、Nat Sothanaphan、Terence Tao、Hua Xu 与 AlphaEvolve、Claude Fable 5、Codex、GPT-5.2 Thinking、GPT-5.4 Thinking、GPT-5.5 取得部分进展（2025 年 12 月 16 日）：部分结果。catsflowers5544、jspier、Junnosuke Koizumi、Kenneth Mendoza、Nat Sothanaphan、Terence Tao、Hua Xu 与 AlphaEvolve、Claude Fable 5、Codex、GPT-5.2 Thinking、GPT-5.4 Thinking、GPT-5.5✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  6. 2025-12-08数学 · 组合
    Erdős 问题 #1026Boris Alexeev、Stijn Cambie、Terence Tao、Lawrence Wu 与 AlphaEvolve、Aristotle、Gemini、GPT 给出了完整解，并完成了 Lean 形式化（2025 年 12 月 8 日）。共记录了 2 项 AI 贡献。Boris Alexeev、Stijn Cambie、Terence Tao、Lawrence Wu 与 AlphaEvolve、Aristotle、Gemini、GPT✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    完整解
  7. 2025-12-04数学 · 数论
    Erdős 问题 #43Aristotle 取得部分进展（2025 年 12 月 4 日）：部分结果的新证明（Lean 形式化）。Aristotle✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    部分结果
  8. 2025-12-03数学 · 数论
    Erdős 问题 #481GPT 发现这个问题在文献中早已被解决（2025 年 12 月 3 日）。GPT✓ 收录于 Tao 的 Wiki0 条批注
    已有文献
  9. 2025-11-29数学 · 数论
    Erdős 问题 #124Aristotle 取得部分进展（2025 年 11 月 29 日）：部分结果（Lean 形式化）。Aristotle✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    部分结果
  10. 2025-11-27数学 · 数论
    Erdős 问题 #488Aristotle 取得部分进展（2025 年 11 月 27 日）：变体问题的新解（Lean 形式化）。共记录了 2 项 AI 贡献。Aristotle✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    部分结果
  11. 2025-11-23数学 · 数论
    Erdős 问题 #942Gemini 取得部分进展（2025 年 11 月 23 日）：给出了新证明。共记录了 2 项 AI 贡献。Gemini✓ Lean 形式化 · 收录于 Tao 的 Wiki0 条批注
    部分结果
  12. 2025-11-20数学 · 数论
    Erdős 问题 #367Boris Alexeev、Wouter van Doorn、Terence Tao 与 Aristotle、Gemini Deep Think 取得部分进展（2025 年 11 月 20 日）：部分结果。Boris Alexeev、Wouter van Doorn、Terence Tao 与 Aristotle、Gemini Deep Think✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  13. 2025-11-20数学 · 数论
    Erdős 问题 #848Mehtaab Sawhney、Mark Sellke 与 GPT-5 给出了完整解（2025 年 11 月 20 日）。共记录了 2 项 AI 贡献。Mehtaab Sawhney、Mark Sellke 与 GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    完整解
  14. 2025-11-03数学 · 数学探索
    Kakeya and Nikodym sets in finite fields（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  15. 2025-11-03数学 · 数学探索
    3D Kakeya problem（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  16. 2025-11-03数学 · 数学探索
    An autocorrelation problem related to Sidon sets（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  17. 2025-11-03数学 · 数学探索
    How much can an autocorrelation of a non-negative function resemble an indicator function?（AlphaEvolve）AlphaEvolve 曾改进了最好的已知界，这一纪录后来又被超越；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  18. 2025-11-03数学 · 数学探索
    The Arithmetic Kakeya Conjecture（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  19. 2025-11-03数学 · 数学探索
    Spherical Designs（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  20. 2025-11-03数学 · 数学探索
    Packing in a dilate（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  21. 2025-11-03数学 · 数学探索
    Circle packing in a square / rectangle（AlphaEvolve）AlphaEvolve 曾改进了最好的已知界，这一纪录后来又被超越；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  22. 2025-11-03数学 · 数学探索
    Factoring N! into N numbers（AlphaEvolve）AlphaEvolve 曾改进了最好的已知界，这一纪录后来又被超越；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  23. 2025-11-03数学 · 数学探索
    An autocorrelation problem with functions that can take negative values（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  24. 2025-11-03数学 · 数学探索
    Sum-difference problem I（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  25. 2025-11-03数学 · 数学探索
    Sum-difference problem III（AlphaEvolve）AlphaEvolve 曾改进了最好的已知界，这一纪录后来又被超越；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  26. 2025-11-03数学 · 数学探索
    Heilbronn problem in a fixed bounding box（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  27. 2025-11-03数学 · 数学探索
    Heilbronn problem in an arbitrary convex bounding box（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  28. 2025-11-03数学 · 数学探索
    Erdős minimum overlap problem（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  29. 2025-11-03数学 · 数学探索
    Max to min ratios（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  30. 2025-11-03数学 · 数学探索
    Subsets of the grid with no isosceles triangles（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  31. 2025-11-03数学 · 数学探索
    The no 5 on a sphere problem（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  32. 2025-11-03数学 · 数学探索
    The Ring Loading Problem（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  33. 2025-11-03数学 · 数学探索
    The three-dimensional moving sofa problem with two perpendicular turns（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  34. 2025-11-03数学 · 数学探索
    Difference Bases（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  35. 2025-11-03数学 · 数学探索
    Kissing numbers（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  36. 2025-11-03数学 · 数学探索
    Kakeya needle problem（AlphaEvolve）AlphaEvolve 找到了一个改进当时最好已知界的构造；问题本身仍未解决。AlphaEvolve (Google DeepMind)✓ 构造可直接验算 · 预印本（arXiv，2025）0 条批注
    部分结果
  37. 2025-11-03数学 · 数论
    Erdős 问题 #1097AlphaEvolve 取得部分进展（2025 年 11 月 3 日）：略微改进了已有构造。AlphaEvolve✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  38. 2025-11-03数学 · 数论
    Erdős 问题 #36AlphaEvolve 取得部分进展（2025 年 11 月 3 日）：略微改进了已有构造。共记录了 2 项 AI 贡献。AlphaEvolve✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  39. 2025-11-03数学 · 几何
    Erdős 问题 #507AlphaEvolve 取得部分进展（2025 年 11 月 3 日）：Surpassed some past constructions。AlphaEvolve✓ 收录于 Tao 的 Wiki0 条批注
    部分结果
  40. 2025-11-02数学 · 几何
    Erdős 问题 #94GPT-5 发现这个问题在文献中早已被解决（2025 年 11 月 2 日）。GPT-5✓ 收录于 Tao 的 Wiki0 条批注
    已有文献