141,8 тыс подписчиков

Чат-бот GPT-5 компании OpenAI не смог справиться с неразрешимыми математическими задачами

20 октября20 окт

2 мин

Недавно Кевин Вейл, менеджер OpenAI в Сан-Франциско, объявил на платформе X, что модель GPT-5 «нашла решения 10 ранее нерешённых задач Эрдёша». Это заявление взбудоражило сообщество ИИ. Предполагалось, что новая модель ИИ способна самостоятельно генерировать новые математические доказательства — важная веха в развитии творческих исследовательских возможностей ИИ.

Однако математик Томас Блум опроверг заявление представителя OpenAI. Блум руководит сайтом erdosproblems.com, на который, по-видимому, ссылались сотрудники OpenAI. Блум назвал эти заявления «драматическим искажением». Статус «открыто» для задач на его сайте означал лишь то, что он лично не знал решения, а не то, что эти самые задачи считались научно нерешёнными.

На самом деле, модель GPT-5 не разработала никаких новых решений. Вместо этого она просто выявила существующие, но труднодоступные исследования по этой тематике. Как сообщает журнал The Decoder, одно из найденных решений было обнаружено в публикации 2003 года.

Ведущие представители конкурирующих компаний в области ИИ отреагировали на этот случай. Демис Хассабис, генеральный директор Google Deepmind в Лондоне, назвал инцидент «позорным». Впоследствии сотрудники OpenAI удалили первоначальные сообщения о важном прорыве своего ИИ. Остаётся открытым вопрос, почему заявления не были проверены внутри компании перед публикацией.

Этот инцидент затмевает реальный, значительный успех новой модели: способность GPT-5 искать информацию в разрозненной и терминологически противоречивой технической литературе, охватывающей десятилетия, и находить релевантные, но забытые решения.

Известный математик Теренс Тао видит именно в этом наибольший потенциал ИИ на сегодняшний день. ИИ может значительно ускорить выполнение таких утомительных задач, как исследование литературы. В этом контексте Тао говорил о возможной «индустриализации» математики, где ИИ будет выступать в качестве помощника.

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