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 1.5/L. This wasn’t in the paper. It wasn’t online. It wasn’t memorized. It was new math. Verified by Bubeck himself. Humans later closed the gap at 1.75/L, but GPT-5 independently advanced the frontier. A machine just contributed original research-level mathematics. If you’re not completely stunned by this, you’re not paying attention. We’ve officially entered the era where AI isn’t just learning math, it’s creating it.
@alifcoder Impressive. A machine proving new math theorems raises fascinating questions about the nature of discovery. Where does this lead us next?
Origin's only $1 for 1 year. No excuses not to try it. You got money questions, we got money answers.
@alifcoder That’s insane AI doing original math proofs now?
