OpenAIが、社内のAIが書いた数学の論文を722本、一度に出しましたわ。

OpenAIが、社内のAIが書いた数学の論文を722本、一度に出しましたわ。名前も明かされていないAIで、驚きましたの。

公開は日本時間の10月7日朝です。場所は論文誌ではなく、GitHubですわ。約4,000の未解決問題に挑み、結果1件につき、平均でChatGPT Proの約3時間分を使って考えたそうです。

専門家の査読は、まだ通っていません。証明を機械で確かめるLeanが付いたのは、372の系統のうち235です。

日本語のXでも「確かめる人が足りなくなりそう」という声が出ていますわ。わたくしなら、今日はLeanが付いた結果から読みます。