💡 LLM 是计算革命 v2 💡"软件 1.0 自动化你可以指定的内容，软件 2.0 自动化你可以验证的内容" 发现多项式验证算法（NP 问题）的链接非常吸引人，实际上所有 NP（以及更多）问题都可以被自动化！