Read news on Lean proof vibe with our app.
Read more in the app
We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT
