Исследователь OpenAI Себастьен Бюбек заявил, что gpt-5-pro может доказать новые интересные математические задачи. Доказательство: Себастьен Бюбек взял статью с четкой открытой задачей по выпуклой оптимизации и попросил gpt-5-pro решить ее. Он получил границу, которая лучше, чем в статье, и Себастьен Бюбек проверил, что доказательство верно. Исходный текст: