GPT-5-PRO CAN PROVE NEW INTERESTING MATHEMATICS

Summary from the TLDR AI newsletter

Sebastien Bubeck, an employee at OpenAI, claims that gpt-5-pro can prove new interesting mathematics. Bubeck took the first version of a paper on convex optimization with a clean open problem in it and asked gpt-5-pro to work on it. The model proved a better bound than what was in the paper. The proof is correct - the second version of the paper (already published) had already reached this conclusion.