教皇レオ14世の回勅『Magnifica Humanitas』にAI執筆の疑い

OpenAIとAnthropic、AIによる数学的難問の解決策を発表

OpenAIは指数時間仮説（ETH）の否定を含む3つの主要な数学的難問の解決策を発表した。 その後、Anthropicも独自のETH否定を発表した。 科学コミュニティでは、これらのAI生成による証明の妥当性と影響について議論が続いている。