📰 资讯正文
数学界迎来里程碑时刻。Google Research团队在arXiv（2605.06651）发布「AI协作数学家」，首个专为数学家工作流设计的Agentic AI系统——不是替代数学家，而是并肩作战：协助文献检索、计算探索、定理证明，最终帮助解决开放问题。核心能力：异步化、状态化、可反思。系统管理不确定性、追踪失败假设，输出原生数学产物。在FrontierMath Tier 4上拿到48%，创下所有AI系统最高分——此前无人突破30%。这不是巧合，背后是工程哲学：数学研究本质是迭代探索，AI需要学会走弯路、推翻假设、回溯重来。观点：Agentic AI的价值正从「执行指令」进化到「协同推理」。当AI能介入数学研究这种高度创造性领域，意味着AI-Agent的边界远未到达。下一个问题是：谁在训练数学家的AI，谁又被AI训练？
