So apparently OpenAI is attempting the impossible. While mathematicians have to verify the Lean proof. I had to read the blog, with the lens of #FluidMechanics 1/x