DeepMind的封神之路：成为“逻辑盒子”里最强的神 DeepMind用LEAN来训练它的AI，这本质上，就是把它关在了一个哥德尔的“完美逻辑盒子”里。 它赌的是，虽然这个盒子有理论上限，但在触及那个上限之前，里面还有无穷无尽的空间，可以靠海量的RL（强化学习）去探索。 它的目标，是成为这个“逻辑的囚徒”之王。它要用机器的暴力，去修补、去填满这个盒子里所有人类尚未触及的角落。它追求的是一种