AI 可以迅速生成代码与方案,但什么值得做、哪些假设需要核验?从真实工程误判谈判断力、反例和验证成本。