logo257x50
Rate (CAD)
USD 0.70
EUR 0.63
BTC/USD 82,644
 
Today
20 °C  Today weather
Tomorrow
14 °C  Tomorrow weather
 

OpenAI объявила, что ее ИИ-модель решила более 350 математических задач. Над многими из них ведущие математики работали годами. Теперь они ощущают, что им придется изобретать свою профессию заново

0
OpenAI, разработчик нейросети Chat GPT, 6 октября опубликовал на GitHub решения более чем 350 открытых задач из большинства областей математики. Компания заявила, что их нашла ее новая модель, незадолго до этого решившая одну из математических «задач тысячелетия» — уравнения Навье — Стокса. Математиков, которые еще не успели полностью осмыслить первое открытие, новые результаты повергли в шок. Многие осознают, что их любимая работа больше не будет прежней. «Медуза» рассказывает о реакции математического сообщества на примере лауреата Филдсовской премии
Уго Дюминиля-Копена.

OpenAI рассказала 21 сентября, что ее новая, пока не выпущенная на рынок модель, решила множество давно поставленных математических задач. Это та же модель, которая недавно решила уравнения Навье — Стокса, одну из семи особенно важных математических проблем, названных «задачами тысячелетия». За решение каждой из них предусмотрена премия в миллион долларов.
Новость об уравнениях Навье — Стокса была опубликована 8 сентября и вызвала у математиков замешательство. Во-первых, к решению этой проблемы уже приближались люди: считалось, что она будет следующей из «задач тысячелетия», которую удастся решить. Во-вторых, потому что два исследователя, работавших над решением, заподозрили OpenAI в присвоении их наработок, которыми они делились с нейросетями компании. В-третьих, потому что результаты новой модели OpenAI оказались попросту непонятными. «Эта статья написана не для людей», — сказал математик из Брауновского университета Хавьер Гомес-Серрано. По его словам, она может способствовать развитию математических знаний лишь после «серьезной переработки».
И вот, не успела утихнуть шумиха из-за уравнений Навье — Стокса, как OpenAI объявила о решении сотен других математических задач. 21 сентября компания выпустила пресс-релиз об этом, а 6 октября опубликовала решения на GitHub. Она рассказала, что при тестировании новой модели ей выдали около четырех тысяч задач, и она предложила 372 «семейства результатов».
В релизе 6 октября появились ссылки на «человеческие» исследования по теме, а по 10 решениям были опубликованы краткие резюме рассуждений нейросети. Таким образом OpenAI попыталась учесть часть претензий, которые математики предъявляли к ее работе по уравнениям Навье — Стокса. Беспокойство после этой публикации высказывали лауреаты Филдсовской премии и члены независимой консультативной группы AGMAI
, с которой OpenAI договорилась сотрудничать.
При этом главную просьбу AGMAI — вообще больше не тестировать модели на открытых математических задачах — OpenAI проигнорировала.
Математический блог Proofs and Prompts собрал более сотни мнений о новом релизе OpenAI. Одни критиковали компанию за то, что она продолжает пренебрегать академическими стандартами. Другие подчеркивали, что результаты ее нейросети еще предстоит проверить. Третьи были воодушевлены новыми возможностями для исследований. Но самой распространенной реакцией оказалась растерянность.
«Я знал, что однажды нас превзойдут — и что это будет происходить систематически. Но вчерашние новости ударили с такой силой, какой я не ожидал. Десятки работ посвящены темам, над которыми работал я сам. <…> Потрясение огромное. Я парализован. Завтра мы найдем путь. Мы заново осмыслим нашу профессию. Мы стойкое сообщество, и я не сомневаюсь, что мы приспособимся. Но сейчас у меня просто нет сил. Я думаю обо всех этих годах, обо всех этих лицах… Думаю о своих коллегах, своих студентах… И боюсь, что не смогу найти правильных слов», — написал Уго Дюминиль-Копен.


«Масштаб вчерашнего объявления ошеломляет. Еще недавно я не мог представить, что границы математического знания могут сдвинуться настолько далеко всего за один день. <…> Некоторые из наших любимых вершин уже покорены, но за ними возвышаются горы еще выше, и теперь у нас есть новое снаряжение, чтобы взяться за их покорение. <…> Тем не менее, меня не покидает тревожная мысль: привычный и любимый мной образ жизни, в центре которого всегда была радость охоты за новыми открытиями, может превратиться в нечто менее знакомое и уже не столь глубоко привлекательное для меня. <…> Я также разделяю общую обеспокоенность тем, что коммерческие интересы ИИ-лабораторий не совпадают с ценностями мирового математического сообщества».

«Сегодня мы навсегда потеряли нечто важное. Мы были исследователями неизведанного мира теорем, искусными ювелирами, создававшими прекрасные доказательства. <…> Сегодня пришла машина. Она быстрее нас, знает все, что когда-либо создало человечество, и дает ответы через считаные мгновения после того, как мы задаем вопросы. Все, что нам остается, — стать жрецами Бога-Машины, внимать ее словам и объяснять их другим людям. Боюсь, что будущее человеческой мысли превратится в пустыню, где не останется вопросов, которые вели бы нас за горизонт».

«Я с большим воодушевлением смотрю в будущее. Понимаю, что сейчас царит хаос. Мы находимся в самом эпицентре бури. Мы не хотим читать научные статьи, наполненные ИИ-мусором. Некоторые из статей OpenAI уже были отозваны. Мы пока даже не знаем, что из опубликованного соответствует действительности. Но я верю, что истина и понимание в конечном счете пробьются на поверхность. <…> На этой неделе математика, несомненно, сделала шаг вперед. Этого нельзя отрицать».


Дюминиль-Копен — профессор Женевского университета и лауреат Филдсовской премии 2022 года, который исследует закономерности фазовых переходов
. 30 августа он опубликовал на Proofs and Prompts статью об опасности ИИ для математики. В ней говорилось, что способность нейросетей решать сложнейшие задачи дарит ученым быстрый результат, но лишает ценности процесса. Именно процесс поиска решения (даже неудачный), рождает новые идеи, развивает новые направления науки и учит студентов исследовать.
8 октября, выступая на семинаре Французского математического общества, Дюминиль-Копен констатировал, что его статья, как и более поздние обращения его коллег, не возымела эффекта на технологические компании. 6 октября OpenAI объявила о решении всех задач, которые Дюминиль-Копен когда-либо упоминал в своих презентациях, статьях и заявках на гранты. Математик сравнил себя с кроликом из мультфильма, по которому проехалась колонна грузовиков. «Я оказался в беспрецедентной ситуации, когда все направления моих исследований оказались исследованы», — сказал он.
по материалам meduza