关键词: AI,智能体,LeanAgent,AI数学,AI科研

诺贝尔物理学奖和化学奖被AI「包圆」后，人们再次确信：基础科学研究的范式，已经被AI从根本上改变。