Себастьян Бубек, исследователь из OpenAI, поделился своим опытом использования GPT-5 для решения сложной математической задачи. По его словам, модель не только разработала путь решения, но и провела симуляцию для проверки формулы, а затем написала полное доказательство. Весь процесс занял всего несколько часов, тогда как раньше на это уходило около месяца. Бубек назвал результат "самым впечатляющим выходом LLM" на сегодняшний день. Это не первый случай, когда генеративный ИИ демонстрирует свою эффективность в математике. Недавно математик Теренс Тао сообщил, что ИИ помог ему сэкономить несколько часов работы, проверив теоретические предположения.
