[ME AI]() メッセージ、AnthropicのエンジニアSholto Douglasは、Claude Mythosが週末にOpenAIが提起したErdős距離猜想問題を解決し、「巧妙で簡潔な証明」を提供したと述べました。この成果は、人工知能が数学発見の分野で「深刻な先行」兆候を示していると説明されています。(出典:AiHot)
報告によると、Claude Mythosは「巧妙で簡潔な証明」により、OpenAIのマイルストーンとなるErdős問題を解決した。