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

未知、証明終わり。

Where AI turns unknowns into Q.E.D.

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

格付け基準

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

問題一覧

新しい順 · 262 件中 259 件
分野すべて数学計算機科学生物学物理学化学
格付けすべて完全解部分的結果既知文献未検証
  1. 2026-06-08数学 · Number theory
    Erdős Problem #931Partial progress by Adenwalla and Malek Zribi with Claude and GPT-5.4 (8 Jun 2026): partial result.Adenwalla and Malek Zribi with Claude and GPT-5.4✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  2. 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 件
    完全解
  3. 2026-06-04数学 · Set theory
    Erdős Problem #623A claim by Sungchul Lee with GPT-5.5 Pro (4 Jun 2026) that has not yet been verified: candidate full solution.Sungchul Lee with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    未検証
  4. 2026-06-01数学 · Combinatorics
    Erdős Problem #501A claim by Sungchul Lee with GPT-5.5 Pro (1 Jun 2026) that has not yet been verified: candidate conditional partial result (conditional solution to first part).Sungchul Lee with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    未検証
  5. 2026-05-29数学 · Geometry
    Erdős Problem #352Partial progress by Aleksandar Bulj and Vjekoslav Kovač with GPT-5.4 Pro and GPT-5.5 Pro (29 May 2026): partial result of variant problem.Aleksandar Bulj and Vjekoslav Kovač with GPT-5.4 Pro and GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  6. 2026-05-28数学 · Number theory
    Erdős Problem #52Partial progress by Thomas Bloom, Will Sawin, Carl Schildkraut and Dmitrii Zhelezov with GPT-5.5 Pro (28 May 2026): solution to variant problem. 4 AI contributions are recorded in all.Thomas Bloom, Will Sawin, Carl Schildkraut and Dmitrii Zhelezov with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  7. 2026-05-27数学 · Geometry
    Erdős Problem #503Partial progress by Przemek Chojecki, Junnosuke Koizumi and RealBelgian with GPT-5.5 Pro (27 May 2026): partial result.Przemek Chojecki, Junnosuke Koizumi and RealBelgian with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  8. 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 件
    完全解
  9. 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 件
    完全解
  10. 2026-05-16数学 · Number theory
    Erdős Problem #345Partial progress by Wouter van Doorn with Aristotle and GPT (16 May 2026): partial result (Lean).Wouter van Doorn with Aristotle and GPT✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    部分的結果
  11. 2026-05-15数学 · Additive combinatorics
    Erdős Problem #819A claim by Yu Leon Liu with GPT-5.5 and Rethlas (15 May 2026) that has not yet been verified: candidate partial result.Yu Leon Liu with GPT-5.5 and Rethlas✓ Listed in Tao's wiki注釈 0 件
    未検証
  12. 2026-05-13数学 · Number theory
    Erdős Problem #327A claim by Yu Leon Liu with GPT-5.5 and Rethlas (13 May 2026) that has not yet been verified: candidate partial result.Yu Leon Liu with GPT-5.5 and Rethlas✓ Listed in Tao's wiki注釈 0 件
    未検証
  13. 2026-05-09数学 · Irrationality
    Erdős Problem #263Partial progress by Aristotle, Claude Opus 4.7 and GPT-5.5 Pro (9 May 2026): partial result (Lean) (solution to second part).Aristotle, Claude Opus 4.7 and GPT-5.5 Pro✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    部分的結果
  14. 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 件
    完全解
  15. 2026-05-07数学 · Graph theory
    Erdős Problem #1032Partial progress by Codex and GPT-5.5 Pro (7 May 2026): improved partial result (Lean).Codex and GPT-5.5 Pro✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    部分的結果
  16. 2026-05-07数学 · Additive combinatorics
    Erdős Problem #875Partial progress by Lech Mazur with Codex and GPT-5.5 Pro (7 May 2026): partial result (Lean).Lech Mazur with Codex and GPT-5.5 Pro✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    部分的結果
  17. 2026-05-04数学 · Number theory
    Erdős Problem #456A claim by David Turturean with GPT-5.5 Pro (4 May 2026) that has not yet been verified: candidate partial result (solutions to first part and second part; conditional solution to third part).David Turturean with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    未検証
  18. 2026-05-04数学 · Number theory
    Erdős Problem #866Partial progress by Wouter van Doorn with Aristotle and GPT-5.3 Instant (4 May 2026): partial result (Lean).Wouter van Doorn with Aristotle and GPT-5.3 Instant✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    部分的結果
  19. 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 件
    完全解
  20. 2026-05-03数学 · Number theory
    Erdős Problem #288A claim by Ritvik Nayak with GPT-5.5 Thinking (3 May 2026) that has not yet been verified: candidate partial result.Ritvik Nayak with GPT-5.5 Thinking✓ Listed in Tao's wiki注釈 0 件
    未検証
  21. 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 件
    完全解
  22. 2026-05-03数学 · Number theory
    Erdős Problem #393Partial progress by David Turturean with GPT-5.5 Pro (3 May 2026): conditional partial result.David Turturean with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  23. 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 件
    完全解
  24. 2026-05-02数学 · Number theory
    Erdős Problem #390A claim by Samuel Mausberg with GPT-5.5 Pro (2 May 2026) that has not yet been verified: candidate partial result.Samuel Mausberg with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    未検証
  25. 2026-05-02数学 · Number theory
    Erdős Problem #870A claim by David Turturean with GPT-5.4 Pro and GPT-5.5 Pro (2 May 2026) that has not yet been verified: candidate full solution.David Turturean with GPT-5.4 Pro and GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    未検証
  26. 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 件
    完全解
  27. 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 件
    完全解
  28. 2026-04-30数学 · Number theory
    Erdős Problem #1201A claim by Przemek Chojecki with GPT-5.5 Pro (30 Apr 2026) that has not yet been verified: candidate full solution.Przemek Chojecki with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    未検証
  29. 2026-04-30数学 · Number theory
    Erdős Problem #983Partial progress by GPT-5.5 Pro (30 Apr 2026): partial result (solution to first part).GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  30. 2026-04-29数学 · Number theory
    Erdős Problem #1004Partial progress by GPT-5.5 Pro (29 Apr 2026): partial result (implicit in literature).GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  31. 2026-04-29数学 · Analysis
    Erdős Problem #1133A claim by Przemek Chojecki with GPT-5.5 Pro (29 Apr 2026) that has not yet been verified: candidate full solution.Przemek Chojecki with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    未検証
  32. 2026-04-29数学 · Number theory
    Erdős Problem #1143Partial progress by Przemek Chojecki with GPT-5.5 Pro (29 Apr 2026): partial result (implicit in literature).Przemek Chojecki with GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  33. 2026-04-29数学 · Number theory
    Erdős Problem #873A claim by Ritvik Nayak with GPT-5.4 Thinking (29 Apr 2026) that has not yet been verified: candidate partial result. 2 AI contributions are recorded in all.Ritvik Nayak with GPT-5.4 Thinking✓ Listed in Tao's wiki注釈 0 件
    未検証
  34. 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 件
    完全解
  35. 2026-04-27数学 · Number theory
    Erdős Problem #1101A claim by GPT-5.5 Pro (27 Apr 2026) that has not yet been verified: candidate partial result (solution to second part).GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    未検証
  36. 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 件
    完全解
  37. 2026-04-27数学 · Number theory
    Erdős Problem #535Partial progress by Kireet Cheri, Sourish Kumrawat and Hrishi Sunder with GPT-5.5 Thinking (27 Apr 2026): partial result (implicit in literature).Kireet Cheri, Sourish Kumrawat and Hrishi Sunder with GPT-5.5 Thinking✓ Listed in Tao's wiki注釈 0 件
    部分的結果
  38. 2026-04-27数学 · Graph theory
    Erdős Problem #836A claim by GPT-5.5 Pro (27 Apr 2026) that has not yet been verified: candidate partial result (solution to second part).GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    未検証
  39. 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 件
    完全解
  40. 2026-04-27数学 · Geometry
    Erdős Problem #956A claim by Przemek Chojecki with Aristotle and GPT-5.5 Pro (27 Apr 2026) that has not yet been verified: candidate full solution.Przemek Chojecki with Aristotle and GPT-5.5 Pro✓ Listed in Tao's wiki注釈 0 件
    未検証