GPT-5 invents a new proof

GPT-5 just casually did new mathematics.

Sebastien Bubeck gave it an open problem from convex optimization, something humans had only partially solved. GPT-5-Pro sat down, reasoned for 17 minutes, and produced a correct proof improving the known bound from 1/L all the way to… https://t.co/KNeZv7jr7d pic.twitter.com/QJ3pdZKtzH

— VraserX e/acc (@VraserX) August 20, 2025