AI × SCIENCE · 未解決問題トラッカー
未知、証明終わり。
Where AI turns unknowns into Q.E.D.
AI が解いた科学の問題をひとつ残らず追跡します。各記録には結果の格付け、検証の方法、元の出典を明記し、誰でも注釈や異議を書き込めます。
格付け基準
完全解AI が単独で、または主導して、完全かつ新しい解を与えた。
部分的結果評価の改良、新しい構成、特殊な場合の解決。元の問題は未解決のまま。
既知文献AI が示した「新しい解」は既存の文献にすでにあった。
未検証公に主張されているが、まだ独立に検証されていない。
問題一覧
- 2026-07-30数学 · Arithmetic geometryA genus-2 curve with a rational torsion point of prime order at least 31GPT-5.6 Sol passed Epoch AI's verifier with such a curve, but the curve came from an existing public database; Epoch itself says the solution was latent in the literature.既知文献
- 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-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-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-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-01数学 · Graph theoryErdős Problem #1105Aletheia found that the problem had already been solved in the literature (1 Feb 2026).既知文献
- 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-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-21数学 · AnalysisErdős Problem #1047Aristotle found a new proof of a problem that was already solved (21 Jan 2026).既知文献
- 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数学 · 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-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-02数学 · Ramsey theoryErdős Problem #965GPT found that the problem had already been solved in the literature (2 Jan 2026).既知文献
- 2025-12-27数学 · DistancesErdős Problem #958Aristotle found a new proof of a problem that was already solved (27 Dec 2025).既知文献
- 2025-12-26数学 · Number theoryErdős Problem #897Archivara and Aristotle produced a solution (26 Dec 2025), but a comparable result was already in the literature: Wirsing (1981).既知文献
- 2025-12-25数学 · Number theoryErdős Problem #333Claude Opus 4.5 and GPT-5.2 Pro produced a solution (25 Dec 2025), but a comparable result was already in the literature: Erdős and Newman (1977). 2 AI contributions are recorded in all.既知文献
- 2025-12-21数学 · Number theoryErdős Problem #379Seed Prover 1.5 found a new proof of a problem that was already solved (21 Dec 2025).既知文献
- 2025-12-03数学 · Number theoryErdős Problem #481GPT found that the problem had already been solved in the literature (3 Dec 2025).既知文献
- 2025-11-02数学 · GeometryErdős Problem #94GPT-5 found that the problem had already been solved in the literature (2 Nov 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).既知文献