IXThinker·2025-11-24 00:40

Karpathy談可驗證性決定工作去向

當業界還在爭論AGI何時到來，前特斯拉AI負責人卡帕西拋出判準：軟件1.0自動化你能指定的任務，軟件2.0則自動化你能驗證的任務，可驗證性決定工作去向。

範式躍遷

從人類窮舉規則的軟件1.0，到由模型自動生成代碼的軟件2.0，計算機首次學會自己寫程序。人類不再負責枚舉邏輯，只須給出清晰目標，讓神經網絡在巨大的可能性空間中試錯、迭代、收斂。