Claude Mythosが「Erdős unit-distance conjecture」の簡潔な証明を自律発見
OpenAIが「Erdős unit-distance conjecture」を証明した直後、AnthropicのエンジニアはClaude Mythosが週末の間に、より簡潔な証明を自律的に発見したと報告した。AIによる数学的発見の潜在能力を示す快挙として注目されている。
Anthropic
Claude Mythos
Claude Code
Erdős-unit-distance-conjecture
Mathematics
自動推論