Find XO: OpenAIが数学問題の解決過程を含む研究論文のリポジトリを公開 (github.com)

- OpenAI内部のAIモデルが生成した数学論文と証明資料を集めて公開したリポジトリには、様々な数学分野ごとの研究成果が含まれている。 - リポジトリには719本の論文が372のグループに分けて整理されており、約42%の成果はLeanという形式的証明システムで検証された。 - 各研究成果は平均3時間分のChatGPT Proモデルによる計算を通じて約4,000の数学問題を解きながら導かれ、一部は人手で内容が調整された。 - 形式的に証明されていない論文は誤りの可能性があるため修正作業が進行中で、将来的にはコミュニティベースでの公開も検討されている。