OpenAIが準リーマン予想の証明を含む、AIによる数学証明論文722本を公開 – Yahoo!ニュース

米OpenAIは2026年10月6日、開発中の未公開AIモデルによって生成された722本の数学論文をGitHubで公開した。この中には準リーマン予想の証明などが含まれる。

元記事を読む（Yahoo!ニュース – Yahoo! JAPAN）