Gemini会写KiCAD 10的规则，没遇到过出错的情况；换句话说AI干declarative语言效率和质量都非常好，而且人不需要掌握，手册给AI学习就够了。这个绝对是比编程语言更加重要的，因为component model是很容易用declarative语言wire在一起的。这个方向可以让大量的工业设计只要自然语言就可以完成，人类只需要负责spec就行了，工业上类似PLC组态那种模式其实很容易用模型检查保证设计满足spec的。这个虽然是很土的技术，但实际上用途比编程语言广泛，因为很多MCU多给flash和sram就行了，虽然硬件多了点成本，但编程会简单多了。