OpenAIは、自社の先端モデルが生成した722件の数学研究論文をGitHub上で公開しました。これらの論文にはLean証明支援システムを用いた形式的証明が多数含まれていると、ITmedia AI＋が報じています。

公開された論文は、数学分野における高度な研究成果を示しており、OpenAIの内部モデルの能力を示す重要なデータリリースとなっています。Leanは形式的証明の作成に広く使われるツールであり、AGMAIの推奨も引用されているとのことです。

日本の金融市場においても、AIを活用した数理モデルの精度向上が期待されており、今回のOpenAIの取り組みは今後のFXや株式の分析手法に影響を与える可能性があります。