OpenAI対イーロン・マスク訴訟、陪審員がOpenAI勝訴の評決

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

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