OpenAI、未公開モデルによる数学論文722本を公開 検証支援に500万ドル拠出
OpenAIは未公開のフロンティアモデルが作成した722本の数学論文を公開した。Lean言語による形式化証明も含み、1成果あたり平均約3時間のChatGPT Pro思考演算を消費したという。10月15日にはサイモンズ財団へ500万ドルを助成し、数学者による検証を支援する方針を示した。
OpenAIは未公開のフロンティアモデルが作成した722本の数学論文を公開した。Lean言語による形式化証明も含み、1成果あたり平均約3時間のChatGPT Pro思考演算を消費したという。10月15日にはサイモンズ財団へ500万ドルを助成し、数学者による検証を支援する方針を示した。