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