Erdős問題– tag –

AnthropicのClaude Mythosが、OpenAIのErdős問題を「かわいくシンプルな証明」で解決したと報告されています。この成果は、AIによる数学の発見における新たな可能性を示唆しています。この記事では、Claude Mythosがどのようにこの問題に取り組み、従来のアプローチとの違いを探ります。