AnthropicのClaude Mythosが、OpenAIが解決したエルデシュ問題を「シンプルで優雅な証明」で解いたと報告される

OpenAIがエルデシュの単位距離予想を反証した直後、AnthropicがClaude Mythosで同じ問題を解くことができたと報告。エンジニアのSholto Douglasは、Mythosが1946年の予想を「シンプルで優雅な証明」で解いたと述べた。

これは「深刻な過剰能力」の兆候を示唆しており、AI駆動の数学発見にはまだ未開発の能力が存在する可能性を示している。

Claude Mythosは推論（AIが答えを導き出す処理）の能力において#2のオープンウェイトモデルとして位置付けられている。