Cernoval トップ

Topic

AlphaProof Nexus

関連トピック

同じ記事で一緒に扱われたトピックです。

判明している事実

証明したOEIS予想の数: 44

問題解決あたりのコスト: 数百ドル

解決したエ্রドシュ問題の数: 9

関連レポート・記事

Google DeepMindのAlphaProof Nexus、Erdős Problemを解決 AI数学競争がベンチマークを超えて進化★10

トピック一覧トップに戻る