登录

当前标签：Erdős]

断网解题，Claude Mythos推翻Erdős 80年猜想，比OpenAI更短更漂亮

断网解题，Claude Mythos推翻Erdős 80年猜想，比OpenAI更短更漂亮

人类级数学猜想被AI连续攻克：Antropic的Claude Mythos以更短更优雅的证明推翻Erdős单位距离猜想，而OpenAI此前用125页思维链才勉强完成。