"Are you sure?" — "I verified it in Lean" — "OK but are you sure?"
gautamcgoel · x · 2026-10-28
A funny exchange circulating in the AI/math community: when someone kept pressing "Are you sure?" about a result, the reply was that it had already been formally verified in Lean — and the skeptic still asked, "OK but are you sure?"
The joke lands on a real tension: even machine-checked formal proofs don't fully cure the mathematician's instinct to double-check everything.
More from Fun
- Claude Code Compacts a 264-Minute Chat, Prompting 'When Do You Just Give Up?' — yoobinray · 2026-10-28
- Critic Visualizes Eliezer Yudkowsky's Text with 'Gnostic Harness' to Expose Rhetoric — ryunuck · 2026-10-28
- benhylak mocks MCP maximalism: 'every product should be headless — except ours' — farooqib · 2026-10-28
- 'Qwen neuron' discourse goes mainstream; tszzl hails it as a landmark for ML — tszzl · 2026-10-28
- BPC-157: 200+ studies show it's a wonder drug — for rodents — EricTopol · 2026-10-28
- Blender screenshot with 3.7M triangles sparks AI-circle 'oh dear' moment — repligate · 2026-10-28