タグ「定理証明」の記事

OpenAIが377件のAI数学成果を一挙公開：準リーマン予想、行列乗算の指数は2.25に

OpenAIは、内部のフロンティアモデルが生成した数学成果の集成を公開した。722本の原稿と372の「結果ファミリー」で、数論、代数、位相、論理、理論計算機科学に及ぶ。モデルは約4000の未解決数学問題に取り組み、残った成果が整理・公開されたという。