AI数学推理
-
Claude多智能体协作刷新黎曼猜想纪录:AI数学推理架构解析
Claude多智能体系统如何突破37年数学纪录 2026年8月,Anthropic的未发布研究版Claude组织了60个子智能体,连续运行一天半,将黎曼ζ函数零点比例下界从41.6…
-
华为小艺满分摘得IMO 2026金牌:AI数学推理迈入新纪元
IMO赛场上首次出现满分AI选手 2026年7月22日,华为官方宣布旗下AI助手小艺在国际数学奥林匹克竞赛(IMO 2026)中以满分42分摘得金牌。这场在罗马尼亚克卢日-纳波卡举…