ВсеПолитикаОбществоПроисшествияКонфликтыПреступность
Khosla’s imagined future
，详情可参考wps下载
蔚来先进制造新桥二工厂总装车间内，座椅、保险杠等汽车零部件刚从合作伙伴工厂下线，便经400米自动化轨道直送生产线。“以前这些大件都要跨省采购、运输。”蔚来先进制造新桥二工厂负责人殷亮指着这条空中通道说。
ITmedia�̓A�C�e�B���f�B�A�������Ђ̓o�^���W�ł��B
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.