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