ティモシー・ガワーズ

AI・テクノロジー

AIが80年来の数学難問を自力で反証――エルデシュの「単位距離予想」が崩れた

この記事には広告(Amazon アソシエイトのリンク)を含みます。AIが、80年ものあいだ誰も崩せなかった数学の難問を、自力で解いてしまったという話です。2026年5月20日、OpenAIは、数学専用に作ったわけではない汎用の推論モデルが、...