每天听简报，了解最新科技、AI、软件资讯
研究团队组织十个高级智能体通过协作留言板协同攻关，在经典图论最短路径问题上推导出了渐进复杂度更优的全新算法。智能体集群自主分工、共享推演线索并展开多轮交叉同行评审，不仅在特定图密度下打破了经典算法的渐进上界，更利用交互式证明助手完成了严密的形式化机器检验。学术社区评价指出，尽管巨大常数因子使得该成果暂未带来工程实测提速，但由多智能体自主推演纯数学定理的研究范式，正在让人类科学探索迎来划时代的范式检验。
进度保存在本设备 · 登录同步