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

未知、証明終わり。

Where AI turns unknowns into Q.E.D.

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

格付け基準

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

問題一覧

新しい順 · 262 件中 60 件
分野すべて数学計算機科学生物学物理学化学
格付けすべて完全解部分的結果既知文献未検証
  1. 2026-08-12数学 · Combinatorics
    A Hadamard matrix of order 668Anthropic researcher Levent Alpöge posted Hadamard matrices for every order up to 2000 where none was known, including 668, found by three people working with Claude; an independent check confirmed the matrix, but the method is unpublished.Claude (Anthropic) with three human researchers✓ Matrix checked independently (Nechita, 2026-08-13) · Marked solved by Epoch AI (provisional)注釈 0 件
    完全解
  2. 2026-06-21数学 · Analysis
    Erdős Problem #1197Full solution by Aristotle, Claude Opus 4.7 and GPT-5.4 Pro, formalized in Lean (21 Jun 2026).Aristotle, Claude Opus 4.7 and GPT-5.4 Pro✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  3. 2026-06-21数学 · Number theory
    Erdős Problem #346Full solution by Kenta Kitamura with Codex and GPT, formalized in Lean (21 Jun 2026). 2 AI contributions are recorded in all.Kenta Kitamura with Codex and GPT✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  4. 2026-06-21数学 · Number theory
    Erdős Problem #865Full solution by Ricky Cipollini with GPT-5.5 Pro (21 Jun 2026).Ricky Cipollini with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  5. 2026-06-21数学 · Number theory
    Erdős Problem #948Full solution by Aristotle and GPT-5.5 Pro, formalized in Lean (21 Jun 2026).Aristotle and GPT-5.5 Pro✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  6. 2026-06-16数学 · Graph theory
    Erdős Problem #986Full solution by Domagoj Bradač with Claude and OpenAI internal model (16 Jun 2026).Domagoj Bradač with Claude and OpenAI internal model✓ Listed in Tao's wiki注釈 0 件
    完全解
  7. 2026-06-14数学 · Number theory
    Erdős Problem #326Full solution by Aron Bhalla with Aristotle, Codex and GPT-5.5, formalized in Lean (14 Jun 2026).Aron Bhalla with Aristotle, Codex and GPT-5.5✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  8. 2026-06-09数学 · Graph theory
    Erdős Problem #619Full solution by Claude Fable 5, Codex and GPT-5.5, formalized in Lean (9 Jun 2026).Claude Fable 5, Codex and GPT-5.5✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  9. 2026-06-05数学 · Number theory
    Erdős Problem #696Full solution by Jake Mallen and David Turturean with Aristotle, Claude Code, Claude Opus 4.7 and GPT-5.5 Pro, formalized in Lean (5 Jun 2026).Jake Mallen and David Turturean with Aristotle, Claude Code, Claude Opus 4.7 and GPT-5.5 Pro✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  10. 2026-05-21数学 · Formal proof search
    AlphaProof Nexus: Lean-checked proofs of open Erdős problems and OEIS conjecturesGoogle DeepMind's AlphaProof Nexus autonomously proved 9 of 353 open Erdős problems (several as variants or parts) and 44 of 492 OEIS conjectures, all checked in Lean; the work was published in Science in October 2026.AlphaProof Nexus (Google DeepMind)✓ Lean 4 proofs, build instructions public · Published in Science (2026-10-08)注釈 0 件
    完全解
  11. 2026-05-20数学 · Geometry
    Erdős Problem #90Full solution by OpenAI internal model (20 May 2026). 3 AI contributions are recorded in all.OpenAI internal model✓ Listed in Tao's wiki注釈 0 件
    完全解
  12. 2026-05-08数学 · Number theory
    Erdős Problem #690Full solution by Davide Crapis and Shouqiao Wang with Multiscalar Fields System (8 May 2026).Davide Crapis and Shouqiao Wang with Multiscalar Fields System✓ Listed in Tao's wiki注釈 0 件
    完全解
  13. 2026-05-03数学 · Number theory
    Erdős Problem #283Full solution by Kevin Barreto and Liam Price with GPT-5.5 Pro (3 May 2026).Kevin Barreto and Liam Price with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  14. 2026-05-03数学 · Number theory
    Erdős Problem #351Full solution by Kevin Barreto and Liam Price with GPT-5.5 Pro (3 May 2026).Kevin Barreto and Liam Price with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  15. 2026-05-03数学 · Graph theory
    Erdős Problem #750Full solution by Przemek Chojecki with GPT-5.5 Pro (3 May 2026).Przemek Chojecki with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  16. 2026-05-01数学 · Number theory
    Erdős Problem #694Full solution by GPT-5.5 Pro (1 May 2026).GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  17. 2026-04-30数学 · Analysis
    Erdős Problem #1151Full solution by Przemek Chojecki with GPT-5.5 Pro (30 Apr 2026).Przemek Chojecki with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  18. 2026-04-28数学 · Chromatic number
    Erdős Problem #1092Full solution by Przemek Chojecki with GPT-5.5 Pro (28 Apr 2026).Przemek Chojecki with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  19. 2026-04-27数学 · Number theory
    Erdős Problem #42Full solution by Harjas Sandhu with GPT-5.5 Pro (27 Apr 2026). 2 AI contributions are recorded in all.Harjas Sandhu with GPT-5.5 Pro✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  20. 2026-04-27数学 · Geometry
    Erdős Problem #953Full solution by Przemek Chojecki with GPT-5.5 Pro (27 Apr 2026).Przemek Chojecki with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  21. 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 件
    完全解
  22. 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 件
    完全解
  23. 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 件
    完全解
  24. 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 件
    完全解
  25. 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 件
    完全解
  26. 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 件
    完全解
  27. 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 件
    完全解
  28. 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 件
    完全解
  29. 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 件
    完全解
  30. 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 件
    完全解
  31. 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 件
    完全解
  32. 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 件
    完全解
  33. 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 件
    完全解
  34. 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 件
    完全解
  35. 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 件
    完全解
  36. 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 件
    完全解
  37. 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 件
    完全解
  38. 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 件
    完全解
  39. 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 件
    完全解
  40. 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 件
    完全解