#LEAN

𝙩𝙮≃𝙛{𝕩}^A𝕀²·ℙarad𝕚g𝕞

22小时前

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

#DeepMind #LEAN #强化学习 #人工智能 #逻辑推理