データ · 2026年10月10日
OpenAIがGitHubに数学問題の解決策を公開
OpenAIはGitHubにおいて、人工知能を用いて得られた数学問題の解決策や証明を数百件公開した。これは、同社が8月に数学者たちと行った会議の後に続くもので、科学者たちはOpenAIに対し、結果を適切な科学的出版物として詳細な方法論と証明の説明を伴う形で発表するよう求めていた。
会議では、約40名の数学者が集まり、人工知能が人間を超える能力を持つ状況において、得られた結果の発表方法について議論した。参加者は、結果を科学論文の形式で詳細に説明することを提案したが、OpenAIはその提案に従わず、GitHubに数百件の結果を公開することを選択した。
OpenAIはGitHub上にMathという特別なリポジトリを作成し、数学問題解決に関する資料を公開している。このリポジトリは、伝統的な科学出版物に求められるレベルの方法論の説明や学術的な議論を提供するものではない。数学者たちは、GitHubでの公開が科学的な透明性を欠くことに懸念を示している。
9月には、開発者たちが「千年問題」に取り組むために数千のAIエージェントを使用し、これにより問題が悪化した。数学者たちは、結果が適切に評価されることを求めており、OpenAIの行動が集団的な科学的努力を軽視していると感じている。OpenAIは数学と人工知能に関するコンサルタティブグループを設立したが、数学者たちは実質的な変化が見られないと指摘している。