bluesky — Matthew Somerville — 7 Oct 2026
Will “The Lean proof that OpenAI provided isn’t the same as their printed proof, so who knows if any of it is actually r…
#ai-mathematics #formal-verification #proof-assistant
Will “The Lean proof that OpenAI provided isn’t the same as their printed proof, so who knows if any of it is actually right” get as much publicity as the original PR, I wonder.
The final 20% is 80% of the work. Whether it’s a website, a Photoshop knock-off, or a Millennium prize problem