要说 AI 为什么卯上了数学，Lean 这类工具提供的验证能力，绝对是其中一块重要拼图。Lean 的潜力远不止于此，它还能跟当下 AI 圈最火的概念扯上关系，也就是 AI 的自进化（RSI）。这套左手生成、右手验证的飞轮转起来之后，到底是能直接让 AI 智商原地爆炸，还是没转几圈就一头撞上理论天花板，目前还真没人能给出个准数。
要说 AI 为什么卯上了数学，Lean 这类工具提供的验证能力，绝对是其中一块重要拼图。Lean 的潜力远不止于此，它还能跟当下 AI 圈最火的概念扯上关系，也就是 AI 的自进化（RSI）。这套左手生成、右手验证的飞轮转起来之后，到底是能直接让 AI 智商原地爆炸，还是没转几圈就一头撞上理论天花板，目前还真没人能给出个准数。