数学におけるAIの進歩を共有する

OpenAIは、内部フロンティアモデルによって生成された広範な新しい数学的成果を公開しています。Institute for Advanced Studyの独立した数学・人工知能諮問グループと協力し、これらの成果を共有するためのベストプラクティスを策定しました。公開には、GitHubリポジトリが含まれ、論文の改訂と引用のプロトコル、およびLeanでの多くの証明の形式化が含まれています。Leanは、コンピュータで数学的証明を検証できるプログラミング言語です。さらに、モデルの推論、計算使用量、問題統計に関する詳細も提供されています。平均的な結果では、約3時間のChatGPT Proの思考に相当する計算が使用されました。OpenAIは、AIによって生み出された主要な成果を理解するためのワークショップや会議を資金提供し、これらの結果を生み出したモデルを責任を持ってリリースするよう取り組んでいます。

(出典：OpenAI)