标签 > 姚期智、袁洋团队与杨植麟等｜从 “探索” 到 “证明”：让 AI 像牛顿一样思考

姚期智、袁洋清华团队联合杨植麟等研究者推出代数世界模型 AWM，目标解决现有大模型只会拟合数据、很难自主发现普适规律的短板，让 AI