Материалы ИноСМИ содержат оценки исключительно зарубежных СМИ и не отражают позицию редакции ИноСМИ
OpenAI совершила новый научный прорыв, пишет Scientific American. Компания утверждает, что ее новая, еще не опубликованная модель ИИ решила несколько сотен сложнейших математических задач, над которой ученые долгие годы ломали голову.
Джозеф Хаулетт (Joseph Howlett)
Месяц назад компания решила одну из шести главных математических задач. Теперь говорит, что новая модель сделала куда больше — и на этот раз почти без затрат
Шлюзы открыты. Сразу после того, как новая большая языковая модель OpenAI совершила крупнейший математический прорыв за 20 лет, компания обнародовала не менее 372 групп результатов той же модели. Каждая решает или существенно продвигает важный нерешенный вопрос математики или теоретической информатики, сообщает компания.
OpenAI раскрыла результаты в репозитории на GitHub в шесть вечера по восточному времени. На то, чтобы разобрать и осмыслить этот поток, у математиков уйдут месяцы — важно понять, содержат ли доказательства новые и важные идеи или представляют собой помесь существующих приемов. Однако многие результаты уже подтверждены в Lean — языке программирования, который проверяет правильность логики доказательства, — и посему едва ли могут быть ошибочными.
Среди заявленных результатов — решение четырехмерной гипотезы Какеи, улучшения важнейших мировых компьютерных алгоритмов и реальное продвижение к самой страшной задаче математики, гипотезе Римана.
Представитель OpenAI заявил Scientific American, что новая модель, публике не раскрытая, выдала почти все результаты в ответ на единственный запрос единственному ИИ-агенту. Это резко отличается от прежнего сенсационного решения задачи Навье — Стокса усилиями 10 тысяч агентов ценой многомиллионных вычислений. Если это правда, неслыханная математическая мощь вскоре может стать доступна каждому. Но репутация OpenAI среди математиков — громкие заявления при малой прозрачности — вызывает серьезное недоверие.
"Пока и если они не назовут модель и люди не смогут воспроизвести результаты, любые заявления об одномоментном решении задач с помощью единственного агента следует считать непроверенными, — говорит Эндрю Сазерленд (Andrew Sutherland), математик из Массачусетского технологического института. — Надо требовать подтверждений". (Представитель OpenAI также сказал Scientific American, что часть результатов потребовала нескольких попыток.)
Обнародование решения задачи Навье—Стокса вышло настолько спорным, что 21 сентября компания объявила о создании независимой консультативной группы математиков. Та должна дать рекомендации о том, как ответственно публиковать результаты, порожденные искусственным интеллектом. Группа рекомендовала компаниям, публикующим такие результаты, раскрывать модель, точный запрос и время вычислений по каждому. Однако, вопреки рекомендациям, OpenAI раскрыла лишь среднее время вычислений на задачу с некоторой дополнительной статистикой — и без запросов.
Представитель OpenAI сказал нашему изданию, что команда серьезно относится к рекомендациям консультативной группы и старается их соблюдать, но компания этими рекомендациями не связана.
Рекомендации особенно критичны к компаниям с "закрытыми внутренними моделями", недоступными математикам. По словам OpenAI, компания стремится объявить модель как можно быстрее и ответственнее.
Пока разворачивался спор вокруг задачи Навье — Стокса, комментарии сотрудников OpenAI навели некоторых математиков на мысль: модель компании выдала дополнительные результаты, но та медлит с их обнародованием. Отсюда важнейший вопрос: что хуже — обрушить на общество учу необъясненных доказательств или полностью их утаить?
"Если мы хотим знать ответы на эти математические вопросы, не вижу причин просить компанию держать их от нас в секрете, — говорит математик из Торонтского университета Дэниел Литт (Daniel Litt). — Как по мне, математике это пойдет на пользу".
Между тем, знаменитый математик Теренс Тао (Terence Tao) резко критикует OpenAI и другие "передовые" лаборатории ИИ за "безумный" темп.
Такие результаты появляются чересчур быстро даже для самих лабораторий: представитель OpenAI поделился, что многие новые результаты пока не поняты математиками компании. Но замедляться там не намерены и хотят дать математикам как можно более мощный инструмент.
Более того, в OpenAI утверждают, что замедляться нельзя, поскольку эти задачи — незаменимая проверка того, что ИИ действительно умнеет. Однако для тех, кто видит в математической истине цель, а не средство, исход этой гонки предвидеть становится все сложнее.
