AI × SCIENCE · 未解決問題トラッカー
未知、証明終わり。
Where AI turns unknowns into Q.E.D.
AI が解いた科学の問題をひとつ残らず追跡します。各記録には結果の格付け、検証の方法、元の出典を明記し、誰でも注釈や異議を書き込めます。
格付け基準
完全解AI が単独で、または主導して、完全かつ新しい解を与えた。
部分的結果評価の改良、新しい構成、特殊な場合の解決。元の問題は未解決のまま。
既知文献AI が示した「新しい解」は既存の文献にすでにあった。
未検証公に主張されているが、まだ独立に検証されていない。
問題一覧
- 2026-02-01数学 · DiscrepancyErdős Problem #992Aletheia found that the problem had already been solved in the literature (1 Feb 2026).既知文献
- 2026-01-31数学 · AlgebraErdős Problem #1123Gemini Deep Research found that the problem had already been solved in the literature (31 Jan 2026).既知文献
- 2026-01-30数学 · AnalysisErdős Problem #524Partial progress by Gemini, GPT-5.2 and Grok (30 Jan 2026): improved partial result. 2 AI contributions are recorded in all.部分的結果
- 2026-01-30数学 · Number theoryErdős Problem #635Partial progress by Aristotle and GPT-5.2 Pro (30 Jan 2026): solution to one part of problem (Lean).部分的結果
- 2026-01-29数学 · IrrationalityErdős Problem #1051Full solution by Aletheia, formalized in Lean (29 Jan 2026).完全解
- 2026-01-28数学 · AnalysisErdős Problem #1048Partial progress by Aristotle (28 Jan 2026): proof found (Lean), which is a specific case of Pommerenke.部分的結果
- 2026-01-28数学 · Number theoryErdős Problem #218Partial progress by GPT (28 Jan 2026): conditional solution.部分的結果
- 2026-01-27数学 · Number theoryErdős Problem #951Partial progress by GPT-5.2 Pro (27 Jan 2026): solution to variant problem. 3 AI contributions are recorded in all.部分的結果
- 2026-01-26数学 · IrrationalErdős Problem #1147GPT-5.2 Thinking found that the problem had already been solved in the literature (26 Jan 2026).既知文献
- 2026-01-26数学 · Graph theoryErdős Problem #533GPT found that the problem had already been solved in the literature (26 Jan 2026).既知文献
- 2026-01-26数学 · Graph theoryErdős Problem #705GPT found that the problem had already been solved in the literature (26 Jan 2026). 2 AI contributions are recorded in all.既知文献
- 2026-01-24数学 · Group theoryErdős Problem #1161GPT-5.2 Thinking found that the problem had already been solved in the literature (24 Jan 2026).既知文献
- 2026-01-23数学 · Number theoryErdős Problem #783Partial progress by GPT-5.2 (23 Jan 2026): partial result.部分的結果
- 2026-01-21数学 · AnalysisErdős Problem #1047Aristotle found a new proof of a problem that was already solved (21 Jan 2026).既知文献
- 2026-01-21数学 · Number theoryErdős Problem #543Full solution by GPT-5.2 Pro (21 Jan 2026).完全解
- 2026-01-20数学 · Additive combinatoricsErdős Problem #788Partial progress by GPT-5.2 Pro (20 Jan 2026): new partial result.部分的結果
- 2026-01-19数学 · Graph theoryErdős Problem #1007Aristotle found a new proof of a problem that was already solved (19 Jan 2026).既知文献
- 2026-01-19数学 · Number theoryErdős Problem #684Partial progress by Quanyu Tang with GPT-5.2 Thinking (19 Jan 2026): partial result. 3 AI contributions are recorded in all.部分的結果
- 2026-01-19数学 · Additive combinatoricsErdős Problem #847GPT-5.2 Pro found that the problem had already been solved in the literature (19 Jan 2026).既知文献
- 2026-01-17数学 · AnalysisErdős Problem #1129GPT-5.2 Pro found that the problem had already been solved in the literature (17 Jan 2026).既知文献
- 2026-01-17数学 · AnalysisErdős Problem #1130GPT-5.2 Pro found that the problem had already been solved in the literature (17 Jan 2026).既知文献
- 2026-01-17数学 · Number theoryErdős Problem #281GPT-5.2 Pro produced a solution (17 Jan 2026); the problem turned out to have been solved already, by a different argument: Davenport and Erdős (1936) + Rogers (in Halberstam-Roth (1966)).既知文献
- 2026-01-17数学 · Set theoryErdős Problem #591ChatGPT Deep research found that the problem had already been solved in the literature (17 Jan 2026). 2 AI contributions are recorded in all.既知文献
- 2026-01-14数学 · GeometryErdős Problem #224Codex and GPT-5.2 Thinking found a new proof of a problem that was already solved (14 Jan 2026).既知文献
- 2026-01-13数学 · Number theoryErdős Problem #460Partial progress by Przemek Chojecki with GPT-5.2 (13 Jan 2026): reduction to a simpler problem.部分的結果
- 2026-01-13数学 · GeometryErdős Problem #659Full solution by Benjamin Grayzel with Gemini 3 (13 Jan 2026). 2 AI contributions are recorded in all.完全解
- 2026-01-13数学 · Number theoryErdős Problem #868Partial progress by GPT-5.2 multi-agent system (13 Jan 2026): new partial result.部分的結果
- 2026-01-12数学 · Number theoryErdős Problem #679Partial progress by Aristotle (12 Jan 2026): improved proof by reducing dependence on prime number theorem.部分的結果
- 2026-01-10数学 · Number theoryErdős Problem #205Full solution by Aristotle and GPT-5.2 Thinking, formalized in Lean (10 Jan 2026).完全解
- 2026-01-10数学 · Number theoryErdős Problem #397Aristotle and GPT-5.2 Pro produced a solution (10 Jan 2026), but a comparable result was already in the literature: China TST competition (2012). 3 AI contributions are recorded in all.既知文献
- 2026-01-10数学 · Number theoryErdős Problem #401Partial progress by Boris Alexeev, Kevin Barreto, Liam Price and Nat Sothanaphan with Aristotle and GPT-5.2 Pro (10 Jan 2026): full solution (Lean); solution to variant problem.部分的結果
- 2026-01-08数学 · Number theoryErdős Problem #729Full solution by Aristotle and GPT-5.2 Pro, formalized in Lean (8 Jan 2026).完全解
- 2026-01-07数学 · Number theoryErdős Problem #477Partial progress by AlphaProof (7 Jan 2026): solution to variant problem (Lean).部分的結果
- 2026-01-07数学 · Ramsey theoryErdős Problem #949Partial progress by AlphaProof (7 Jan 2026): solution to variant problem (Lean).部分的結果
- 2026-01-06数学 · Number theoryErdős Problem #728Full solution by Aristotle and GPT-5.2 Pro, formalized in Lean (6 Jan 2026).完全解
- 2026-01-05数学 · Number theoryErdős Problem #871Partial progress by Claude Opus 4.5 and Gemini 3 Pro (5 Jan 2026): existing partial result upgraded to full solution (Lean).部分的結果
- 2026-01-02数学 · Ramsey theoryErdős Problem #965GPT found that the problem had already been solved in the literature (2 Jan 2026).既知文献
- 2026数学 · Diophantine geometryA genus-2 curve with 648 rational pointsGPT-6 Astra found a genus-2 curve with 648 rational points, beating the record of 642 set by Elkies and Stoll in 2008; the deeper uniformity question remains open.部分的結果
- 2025-12-30数学 · Number theoryErdős Problem #1095Partial progress by Aristotle (30 Dec 2025): new proof of (slightly weaker) partial result (Lean). 2 AI contributions are recorded in all.部分的結果
- 2025-12-27数学 · DistancesErdős Problem #958Aristotle found a new proof of a problem that was already solved (27 Dec 2025).既知文献