ITmedia AI+
Original published:
OpenAI、社内AIがリーマン予想の関連難問を証明と主張 論文722本をGitHubで公開
AI summary
Editorial policyOpenAI revealed that it has published 722 mathematical results generated by its frontier models on GitHub, many of which include formal proofs using the Lean proof assistant.
Key points
- •722 mathematical results generated by internal frontier models have been published on GitHub.
- •Many of the results include formal proofs using the Lean proof assistant.
- •Referencing recommendations from the independent organization AGMAI, summaries of computational complexity and reasoning processes are also disclosed.