AI × SCIENCE · 未解決問題トラッカー
未知、証明終わり。
Where AI turns unknowns into Q.E.D.
AI が解いた科学の問題をひとつ残らず追跡します。各記録には結果の格付け、検証の方法、元の出典を明記し、誰でも注釈や異議を書き込めます。
格付け基準
完全解AI が単独で、または主導して、完全かつ新しい解を与えた。
部分的結果評価の改良、新しい構成、特殊な場合の解決。元の問題は未解決のまま。
既知文献AI が示した「新しい解」は既存の文献にすでにあった。
未検証公に主張されているが、まだ独立に検証されていない。
問題一覧
- 2025-11-03数学 · GeometryErdős Problem #507Partial progress by AlphaEvolve (3 Nov 2025): surpassed some past constructions.部分的結果
- 2025-11-02数学 · GeometryErdős Problem #94GPT-5 found that the problem had already been solved in the literature (2 Nov 2025).既知文献
- 2025-10-29数学 · Number theoryErdős Problem #689A claim by Boris Alexeev, Przemek Chojecki, Dogmachine, jleng01, Mehtaab Sawhney, Terence Tao and Malek Zribi with Codex, GPT-5.2 and GPT-5.5 Pro (29 Oct 2025) that has not yet been verified: candidate full solution.未検証
- 2025-10-25数学 · Number theoryErdő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).完全解
- 2025-10-20数学 · Number theoryErdős Problem #645GPT-5 found that the problem had already been solved in the literature (20 Oct 2025).既知文献
- 2025-10-19数学 · Number theoryErdős Problem #1099ChatGPT Deep research, Gemini and Gemini Deep Research found that the problem had already been solved in the literature (19 Oct 2025).既知文献
- 2025-10-15数学 · AnalysisErdős Problem #515GPT-5 found that the problem had already been solved in the literature (15 Oct 2025).既知文献
- 2025-10-14数学 · CombinatoricsErdős Problem #903GPT-5 found that the problem had already been solved in the literature (14 Oct 2025).既知文献
- 2025-10-13数学 · Graph theoryErdős Problem #1079GPT-5 found that the problem had already been solved in the literature (13 Oct 2025).既知文献
- 2025-10-13数学 · GeometryErdős Problem #223GPT-5 found that the problem had already been solved in the literature (13 Oct 2025).既知文献
- 2025-10-13数学 · AnalysisErdős Problem #494GPT-5 found that the problem had already been solved in the literature (13 Oct 2025).既知文献
- 2025-10-13数学 · Graph theoryErdős Problem #621GPT-5 found that the problem had already been solved in the literature (13 Oct 2025).既知文献
- 2025-10-13数学 · Number theoryErdős Problem #822GPT-5 found that the problem had already been solved in the literature (13 Oct 2025).既知文献
- 2025-10-12数学 · AnalysisErdős Problem #1043GPT-5 found that the problem had already been solved in the literature (12 Oct 2025). 3 AI contributions are recorded in all.既知文献
- 2025-10-11数学 · Number theoryErdős Problem #339GPT-5 found that the problem had already been solved in the literature (11 Oct 2025).既知文献
- 2025-09-30数学 · Graph theoryErdős Problem #737GPT-5 found that the problem had already been solved in the literature (30 Sep 2025).既知文献
- 2025-09-29数学 · Graph theoryErdős Problem #1008GPT-5 found that the problem had already been solved in the literature (29 Sep 2025).既知文献
- 2025-08-09数学 · Number theoryErdős Problem #686Partial progress by Adenwalla, Stijn Cambie, Wouter van Doorn, Vjekoslav Kovač, Miklos, Nat Sothanaphan, Quanyu Tang, Terence Tao, vilc and Malek Zribi with AlphaProof, Claude, Gemini Deep Think, GPT-5.2 Thinking, GPT-5.4 Thinking and Seed 2.0 Pro (9 Aug 2025): various partial results.部分的結果
- 2025-05計算機科学 · アルゴリズム4×4 複素行列の積：AlphaEvolve が乗算 48 回のアルゴリズムを発見AlphaEvolve は 4×4 の複素行列の積を 48 回のスカラー乗算で計算するアルゴリズムを見つけ、Strassen の方法を再帰的に用いた場合の 49 回を改良した。部分的結果
- 2025数学 · Additive combinatoricsErdős Problem #198AlphaProof found a new proof of a problem that was already solved (2025).既知文献
- 2025数学 · Number theoryErdős Problem #493Partial progress by Aristotle, GPT and Seed Prover (2025): new or existing proof found (Lean).部分的結果
- 2023-12数学 · 組合せ論キャップ集合問題：FunSearch が 8 次元でより大きなキャップ集合を発見大規模言語モデルが駆動するプログラム探索システムが、8 次元で既知最大のキャップ集合を与え、漸近的な下界を改良した。元の問題は未解決のまま。部分的結果