简单讲，要做L3，需要先做L2积累数据。那么要做L4，也一样依赖L3的数据。技术上他们是一脉相承的，不存在一口就能吃个胖子的技术路线。
Go to technology
，详情可参考Line官方版本下载
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.
need to be made compatible with how typing currently works or we’d