OpenAI、AI生成の数学的成果400件近くを公開

OpenAIは、700本以上の原稿にまたがる約400件のAI生成による数学的成果をGitHub上で公開した。The Vergeが報じた。

成果は組み合わせ論、幾何学の複数の分野、数論、理論計算機科学、代数、トポロジー、確率論、統計力学、数理物理学に及ぶ。

OpenAIは、成果の検証は段階的に進んでおり、多くの原稿は形式化されているがすべてではないと認めた。719本の原稿のうち300件の主要な成果が形式化されており、これは約42パーセントにあたるという。

同社は結果を収めたGitHubリポジトリの閲覧方法についてのガイダンスも公開した。形式化が追加で得られ次第、リポジトリを更新するとしている。

数学者の反応

公開後、The Vergeとの会話で数学者らは、OpenAIが公開した内容を単に理解するだけでも数年かかる可能性があると述べた。約40ページの目次と要約を読み通すのに1時間近くかかったという数学者も複数いた。インペリアル・カレッジ・ロンドンの数学教授Kevin Buzzardは、代数数論における多数の定理を確認したが、すぐに際立ったのは約6件のみだったと述べた。