AIが数学の研究結果を大量公開。その答えを誰が確かめる？

OpenAIは10月6日、開発中のAIが出した数学の研究結果を公開した。長年解けなかった問題に関する論文も含まれる。世界の数学者やAIコミュニティで議論が続き、10月11日にも新たな投稿に反応が集まっている。 研究結果はGitHubで公開され、論文の改訂や引用の方法も示された。一部には、コンピューターで証明の手順を確認できるデータが付いている。OpenAIは、結果を得るために使った計算量や、AIの考え方の要約も共有した。 同社によると、結果の多くはまだ外部の研究者が確かめている途中だ。公開された量の大きさと、答えの確かさは分けて読む必要がある。 今回の動きが面白いのは、AIが一つの問題に答えた話ではなく、多くの候補を一度に研究者へ渡したことだ。研究者は中身を読み、正しさを調べ、先の研究へつなげられる。 AIが新しい答えを作る速さに、確かめ、理解し、共有する方法が追いつくか。数学の研究の進め方そのものを考えるきっかけになっている。