一、案例背景
2026年8月,一则来自第一财经的新闻引发了科技与学术界的广泛关注:尽管人工智能公司Anthropic未能成功证明数学界的“圣杯”黎曼猜想,但其采用的全新科研范式——由60个AI子智能体构成的协作网络——在多项数学与物理难题的攻关中取得了突破性进展,打破了多项科研纪录。这一事件标志着AI for Science(AI4S)从2026年的战略口号正式转变为真实的产出线。
Anthropic作为全球领先的人工智能安全与研发公司,总部位于美国旧金山,由前OpenAI研究副总裁Dario Amodei等人于2021年创立。公司以“AI安全”为核心使命,致力于构建可靠、可解释、可控的人工智能系统。截至2026年,Anthropic已累计融资超过150亿美元,其旗舰模型Claude系列在全球拥有超过2亿用户,估值一度突破1800亿美元。
在传统科研范式面临效率瓶颈的背景下,Anthropic于2025年底启动了“协作智能体科研计划”(Collaborative Agent Research Initiative, CRI)。该计划的核心创新在于:不再是让单个超级AI模型独立解题,而是构建一个由60个具有不同“专业分工”的子智能体(sub-agents)组成的科研协作网络。每个子智能体被赋予特定的角色——包括问题分解者、文献检索者、定理证明者、反例搜寻者、验证审核者、跨域联想者等——通过内部通信协议进行信息交换与任务协作。
在此次黎曼猜想攻关中,Anthropic的智能体系统虽未能完成最终证明,但在过程中解决了三个此前悬而未决的数学子问题,并提出了两种全新的ζ函数近似方法,相关成果已在预印本平台发表。更值得注意的是,该系统在另一项关于“高维量子纠缠态分类”的物理难题中取得了突破,成果被《自然·物理》子刊接收。据统计,该系统的科研产出效率达到人类顶尖科研团队(以菲尔兹奖得主领衔的团队为参照)的17倍,而单课题研究成本仅为传统模式的1/12。
……