Новая модель ИИ решила сотни сложнейших математических задач за несколько часов. Часть ответов проверена компьютером и не содержит ошибок. Однако ученые настроены скептически. Они напомнили компании о недавней оплошности, когда модель выдала уже существующие решения за новые. Подробнее об этом - Мария Глазунова. Существуют сотни открытых математических задач - ученые тратят годы, пробуют новые методы решения, но ответ находится не всегда. Однако, представители компании OpenAI, заявили, что их новая модель нашла решения для самых сложных вопросов, которые считались нерешаемыми, за несколько часов. Чтобы получить такой результат внутренней модели дали 4 тысячи разных математических задач. На решение каждой у ИИ уходило около трех часов. В итоге компания опубликовала 722 записи с решениями, которые ученые не могли найти десятилетиями. Искусственному интеллекту удалось найти ответ для четырехмерной гипотезы Какея, известной задачи из геометрии. Предложить ряд улучшений для важнейших компьютерных алгоритмов и найти новое доказательство для задачи Хадвигера - Нельсона. А также продвинуться в решении гипотезы Римана - самой сложной задачи в математике. Часть этих доказательств уже формально проверена через Lean - язык программирования, который проверяет каждый шаг решения и их логику. Однако во всей этой истории есть одно но. Доказательств того, что все эти решения и улучшения новые и действительно работают - нет. Сами ученые отнеслись к новости скептически, и даже проверка компьютером их не убедила. Их позиция простая: пока модель не названа и результаты не воспроизведены, любые заявления о «мгновенном решении задач» - непроверенные. И такая позиция вполне обоснована. Компания OpenAI уже делала похожие заявления. Тогда модель решила десять открытых задач из списка Пола Эрдёша. Но позже выяснилось, что они были решены еще в 2003 году. Модель по ошибке приняла их за открытые и просто предложила уже готовые ответы. Получается, что все решения, которые предлагает новая модель, придется проверять самим ученым. Им нужно понять, содержат ли доказательства новые концепции или представляют собой смесь существующих приемов. По словам математиков, на это могут уйти годы. Больше всего вопросов у ученых к еще одному заявлению. Уравнения Навье-Стокса описывают движение жидкостей и газов. Они используются везде: от проектирования самолетов до прогноза погоды. Это одна из семи задач тысячелетия. За ее решение обещают миллион долларов. В сентябре OpenAI заявила, что ее модель фактически решила задачу, показав, что сингулярность возможна. Чтобы доказать научному сообществу реальность происходящего, компании даже пришлось собрать независимую группу математиков. Они, в свою очередь, советовали опубликовать все данные: модель, которая производила подсчеты, формулировку запроса, точное время, за которое осуществлялись вычисления. Но, компания не прислушалась и сообщила только среднее время на задачу и намекнула, что у них есть дополнительные результаты. Такая позиция разработчиков только оттолкнула ученых. Многие из них считают, что раз уж модель получила ответ, не стоит его утаивать - любое решение или хотя бы новое направление теории могут быть полезны. Есть и те, кто считает, что разработчики берут на себя слишком много. Например, один из самых известных математиков современности Теренс Тао заявил, что самая полезная роль ИИ - это не решать великие задачи, а выполнять рутинную работу: искать литературу, проверять ссылки и систематизировать данные. В ответ на это, представители компании объясняют - у них нет цели научить искусственный интеллект решать сложные задачи, все это делается в первую очередь для того, чтобы проверить на сколько модель продвинулась. Они честно признались: многие из полученных результатов не поняты даже математиками самой компании. Но останавливаться они не планируют и только наращивают темпы, чтобы создать мощнейший инструмент для науки.