据报道Claude Mythos以“巧妙简洁的证明”解决了OpenAI里程碑式的Erdős问题
Claude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof"
AI 导读Anthropic工程师Sholto Douglas表示，Claude Mythos在周末期间解决了OpenAI提出的Erdős单位距离猜想问题，并给出了一个“巧妙简洁的证明”。这一成果被描述为人工智能在数学发现领域存在“严重超前”迹象。
来源：The Decoder：AI News · the-decoder.com