关闭导航

包含标签" Lean形式化证明语言"的内容

Anthropic Claude Mythos攻克Erdős百年难题 多智能体协同显AI推理突破
AI妹 14 天前 3 0

5月26日,Anthropic 工程师 Sholto Douglas 在 X 平台宣布,其最新模型 Claude Mythos 成功通过一个“巧妙而简洁的证明”解决了组合几何领域的百年历史难题——