OpenAI、数学の新成果377件をGitHubで公開 責任ある共有を説明

OpenAIは火曜日、数学の新たな成果377件をGitHubで公開した。同社はこれに合わせてブログ記事を公開し、成果を責任を持って共有する方針を説明した。米ギズモードが報じた。

公開された論文の1件は、q-power Selmer群のコランクが素数qで0または1となる場合について、Q上の楕円曲線に対するBirch-Swinnerton-Dyer主項公式の完全な証明を主張している。

ブログ記事によると、これらの成果を生み出したモデルは、以前にNavier-Stokesの結果を出したのと同じ社内の未公開モデルである。OpenAIは科学者を最先端の能力で直接支援したい考えを示し、このモデルを責任を持って公開するよう取り組んでいると述べている。また、論文の改訂や引用のためのプロトコルも含めているという。

IASのAGMAIとの協力

OpenAIは、Institute for Advanced StudyのAdvisory Group on Mathematics and Artificial Intelligence（AGMAI）と協力し、ベストプラクティスの策定を進めていると説明した。広報のLindsay McCallum Rémy氏は、AGMAIの助言と公開提言が、今回の成果の共有方法に反映されたと述べている。

約1カ月前、同じ未公開モデルはNavier-Stokes方程式を反証する反例を生み出した。その後、別の数学者チームがAIを使って進めていた研究をOpenAIが完了させていたことが明らかになった。AGMAIは9月29日のブログ記事で、一部の最先端AIラボが広範な科学コミュニティからは利用できない独自モデルで高度な数学的問題をテストしており、それをやめるよう求めていた。OpenAIは先月下旬、AGMAIとの提携を発表している。