GPT-5 just provided a new mathematical proof in convex optimization that's correct and better than existing work. But before you get too excited, a UCLA math professor explains it's actually PhD-level work that would take a human expert a few hours - GPT-5 just did it in 30 seconds. It's not pushing mathematical boundaries, just solving complex problems extremely fast.