GPT-5-прорыв в математике: новое доказательство и оптимизация
GPT открывает новую математику
Себастьен Бубек рассказал, что смог найти доказательство для gpt-5-pro никем не решенной ранее задачи из статьи по выпуклой оптимизации. Модель смогла доказать новый результат и улучшила границу (до 1.5/L), что является настоящим математическим вкладом. Но в обновлённой версии статьи авторы сами полностью решили задачу (1.75/L). То есть gpt-5-pro реально придумал новое доказательство.
Надо отметить, вторая работа авторов оригинальной научной статьи оказалась более элегантной и эффективной, чем у gpt-5, но она была написана уже после, плюс подход к решению там другой.
А вот тут ребята прямо на конвеер этот процесс пытаются поставить: https://github.com/Dicklesworthstone/model_guided_research
Подписывайтесь на Telegram e/acc.