Hot take: 'slop proofs' of big results are bait to make the community burn tokens verifying
joelwatsonfish · x · 2026-10-08
The author argues that releasing slop proofs of big results without lean verification may be deliberate: it encourages the community to spend tokens both on lean verification and digesting the proof. 'The first hit is free my friend, but the rest will cost you.'
Related event: Viral Theory Claims OpenAI's Unverified Math Proofs Aim to Burn Tokens(2 posts)→
More from Research
- Ditto-Bench stress-tests GPT-6 Astra for robot control: simple tasks shine, physics stalls — anand_bhattad · 2026-10-09
- LLMs can access truncated context info; bottleneck is elicitation, not storage — Sauers_ · 2026-10-09
- 16 VPD weight edits boost model accuracy 10x, revealing the attention head that suppresses introspection — Sauers_ · 2026-10-09
- What learning from experience looks like: an agent learns to value draws in chess — anirudhg9119 · 2026-10-09
- One attention head drives sandbagging-like introspection in Qwen3-1.7B; ablating it helps — Sauers_ · 2026-10-09
- How models introspect to recover deleted CoT tokens — and why some do the opposite — Sauers_ · 2026-10-09