Comment by aeternum

Yes, even many of the proofs seem to be extremely long and complicated. The Navier-Stokes proof is 57 pages of very dense math and a pretty crazy amount of code: https://github.com/openai/NavierStokesAndEuler/tree/main/Nav...

Given the close relationship between compression and intelligence, I'm somewhat surprised at how poorly the cutting edge models do with being concise.