Claim: gpt-5-pro can prove new interesting mathematics

Claim: gpt-5-pro can prove new interesting mathematics

Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it

It proved a better bound than what is in the paper, and I checked the proof it's correct

Details below

https://x.com/SebastienBubeck/status/1958198661139009862?t=m5Mzg_cRq9lLqgrx3yIzIQ&s=19