为什么代码生成无法解决软件工程问题

文章认为 Claude Opus 4.5 之后 LLM 与智能体编程虽已实用，但软件工程的核心是把模糊的自然语言需求转成形式化代码。需求若已形式化，使用者基本已在自己写代码；若未形式化，LLM 只能猜测并填补缺口，导致失控和偏离意图。