AI × SCIENCE · 未解決問題トラッカー
未知、証明終わり。
Where AI turns unknowns into Q.E.D.
AI が解いた科学の問題をひとつ残らず追跡します。各記録には結果の格付け、検証の方法、元の出典を明記し、誰でも注釈や異議を書き込めます。
格付け基準
完全解AI が単独で、または主導して、完全かつ新しい解を与えた。
部分的結果評価の改良、新しい構成、特殊な場合の解決。元の問題は未解決のまま。
既知文献AI が示した「新しい解」は既存の文献にすでにあった。
未検証公に主張されているが、まだ独立に検証されていない。
問題一覧
- 2026-08-20数学 · Arithmetic geometryElliptic curves over ℚ of rank at least 30 and 31Claude, working with Levent Alpöge and Ava Howell, found elliptic curves over ℚ with at least 30 and then 31 independent rational points, beating the record of 29 set in 2024.部分的結果
- 2026-07-26数学 · CombinatoricsShorter superpermutations on 8, 9 and 10 symbolsNew superpermutations shorter than Egan's 2018 bound were posted for 8, 9 and 10 symbols; those for 9 and 10 were developed interactively with GPT-5.6 Sol, which then retrieved them to pass Epoch AI's verifier.部分的結果
- 2026-06-29数学 · GeometryErdős Problem #1070Partial progress by Ákos Dúcz and Dániel Varga with Codex and GPT-5.5 (29 Jun 2026): partial result.部分的結果
- 2026-06-23数学 · CombinatoricsErdős Problem #21Partial progress by Varun Sivashankar with Aristotle and GPT-5.5 Pro (23 Jun 2026): partial result (Lean).部分的結果
- 2026-06-22数学 · Number theoryErdős Problem #1054Partial progress by Claude Opus 4.8, GPT-5.5 Pro and Principia Math (22 Jun 2026): partial result (Lean).部分的結果
- 2026-06-22数学 · Number theoryErdős Problem #536Partial progress by Codex and GPT-5.5 Pro (22 Jun 2026): partial result (Lean).部分的結果
- 2026-06-21数学 · Additive combinatoricsErdős Problem #176Partial progress by Codex and GPT-5.5 Pro (21 Jun 2026): partial result (Lean). 2 AI contributions are recorded in all.部分的結果
- 2026-06-19数学 · Number theoryErdős Problem #451Partial progress by Wouter van Doorn and Quanyu Tang with Aristotle and GPT-5.5 Pro (19 Jun 2026): partial result (Lean).部分的結果
- 2026-06-19数学 · Graph theoryErdős Problem #81Partial progress by Wouter van Doorn with Aristotle and GPT-5.5 Pro (19 Jun 2026): partial result (Lean).部分的結果
- 2026-06-17数学 · Number theoryErdős Problem #306Partial progress by Shisheng Li with Claude and Claude Code (17 Jun 2026): partial result (Lean). 2 AI contributions are recorded in all.部分的結果
- 2026-06-10数学 · Number theoryErdős Problem #539Partial progress by Codex, GPT-5.5 and ProofCouncil (10 Jun 2026): partial result (Lean).部分的結果
- 2026-06-08数学 · Number theoryErdős Problem #931Partial progress by Adenwalla and Malek Zribi with Claude and GPT-5.4 (8 Jun 2026): partial result.部分的結果
- 2026-05-29数学 · GeometryErdő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.部分的結果
- 2026-05-28数学 · Number theoryErdő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.部分的結果
- 2026-05-27数学 · GeometryErdős Problem #503Partial progress by Przemek Chojecki, Junnosuke Koizumi and RealBelgian with GPT-5.5 Pro (27 May 2026): partial result.部分的結果
- 2026-05-16数学 · Number theoryErdős Problem #345Partial progress by Wouter van Doorn with Aristotle and GPT (16 May 2026): partial result (Lean).部分的結果
- 2026-05-09数学 · IrrationalityErdő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).部分的結果
- 2026-05-07数学 · Graph theoryErdős Problem #1032Partial progress by Codex and GPT-5.5 Pro (7 May 2026): improved partial result (Lean).部分的結果
- 2026-05-07数学 · Additive combinatoricsErdős Problem #875Partial progress by Lech Mazur with Codex and GPT-5.5 Pro (7 May 2026): partial result (Lean).部分的結果
- 2026-05-04数学 · Number theoryErdős Problem #866Partial progress by Wouter van Doorn with Aristotle and GPT-5.3 Instant (4 May 2026): partial result (Lean).部分的結果
- 2026-05-03数学 · Number theoryErdős Problem #393Partial progress by David Turturean with GPT-5.5 Pro (3 May 2026): conditional partial result.部分的結果
- 2026-04-30数学 · Number theoryErdős Problem #983Partial progress by GPT-5.5 Pro (30 Apr 2026): partial result (solution to first part).部分的結果
- 2026-04-29数学 · Number theoryErdős Problem #1004Partial progress by GPT-5.5 Pro (29 Apr 2026): partial result (implicit in literature).部分的結果
- 2026-04-29数学 · Number theoryErdős Problem #1143Partial progress by Przemek Chojecki with GPT-5.5 Pro (29 Apr 2026): partial result (implicit in literature).部分的結果
- 2026-04-27数学 · Number theoryErdő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).部分的結果
- 2026-04-25数学 · AnalysisErdős Problem #521Partial progress by Vjekoslav Kovač with GPT-5.5 Pro (25 Apr 2026): solution to variant problem. 2 AI contributions are recorded in all.部分的結果
- 2026-04-23数学 · Additive combinatoricsErdős Problem #1194Partial progress by GPT-5.4 Pro (23 Apr 2026): partial result. 2 AI contributions are recorded in all.部分的結果
- 2026-04-21数学 · Graph theoryErdős Problem #610Partial progress by Przemek Chojecki with Aristotle and GPT-5.4 Pro (21 Apr 2026): full solution (Lean) (implicit in literature).部分的結果
- 2026-04-21数学 · AnalysisErdős Problem #995Partial progress by Boon Suan Ho with GPT-5.4 Pro (21 Apr 2026): partial result.部分的結果
- 2026-04-20数学 · AnalysisErdős Problem #514Partial progress by Przemek Chojecki with GPT-5.4 Pro (20 Apr 2026): partial result (solutions to first part and second part). 2 AI contributions are recorded in all.部分的結果
- 2026-04-19数学 · Number theoryErdős Problem #1062Partial progress by Damek Davis with GPT-5.4 Pro (19 Apr 2026): partial result.部分的結果
- 2026-04-19数学 · Number theoryErdős Problem #415Partial progress by Przemek Chojecki with GPT-5.4 Pro (19 Apr 2026): partial result.部分的結果
- 2026-04-18数学 · Number theoryErdős Problem #675Partial progress by Boon Suan Ho with GPT-5.4 Pro (18 Apr 2026): partial result.部分的結果
- 2026-04-16数学 · Number theoryErdős Problem #976Partial progress by Aron Bhalla with GPT-5.4 (16 Apr 2026): conditional partial result.部分的結果
- 2026-04-15数学 · Number theoryErdős Problem #1209Partial progress by Enrique Barschkis with GPT-5.4 Pro (15 Apr 2026): partial result (Lean).部分的結果
- 2026-04-15数学 · Number theoryErdős Problem #251Partial progress by GPT-5.4 Pro (15 Apr 2026): solution to variant problem.部分的結果
- 2026-04-15数学 · Number theoryErdős Problem #852Partial progress by Aron Bhalla with GPT-5.4 (15 Apr 2026): partial result. 2 AI contributions are recorded in all.部分的結果
- 2026-04-14数学 · Number theoryErdős Problem #366Partial progress by Automated research pipeline (14 Apr 2026): conditional partial result.部分的結果
- 2026-04-10数学 · Additive combinatoricsErdős Problem #138Partial progress by DeepMind prover agent (10 Apr 2026): partial result (Lean). 2 AI contributions are recorded in all.部分的結果
- 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.部分的結果