假设削弱了属性
本文通过逻辑推理阐述了"添加假设会使系统属性变弱"的核心观点。作者用形式化方法说明，一个无假设的属性（如"系统能正确解析有效JSON"）比带假设的属性（如"仅当输入为ASCII时系统能正确解析有效JSON"）更强，因为后者只在假设成立时才保证正确性。文章还探讨了我们为何需要引入假设的三个原因：属性本身无法满足、成本过高、或难以验证。最后指出，检验假设是否成立通常是一个独立且更复杂的问题。
相关报道
Prompts for AI coding tools are a form of technical debt that decays silently with each model upgrade, unlike code. The author advises against investing heavily in bespoke agentic setups, recommending instead using third-party tools with minimal configuration and keeping custom prompts limited to concrete project facts.
Gary Marcus scrutinizes recent claims from OpenAI and Anthropic, urging readers to examine the underlying details and math behind their headline-grabbing announcements rather than taking them at face value.
The article argues that prompts used for AI tools like large language models are a form of technical debt, as they require ongoing maintenance, are poorly documented, and can break silently when underlying models change, leading to unpredictable costs and system fragility.