@__alpoge__: 上周末我验证了一件显而易见的事,即 Mythos 是否能够解决 Erdos 单位距离问题,……
摘要
上周末,Mythos 在 Erdos 单位距离问题(问题 #90)上得到了测试,并成功解决了它。
上周末我检查了一个显而易见的事情,即 Mythos 是否能够解决 Erdos 单位距离问题,也就是 Erdos 问题 #90。答案是:是的。
相似文章
Mythos (使用 Claude 代码) 也解决了最近由 GPT 5.5 处理的单位距离问题,并给出了一个“可爱且简单的证明”。
Mythos 使用 Claude 代码解决了最近由 GPT 5.5 处理的单位距离问题,并给出了一个可爱且简单的证明。
Claude Mythos
Anthropic的新AI模型Claude Mythos,使用Claude Code框架,据报道在OpenAI先前证伪之后,通过找到替代的简单证明,解决了Erdős的不同距离问题。这展示了LLMs进行独立科学突破的能力。
@wjmzbmr1: 1/ 今天,@OpenAI 的一个内部模型反驳了 Erdős 的单位距离猜想——一个可以毫不犹豫推荐给《数学年鉴》的研究成果……
OpenAI 的一个内部模型推翻了 Erdős 的单位距离猜想,解决了一个著名的数学难题,展示了 AI 在高水平研究中做出贡献的潜力。
OpenAI模型解决困扰人类80年的著名数学难题
OpenAI的AI模型推翻了埃尔德什单位距离猜想(Erdős unit distance conjecture),这是一个困扰数学家80年的离散几何著名难题,标志着AI数学领域的里程碑。
OpenAI声称AI取得突破,称其模型解决了80年历史的数学难题
OpenAI声称其未发布的推理模型解决了数学中具有80年历史的平面单位距离问题,并产生了一个优于传统基于网格排列的原始证明。