A proof prompt should restate the problem, list traps, and call in adversaries
burny_tech · x · 2026-07-23
The prompt design is aimed at proof and disproof tasks:
- Restate the problem precisely.
- Specify what a complete proof or disproof must establish.
- List weaker results that should not count.
- Identify problem-specific traps and edge cases.
- Use independent adversarial agents to challenge every candidate argument.
The post frames prompting as a rigorous verification workflow rather than a single-shot answer pattern.
More from AGI Musings
- AI folks, stop saying "biology" when you mean drug development — KevinKaichuang · 2026-10-26
- Anthropic: junior tech hires fell from 27% to 9% as agent hours hit 6x employee hours — thione · 2026-10-26
- Anthropic's Jascha: you may have only 1–5 years of intellectual contribution before AGI — GabGarrett · 2026-10-26
- Anthropic's S-1 Shows $6.6M Revenue Per Employee as AI Agents Log 6x Human Hours — jacalulu · 2026-10-26
- Ben Recht: The world needs a truly open language model, and it's easier to build than you think — beenwrekt · 2026-10-26
- Which jobs fall to AI first? The rule: any layer whose rules can be written as code — FinanceYF5 · 2026-10-26