The universal cover of a doughnut
人 民 网 版 权 所 有 ，未 经 书 面 授 权 禁 止 使 用
。雷电模拟器官方版本下载对此有专业解读
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.，详情可参考91视频
如果你在两年前问一个硅谷投资人，AI最核心的竞争壁垒是什么，答案几乎是一致的：算力。谁有更多的GPU，谁就有更强的模型，谁就赢了。