Sebastien Bubeck
Sebastien Bubeck @SebastienBubeck · x · 2025-08-20 · ★★★ · archived
Cited as a source by: 2025-08-20-gpt-5-pro-convex-optimization-proof
Summary
Archived text
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
Media: https://pbs.twimg.com/media/Gyzo2H4aYAAbbHQ.png
likes 8029 · replies 311 (at fetch time)
Archived 2026-09-29 via syndication.
Archived text
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
Media: https://pbs.twimg.com/media/Gyzo2H4aYAAbbHQ.png
likes 8029 · replies 311 (at fetch time)
Archived 2026-09-29 via syndication.
Related events
- GPT-5 Pro proves an improved convex-optimisation bound, which humans had already surpassed 2025-08-20
All posts · id: x-sebastienbubeck-1958198661139009862