💡 LLMはコンピューティング革命v2です 💡 「ソフトウェア1.0は指定できることを自動化し、ソフトウェア2.0は検証可能なことを自動化する」 多項式検証アルゴリズム(NP問題)へのリンクはとても興味深いです。実質的にすべてのNP(およびそれ以上の)問題を自動化できます!