AnthropicのClaude Mythosが、数十年前からあるErdős問題を「かわいくてシンプルな証明」で解決したと報告されています。

このAIモデルは週末に解決策を見つけ、数学研究におけるAIの巨大な可能性を示しました。

AI生成：要約はリンク先の情報源をもとにAIが作成しています。 AIの利用について