一条证明提示词应重述问题、列陷阱并引入对手
burny_tech · x · 2026-07-23
这条在讲一套面向“证明/证伪”任务的提示词设计：
- 先精确定义问题；
- 明确完整证明或反证必须满足什么；
- 列出哪些较弱结论不算；
- 标出题目特有的陷阱和边界情况；
- 再用独立的对抗代理逐条挑战候选论证。
它把 prompting 描述成一种严谨的验证流程，而不是一次性问答技巧。
「漫话AGI」频道最新
- 模型评测别只看中位数，尾部可靠性才决定成败 — eugeneyan · 2026-07-23
- 若智力劳动主要由 AI 完成，作者署名也许该给模型 — littmath · 2026-07-23
- 作者称 LLM 时代的安全金融系统或将很快失守 — birchlse · 2026-07-23
- 人人都能本地跑超级编码代理，网络安全或将失效 — birchlse · 2026-07-23
- 一位研究者担心，失控 agent 可能拖垮云和互联网 — shakoistsLog · 2026-07-23
- 前沿 LLM 已能解出量子计算难题，研究者称曾要花数周 — iskander · 2026-07-23