AI × SCIENCE · 未解決問題トラッカー

未知、証明終わり。

Where AI turns unknowns into Q.E.D.

AI が解いた科学の問題をひとつ残らず追跡します。各記録には結果の格付け、検証の方法、元の出典を明記し、誰でも注釈や異議を書き込めます。

格付け基準

完全解AI が単独で、または主導して、完全かつ新しい解を与えた。
部分的結果評価の改良、新しい構成、特殊な場合の解決。元の問題は未解決のまま。
既知文献AI が示した「新しい解」は既存の文献にすでにあった。
未検証公に主張されているが、まだ独立に検証されていない。

問題一覧

新しい順 · 262 件中 259 件
分野すべて数学計算機科学生物学物理学化学
格付けすべて完全解部分的結果既知文献未検証
  1. 2026-04-26数学 · Analysis
    Erdős Problem #1131A claim by GPT-5.5 Pro (26 Apr 2026) that has not yet been verified: candidate partial result.GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    未検証
  2. 2026-04-26数学 · Number theory
    Erdős Problem #896Full solution by Przemek Chojecki with GPT-5.5 Pro (26 Apr 2026).Przemek Chojecki with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  3. 2026-04-25数学 · Number theory
    Erdős Problem #1138Full solution by Kireet Cheri, Sourish Kumrawat and Hrishi Sunder with GPT-5.5 Pro and GPT-5.5 Thinking (25 Apr 2026).Kireet Cheri, Sourish Kumrawat and Hrishi Sunder with GPT-5.5 Pro and GPT-5.5 Thinking✓ Listed in Tao's wiki注釈 0 件
    完全解
  4. 2026-04-25数学 · Number theory
    Erdős Problem #38Full solution by GPT-5.5 Pro (25 Apr 2026).GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  5. 2026-04-25数学 · Analysis
    Erdős Problem #521Partial progress by Vjekoslav Kovač with GPT-5.5 Pro (25 Apr 2026): solution to variant problem. 2 AI contributions are recorded in all.Vjekoslav Kovač with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  6. 2026-04-25数学 · Number theory
    Erdős Problem #888Full solution by Przemek Chojecki with Aristotle and GPT-5.5 Pro (25 Apr 2026).Przemek Chojecki with Aristotle and GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  7. 2026-04-25数学 · Analysis
    Erdős Problem #906A claim by Adriano Almeida with Unspecified (25 Apr 2026) that has not yet been verified: candidate full solution. 2 AI contributions are recorded in all.Adriano Almeida with Unspecified✓ Listed in Tao's wiki注釈 0 件
    未検証
  8. 2026-04-24数学 · Number theory
    Erdős Problem #330Full solution by David Turturean with GPT-5.5 Pro (24 Apr 2026).David Turturean with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  9. 2026-04-23数学 · Graph theory
    Erdős Problem #1014Full solution by OpenAI internal model (23 Apr 2026).OpenAI internal model✓ Listed in Tao's wiki注釈 0 件
    完全解
  10. 2026-04-23数学 · Number theory
    Erdős Problem #1190Full solution by Boon Suan Ho with GPT-5.4 Pro (23 Apr 2026). 2 AI contributions are recorded in all.Boon Suan Ho with GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  11. 2026-04-23数学 · Additive combinatorics
    Erdős Problem #1194Partial progress by GPT-5.4 Pro (23 Apr 2026): partial result. 2 AI contributions are recorded in all.GPT-5.4 Pro✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    部分的結果
  12. 2026-04-23数学 · Covering systems
    Erdős Problem #202Full solution by Boon Suan Ho with GPT-5.4 Pro (23 Apr 2026). 2 AI contributions are recorded in all.Boon Suan Ho with GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  13. 2026-04-22数学 · Set theory
    Erdős Problem #598A claim by Przemek Chojecki with Aristotle and GPT-5.4 Pro (22 Apr 2026) that has not yet been verified: candidate partial result.Przemek Chojecki with Aristotle and GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    未検証
  14. 2026-04-22数学 · Number theory
    Erdős Problem #863Full solution by Boon Suan Ho with GPT-5.4 Pro (22 Apr 2026).Boon Suan Ho with GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  15. 2026-04-21数学 · Combinatorics
    Erdős Problem #603Full solution by Przemek Chojecki with GPT-5.4 Pro (21 Apr 2026).Przemek Chojecki with GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  16. 2026-04-21数学 · Graph theory
    Erdős Problem #610Partial progress by Przemek Chojecki with Aristotle and GPT-5.4 Pro (21 Apr 2026): full solution (Lean) (implicit in literature).Przemek Chojecki with Aristotle and GPT-5.4 Pro✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    部分的結果
  17. 2026-04-21数学 · Analysis
    Erdős Problem #995Partial progress by Boon Suan Ho with GPT-5.4 Pro (21 Apr 2026): partial result.Boon Suan Ho with GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  18. 2026-04-21数学 · Analysis
    Erdős Problem #996Full solution by Boon Suan Ho with GPT-5.4 Pro (21 Apr 2026).Boon Suan Ho with GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  19. 2026-04-20数学 · Analysis
    Erdős Problem #514Partial progress by Przemek Chojecki with GPT-5.4 Pro (20 Apr 2026): partial result (solutions to first part and second part). 2 AI contributions are recorded in all.Przemek Chojecki with GPT-5.4 Pro✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    部分的結果
  20. 2026-04-19数学 · Number theory
    Erdős Problem #1062Partial progress by Damek Davis with GPT-5.4 Pro (19 Apr 2026): partial result.Damek Davis with GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  21. 2026-04-19数学 · Number theory
    Erdős Problem #1195Full solution by Boon Suan Ho with GPT-5.4 Pro (19 Apr 2026).Boon Suan Ho with GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  22. 2026-04-19数学 · Number theory
    Erdős Problem #415Partial progress by Przemek Chojecki with GPT-5.4 Pro (19 Apr 2026): partial result.Przemek Chojecki with GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  23. 2026-04-18数学 · Number theory
    Erdős Problem #675Partial progress by Boon Suan Ho with GPT-5.4 Pro (18 Apr 2026): partial result.Boon Suan Ho with GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  24. 2026-04-16数学 · Number theory
    Erdős Problem #1217Full solution by GPT-5.4 Pro (16 Apr 2026).GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  25. 2026-04-16数学 · Additive combinatorics
    Erdős Problem #741Full solution by DeepMind prover agent, formalized in Lean (16 Apr 2026). 3 AI contributions are recorded in all.DeepMind prover agent✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  26. 2026-04-16数学 · Number theory
    Erdős Problem #976Partial progress by Aron Bhalla with GPT-5.4 (16 Apr 2026): conditional partial result.Aron Bhalla with GPT-5.4✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  27. 2026-04-15数学 · Number theory
    Erdős Problem #1209Partial progress by Enrique Barschkis with GPT-5.4 Pro (15 Apr 2026): partial result (Lean).Enrique Barschkis with GPT-5.4 Pro✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    部分的結果
  28. 2026-04-15数学 · Number theory
    Erdős Problem #251Partial progress by GPT-5.4 Pro (15 Apr 2026): solution to variant problem.GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  29. 2026-04-15数学 · Number theory
    Erdős Problem #852Partial progress by Aron Bhalla with GPT-5.4 (15 Apr 2026): partial result. 2 AI contributions are recorded in all.Aron Bhalla with GPT-5.4✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  30. 2026-04-15数学 · Number theory
    Erdős Problem #856A claim by Przemek Chojecki with GPT-5.4 Pro (15 Apr 2026) that has not yet been verified: candidate full solution.Przemek Chojecki with GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    未検証
  31. 2026-04-15数学 · Number theory
    Erdős Problem #858Full solution by Przemek Chojecki with GPT-5.4 Pro (15 Apr 2026).Przemek Chojecki with GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  32. 2026-04-14数学 · Irrationality
    Erdős Problem #258Full solution by GPT-5.4 Pro (14 Apr 2026).GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  33. 2026-04-14数学 · Number theory
    Erdős Problem #366Partial progress by Automated research pipeline (14 Apr 2026): conditional partial result.Automated research pipeline✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  34. 2026-04-13数学 · Number theory
    Erdős Problem #1196Full solution by GPT-5.4 Pro (13 Apr 2026). 2 AI contributions are recorded in all.GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  35. 2026-04-10数学 · Additive combinatorics
    Erdős Problem #138Partial progress by DeepMind prover agent (10 Apr 2026): partial result (Lean). 2 AI contributions are recorded in all.DeepMind prover agent✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    部分的結果
  36. 2026-04-09数学 · Chromatic number
    Erdős Problem #1091Full solution by OpenAI internal model (9 Apr 2026).OpenAI internal model✓ Listed in Tao's wiki注釈 0 件
    完全解
  37. 2026-04-09数学 · Number theory
    Erdős Problem #1141Full solution by OpenAI internal model (9 Apr 2026). 2 AI contributions are recorded in all.OpenAI internal model✓ Listed in Tao's wiki注釈 0 件
    完全解
  38. 2026-04-09数学 · Geometry
    Erdős Problem #960Full solution by OpenAI internal model (9 Apr 2026).OpenAI internal model✓ Listed in Tao's wiki注釈 0 件
    完全解
  39. 2026-04-09数学 · Analysis
    Erdős Problem #987Full solution by OpenAI internal model (9 Apr 2026).OpenAI internal model✓ Listed in Tao's wiki注釈 0 件
    完全解
  40. 2026-04-09数学 · Analysis
    Erdős Problem #990Full solution by OpenAI internal model (9 Apr 2026).OpenAI internal model✓ Listed in Tao's wiki注釈 0 件
    完全解