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

未知、証明終わり。

Where AI turns unknowns into Q.E.D.

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

格付け基準

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

問題一覧

新しい順 · 262 件中 60 件
分野すべて数学計算機科学生物学物理学化学
格付けすべて完全解部分的結果既知文献未検証
  1. 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 件
    完全解
  2. 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 件
    完全解
  3. 2026-04-03数学 · Sidon sets
    Erdős Problem #152Full solution by DeepMind prover agent, formalized in Lean (3 Apr 2026).DeepMind prover agent✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  4. 2026-04-01数学 · Number theory
    Erdős Problem #1202Full solution by GPT-5.4 Pro (1 Apr 2026).GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  5. 2026-03-31数学 · Number theory
    Erdős Problem #380Full solution by Terence Tao with GPT-5.4 Pro (31 Mar 2026).Terence Tao with GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  6. 2026-03-31数学 · Analysis
    Erdős Problem #997Full solution by OpenAI internal model (31 Mar 2026).OpenAI internal model✓ Listed in Tao's wiki注釈 0 件
    完全解
  7. 2026-03-30数学 · Number theory
    Erdős Problem #125Full solution by DeepMind prover agent, formalized in Lean (30 Mar 2026). 2 AI contributions are recorded in all.DeepMind prover agent✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  8. 2026-03-26数学 · Number theory
    Erdős Problem #369Full solution by Sky Yang with GPT (26 Mar 2026).Sky Yang with GPT✓ Listed in Tao's wiki注釈 0 件
    完全解
  9. 2026-03-24数学 · Analysis
    Erdős Problem #1153Full solution by Aron Bhalla, Nat Sothanaphan and Terence Tao with AlphaEvolve, Claude, Gemini Pro, GPT-5.2 Thinking and GPT-5.4 Pro (24 Mar 2026).Aron Bhalla, Nat Sothanaphan and Terence Tao with AlphaEvolve, Claude, Gemini Pro, GPT-5.2 Thinking and GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  10. 2026-03-16数学 · Number theory
    Erdős Problem #1148Full solution by Ingo Althöfer, Przemek Chojecki and Wouter van Doorn with Gemini 3 Pro, Gemini 3.1 Pro, GPT-5.2 Pro, GPT-5.2 Thinking and GPT-5.4 Pro (16 Mar 2026). 2 AI contributions are recorded in all.Ingo Althöfer, Przemek Chojecki and Wouter van Doorn with Gemini 3 Pro, Gemini 3.1 Pro, GPT-5.2 Pro, GPT-5.2 Thinking and GPT-5.4 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  11. 2026-03-02数学 · Number theory
    Erdős Problem #457Full solution by Aristotle and GPT-5.2 Pro, formalized in Lean (2 Mar 2026).Aristotle and GPT-5.2 Pro✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  12. 2026-01-29数学 · Irrationality
    Erdős Problem #1051Full solution by Aletheia, formalized in Lean (29 Jan 2026).Aletheia✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  13. 2026-01-21数学 · Number theory
    Erdős Problem #543Full solution by GPT-5.2 Pro (21 Jan 2026).GPT-5.2 Pro✓ Listed in Tao's wiki注釈 0 件
    完全解
  14. 2026-01-13数学 · Geometry
    Erdős Problem #659Full solution by Benjamin Grayzel with Gemini 3 (13 Jan 2026). 2 AI contributions are recorded in all.Benjamin Grayzel with Gemini 3✓ Listed in Tao's wiki注釈 0 件
    完全解
  15. 2026-01-10数学 · Number theory
    Erdős Problem #205Full solution by Aristotle and GPT-5.2 Thinking, formalized in Lean (10 Jan 2026).Aristotle and GPT-5.2 Thinking✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  16. 2026-01-08数学 · Number theory
    Erdős Problem #729Full solution by Aristotle and GPT-5.2 Pro, formalized in Lean (8 Jan 2026).Aristotle and GPT-5.2 Pro✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  17. 2026-01-06数学 · Number theory
    Erdős Problem #728Full solution by Aristotle and GPT-5.2 Pro, formalized in Lean (6 Jan 2026).Aristotle and GPT-5.2 Pro✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  18. 2025-12-08数学 · Combinatorics
    Erdős Problem #1026Full solution by Boris Alexeev, Stijn Cambie, Terence Tao and Lawrence Wu with AlphaEvolve, Aristotle, Gemini and GPT, formalized in Lean (8 Dec 2025). 2 AI contributions are recorded in all.Boris Alexeev, Stijn Cambie, Terence Tao and Lawrence Wu with AlphaEvolve, Aristotle, Gemini and GPT✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解
  19. 2025-11-20数学 · Number theory
    Erdős Problem #848Full solution by Mehtaab Sawhney and Mark Sellke with GPT-5 (20 Nov 2025). 2 AI contributions are recorded in all.Mehtaab Sawhney and Mark Sellke with GPT-5✓ Listed in Tao's wiki注釈 0 件
    完全解
  20. 2025-10-25数学 · Number theory
    Erdős Problem #347Full solution by Enrique Barschkis, Wouter van Doorn, jbbaehr22, Bartosz Naskrecki and Terence Tao with Aristotle, Claude Opus, Codex and GPT, formalized in Lean (25 Oct 2025).Enrique Barschkis, Wouter van Doorn, jbbaehr22, Bartosz Naskrecki and Terence Tao with Aristotle, Claude Opus, Codex and GPT✓ Lean formalization · Listed in Tao's wiki注釈 0 件
    完全解