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