数学トップ誌にふさわしい初のAI証明が登場、これで終わりではない
OpenAIの内部推論モデルが、1946年以来未解決だった数学者ポール・エルデシュの単位距離予想を、専門家が予想しなかった代数的整数論のツールを用いて反証した。フィールズ賞受賞者のティモシー・ガワーズ氏はこの結果を「AI数学のマイルストーン」と呼び、「人間が数学の問題解決でAIと競争するのが非常に困難になる時代に、おそらく足を踏み入れた」と警告している。
数学トップ誌にふさわしい初のAI証明が登場、これで終わりではない
要約のみ
配信元のコンテンツ権限に基づき、編集要約、要点、原文へのリンクのみを提供します。