别再让 AI 瞎试错了，清华这招让它学会证明！183 关全通关只用人类 43% 步数！清华姚期智团队让 AI 像牛顿一样推导世界

大白话简单说，以前让 AI 玩一个没规则、没目标的陌生游戏，它只能靠试错，把看到的现象记成一大堆规则，像第谷记满观测数据却推不出定律。清华团队这次换了个思路：让 AI 先把现象写成 Python 代码当假设，再用新观察不断修正，最后用 Lean 4 把规律变成机器能自动检查的数学证明。这样 AI 不只会玩，还能说清「为什么这关无解、差一步就能赢」。

对你意味着对做 AI 智能体、自动推理和科研辅助的人是个信号：AI 从「试错」走向「建模+证明」，未来执行任务时能给出可验证的判断，而不是瞎猜。