GPT-5-Pro AI Proves New Mathematical Bound, Surpassing Published Paper in Convex Optimization

Sebastien Bubeck on X: "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://t.co/eNEGqyZG0L" / X

PostConversationSebastien Bubeck@SebastienBubeckClaim: 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.11:05 AM · Aug 20, 20256.5M Views...