TAG:Erdős猜想
Anthropic 推出 Claude Mythos，以简明证明攻克 Erdős 数学猜想
Anthropic最新模型Claude Mythos通过巧妙而简洁的证明攻克了组合几何领域的百年难题Erdős单位距离猜想，紧随OpenAI的GPT-5.5之后，标志着AI在纯数学发现领域的竞争白热化。文章还介绍了智能体协同范式、纯大语言模型与符号推理系统的争议，以及AI向具备深度推理能力的自主智能体时代的演进。
0 
0 
OpenAI推理模型突破性进展：AI成功反驳Erdős单位距离猜想
OpenAI的推理模型在数学领域取得里程碑式突破，成功反驳了困扰数学界近80年的Erdős单位距离猜想。该模型通过原创性数论方法，自主构建新型点集构造方案，证明单位距离对数超出人类预期上限。这一成果经过多位数学家验证，展示了AI在长链逻辑推理和原创研究方面的能力，标志着AI从辅助工具进化为研究伙伴，对材料科学、工程通信等领域具有广泛应用价值。
美股三大指数震荡整理，芯片股走高，光通信板块大涨
2026-05-11
0 浏览
多空胶着恒指震荡整理，AI景气外溢主导行情波动
2026-05-11
0 浏览
宠物AI公司PurrPurr获阿尔法公社投资 首年GMV目标5000万
2026-05-11
0 浏览
隆源股份业绩说明会回应今年新能源汽车零部件领域新客户洽谈中
2026-05-11
0 浏览
中国品牌市占率达75%，4月我国汽车销量约252.6万辆，新能源汽车出口贡献度近五成
2026-05-11
0 浏览
4月汽车出口增长51% 国内零售下跌超20%
2026-05-11
0 浏览
4月全国新能源汽车渗透率历史首次突破60%，燃油车零售同比暴跌37%
2026-05-11
0 浏览
港股复盘：强势翻红 芯片概念股冲高回落 短期风险需警惕
2026-05-11
0 浏览
申昊科技拟设具身智能子公司 加码人形机器人业务
2026-05-11
0 浏览
