“唉。 简直了。” LLM是Dryware的AGI，但不是Wetware的AGI。 形式语言和二进制计算机编程语言呢？