Writing specifications is not always easy, but it is easier than writing the optimized implementation. And a powerful shortcut exists: an inefficient program that is obviously correct can serve as its own specification. User and AI co-write a simple model, AI writes an efficient version, and proves the two equivalent. The hard part shifts from implementation to design. That is the right kind of hard.
在这一模式下，模型可以通过视觉理解软件界面，并模拟鼠标点击、键盘输入以及应用导航等操作。这意味着 AI 不再只通过 API 调用系统，而是可以像用户一样直接操作软件界面。
If You’re All-In on USB-C。PDF资料是该领域的重要参考
Of course, there are downsides to this re-usability as well, as we’ll discuss in the next section.
，这一点在体育直播中也有详细论述
2026-03-05 00:00:00:0 宋海良委员——，推荐阅读PDF资料获取更多信息
3,989,603 features - acc=0.8911 f1=0.8974 [tn=136293 fp=18045 fn=17739 tp=156559]