AI × SCIENCE · 未解決問題トラッカー
未知、証明終わり。
Where AI turns unknowns into Q.E.D.
AI が解いた科学の問題をひとつ残らず追跡します。各記録には結果の格付け、検証の方法、元の出典を明記し、誰でも注釈や異議を書き込めます。
格付け基準
完全解AI が単独で、または主導して、完全かつ新しい解を与えた。
部分的結果評価の改良、新しい構成、特殊な場合の解決。元の問題は未解決のまま。
既知文献AI が示した「新しい解」は既存の文献にすでにあった。
未検証公に主張されているが、まだ独立に検証されていない。
問題一覧
- 2026-04-09数学 · AnalysisErdős Problem #990Full solution by OpenAI internal model (9 Apr 2026).完全解
- 2026-04-07数学 · Number theoryErdős Problem #12Partial progress by DeepMind prover agent (7 Apr 2026): partial result (Lean) (solutions to first part and second part). 2 AI contributions are recorded in all.部分的結果
- 2026-04-06数学 · Number theoryErdős Problem #26DeepMind prover agent produced a solution (6 Apr 2026), but a comparable result was already in the literature: Ruzsa.既知文献
- 2026-04-04数学 · Graph theoryErdős Problem #629Partial progress by Gemini 3.1 Pro and GPT-5.4 Thinking (4 Apr 2026): partial result.部分的結果
- 2026-04-04数学 · Additive combinatoricsErdős Problem #749Partial progress by Aron Bhalla with GPT-5.4 Thinking (4 Apr 2026): partial result; 🟡 Solution to variant problem.部分的結果
- 2026-04-03数学 · Sidon setsErdős Problem #152Full solution by DeepMind prover agent, formalized in Lean (3 Apr 2026).完全解
- 2026-04-01数学 · Number theoryErdős Problem #1202Full solution by GPT-5.4 Pro (1 Apr 2026).完全解
- 2026-03-31数学 · Number theoryErdős Problem #374Partial progress by Terence Tao with GPT-5.4 Pro (31 Mar 2026): partial result.部分的結果
- 2026-03-31数学 · Number theoryErdős Problem #380Full solution by Terence Tao with GPT-5.4 Pro (31 Mar 2026).完全解
- 2026-03-31数学 · AnalysisErdős Problem #997Full solution by OpenAI internal model (31 Mar 2026).完全解
- 2026-03-30数学 · Number theoryErdős Problem #125Full solution by DeepMind prover agent, formalized in Lean (30 Mar 2026). 2 AI contributions are recorded in all.完全解
- 2026-03-28数学 · Graph theoryErdős Problem #574GPT-5.4 Pro found that the problem had already been solved in the literature (28 Mar 2026).既知文献
- 2026-03-26数学 · Number theoryErdős Problem #369Full solution by Sky Yang with GPT (26 Mar 2026).完全解
- 2026-03-24数学 · AnalysisErdős Problem #1132Partial progress by Terence Tao with AlphaEvolve, Claude, Gemini Pro and GPT-5.4 Pro (24 Mar 2026): partial result.部分的結果
- 2026-03-24数学 · AnalysisErdő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).完全解
- 2026-03-23数学 · Number theoryErdős Problem #342Partial progress by Przemek Chojecki with GPT-5.2 Pro and GPT-5.4 Pro (23 Mar 2026): partial result.部分的結果
- 2026-03-19数学 · Number theoryErdős Problem #25Partial progress by Przemek Chojecki with GPT-5.4 Pro (19 Mar 2026): partial result.部分的結果
- 2026-03-18数学 · CombinatoricsErdős Problem #1183Partial progress by Przemek Chojecki and Quanyu Tang with GPT-5.4 Pro (18 Mar 2026): partial result.部分的結果
- 2026-03-18数学 · Number theoryErdős Problem #943Partial progress by Przemek Chojecki with GPT-5.4 Pro (18 Mar 2026): partial result.部分的結果
- 2026-03-16数学 · Number theoryErdő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.完全解
- 2026-03-15数学 · Number theoryErdős Problem #396Partial progress by Malek Zribi with Claude, Codex and GPT (15 Mar 2026): partial result. 2 AI contributions are recorded in all.部分的結果
- 2026-03-14数学 · CombinatoricsErdős Problem #120Partial progress by DeepMind prover agent (14 Mar 2026): solution to variant problem (Lean).部分的結果
- 2026-03-11数学 · Number theoryErdős Problem #423Partial progress by Quanyu Tang and Nat Sothanaphan with GPT-5.2 Thinking and GPT-5.4 Thinking (11 Mar 2026): partial result.部分的結果
- 2026-03-09数学 · Number theoryErdős Problem #349Partial progress by GPT-5.2 Thinking (9 Mar 2026): improved partial result.部分的結果
- 2026-03-06数学 · AnalysisErdős Problem #1039Partial progress by Houi with Aristotle and Claude Opus 4.6 (6 Mar 2026): partial result (Lean). 2 AI contributions are recorded in all.部分的結果
- 2026-03-06数学 · Number theoryErdős Problem #650ChatGPT Deep research found that the problem had already been solved in the literature (6 Mar 2026). 2 AI contributions are recorded in all.既知文献
- 2026-03-02数学 · Number theoryErdős Problem #457Full solution by Aristotle and GPT-5.2 Pro, formalized in Lean (2 Mar 2026).完全解
- 2026-03-01数学 · AnalysisErdős Problem #513Partial progress by GPT-5.2 Thinking (1 Mar 2026): slight improvement to past construction.部分的結果
- 2026-02-28計算機科学 · CombinatoricsClaude's cycles: decomposing a 3D torus digraph into Hamiltonian cyclesClaude Opus 4.6 found a construction that splits a digraph from Knuth's forthcoming TAOCP section into three Hamiltonian cycles for every odd m; Knuth proved it and it was formalized in Lean. The even case has a separate, unverified AI proof.完全解
- 2026-02-27数学 · GeometryErdős Problem #1090Partial progress by Aristotle and Gemini 3 Flash (27 Feb 2026): proof found (Lean).部分的結果
- 2026-02-25数学 · Number theoryErdős Problem #966Aristotle produced a solution (25 Feb 2026), but a comparable result was already in the literature: Spencer (unpublished).既知文献
- 2026-02-21数学 · GeometryErdős Problem #846Partial progress by DeepMind prover agent; OpenAI internal model (independently) (21 Feb 2026): full solution (Lean); 🟢 Full solution.部分的結果
- 2026-02-16数学 · Number theoryErdős Problem #872Partial progress by GPT-5.2 Pro (16 Feb 2026): partial result. 3 AI contributions are recorded in all.部分的結果
- 2026-02-14数学 · GeometryErdős Problem #1082Partial progress by DeepMind prover agent (14 Feb 2026): counterexample to one part (Lean).部分的結果
- 2026-02-11数学 · CombinatoricsErdős Problem #776Partial progress by Yixin He and Quanyu Tang with GPT-5.2 Thinking (11 Feb 2026): partial result.部分的結果
- 2026-02-05数学 · Number theoryErdős Problem #851Partial progress by GPT-5.2 Pro (5 Feb 2026): full solution (building upon 🟡 Romanoff (1934)).部分的結果
- 2026-02-01数学 · AnalysisErdős Problem #1040Partial progress by Aletheia (1 Feb 2026): solution to one part of problem; 🔴 incorrect solution to other part.部分的結果
- 2026-02-01数学 · GeometryErdős Problem #1089Partial progress by Aletheia (1 Feb 2026): full solution found.部分的結果
- 2026-02-01数学 · Graph theoryErdős Problem #1105Aletheia found that the problem had already been solved in the literature (1 Feb 2026).既知文献
- 2026-02-01数学 · GeometryErdős Problem #654Partial progress by Aletheia (1 Feb 2026): partial result.部分的結果