OpenAIは、長年プロの数学者に挑戦してきた問題に関する作業を含む、内部フロンティアAIモデルによって生成された数学的研究の大規模なコレクションをリリースしました。
10月6日(水)に発表した結果は、数学の幅広い範囲をカバーし、研究者によるスカルティニーのために公開されていると発表しました。
パブリックコレクションには、OpenAIの開発者コミュニティによると、372関連の結果の家族に組織されている722の原稿が含まれています。 約4,000の数学的問題を含む評価から生まれた作品。
Verge は、未発表のフロンティアモデルによって生成された何百もの数学的結果に収まると報告しています。 しかし、出版物は、すべての主張がすぐに確立された数学的事実として扱われるべきを意味するものではありません。 研究者は、証拠を調べ、個々の結果の重要性とノベルティを決定する必要があります。
特に重要な特徴は、OpenAIは、コンピュータによって数学的な証拠が確認できるプログラミング言語であるLeanを使用して多くの証拠の正式化を提供したことです。 会社は、追加の正式化が時間をかけて追加されると言います。
OpenAIは、関与するコンピューティングの顕著な測定も明らかにしました。 平均して、各結果はChatGPTの約3時間相当の計算が必要 社内モデルを使ったプロ思考
リリースは、AIの数学に貢献するための能力について、ますます劇的な主張に従います。 9月、OpenAIは、同じ広範な研究の努力は、100以上の長期オープンの問題を解決していたと述べ、そのような発見が見直し、伝達されるべきかどうかについて、同社が独立したグループで動作するように求めた。
そのアドバイザリーグループは、スタンフォード、ハーバード、オックスフォード、ケンブリッジ、バークレー、アドバンストスタディ研究所を含む機関から数学者を含みます。 その役割は、単にOpenAIの仕事を支持するだけでなく、独自に意義、研究基準および責任ある開示を助言するものではありません。
AIが困難な数学の質問に答えることができるかどうかを越えて大きい質問は今行きます。
独立した数学者は、最終的にこの作品の重要な部分を検証する場合、AIが人間が既に知らなかった数学を定期的に発見できるかどうかは、新しいフロンティアかもしれません。