AI × SCIENCE · 未解決問題トラッカー
未知、証明終わり。
Where AI turns unknowns into Q.E.D.
AI が解いた科学の問題をひとつ残らず追跡します。各記録には結果の格付け、検証の方法、元の出典を明記し、誰でも注釈や異議を書き込めます。
格付け基準
完全解AI が単独で、または主導して、完全かつ新しい解を与えた。
部分的結果評価の改良、新しい構成、特殊な場合の解決。元の問題は未解決のまま。
既知文献AI が示した「新しい解」は既存の文献にすでにあった。
未検証公に主張されているが、まだ独立に検証されていない。
問題一覧
- 2026-09-10計算機科学 · Social choiceThe core in approval-based committee elections is never emptyBecker, Greger and Peters proved that every approval-based committee election has a committee in the core, computable in polynomial time; their arXiv paper says the proof was obtained with GPT-6 Astra.未検証
- 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.完全解
- 2025-05計算機科学 · アルゴリズム4×4 複素行列の積：AlphaEvolve が乗算 48 回のアルゴリズムを発見AlphaEvolve は 4×4 の複素行列の積を 48 回のスカラー乗算で計算するアルゴリズムを見つけ、Strassen の方法を再帰的に用いた場合の 49 回を改良した。部分的結果