自主多智能体数学发现挑战现有共识

剑桥、港大等实验室研究发现，赋予研究智能体完全自主性可产出评估者未要求的数学证明与推广，挑战"模型不可靠需固定脚手架"的行业共识。论文称当前模型已可被当作研究者而非组件，自主智能体将预算用于结构探索而非搜索，在定理可剪枝空间时收益更大。