💡 LLM 是計算革命 v2 💡"軟體 1.0 自動化你可以指定的內容,軟體 2.0 自動化你可以驗證的內容" 發現多項式驗證演算法(NP 問題)的連結非常有趣,實際上所有 NP(以及更多)問題都可以自動化!