AI × SCIENCE · 未解決問題トラッカー

未知、証明終わり。

Where AI turns unknowns into Q.E.D.

AI が解いた科学の問題をひとつ残らず追跡します。各記録には結果の格付け、検証の方法、元の出典を明記し、誰でも注釈や異議を書き込めます。

格付け基準

完全解AI が単独で、または主導して、完全かつ新しい解を与えた。
部分的結果評価の改良、新しい構成、特殊な場合の解決。元の問題は未解決のまま。
既知文献AI が示した「新しい解」は既存の文献にすでにあった。
未検証公に主張されているが、まだ独立に検証されていない。

問題一覧

新しい順 · 262 件中 42 件
  1. 2025-09-29数学 · Graph theory
    Erdős Problem #1008GPT-5 found that the problem had already been solved in the literature (29 Sep 2025).GPT-5✓ Listed in Tao's wiki注釈 0 件
    既知文献
  2. 2025数学 · Additive combinatorics
    Erdős Problem #198AlphaProof found a new proof of a problem that was already solved (2025).AlphaProof✓ Listed in Tao's wiki注釈 0 件
    既知文献