Математики спорят о передаче задач ИИ

На прошлой неделе OpenAI опубликовала 722 рукописи с решениями давних математических задач, которые десятилетиями не поддавались учёным. По данным Tom's Hardware, из них лишь около 300 результатов формализованы — переведены в машиночитаемый вид для компьютерной проверки. Математики предупреждают: на верификацию всех работ могут уйти годы, а сам подход к публикации вызывает тревогу в сообществе.

OpenAI не раскрыла название внутренней модели, сгенерировавшей решения, и не приложила промпты, которые к ним привели. Это противоречит рекомендациям Консультативной группы по математикам и искусственному интеллекту (AGMAI). Компания опубликовала лишь журналы изменений в GitHub-репозитории, где уже есть несколько отзывов и исправлений. По мнению исследователей, это говорит о том, что результаты не проверялись детально перед публикацией.

Часть математиков, опрошенных The Verge, обнаружила в отчётах бессмысленные объяснения, неработающие формулы и уже известные науке результаты. Поскольку решения появляются «из ниоткуда» без промежуточных выкладок, сообщество не может их использовать или развивать — нет понимания, как они получены. Профессор математики Северо-Западного университета Брина Кра отмечает, что математика строится на коллаборации и обмене идеями, а подобные публикации делают исследователей более скрытными.

Профессор Нью-Йоркского университета Тристан Бакмастер заявил Business Insider, что релиз OpenAI разрушил исследовательские программы многих молодых математиков. Их работа оказалась обесценена, а некоторые опасаются, что случайно использовали ИИ-инструменты и тем самым внесли вклад в результаты, которые теперь приписываются модели. Это подрывает мотивацию делиться данными и может нанести долгосрочный ущерб академической карьере.

Профессор Калифорнийского университета Теренс Тао написал в Mastodon, что от этих результатов исходит «гораздо меньше семинаров, воркшопов и коллабораций», чем от традиционных прорывов. Он предложил математике сместить акцент на «более целостный прогресс», повышая роль сообщества, а не отдельных решений. В целом, по описаниям исследователей, в области царит атмосфера крайней тревоги: кажется, что любая работа может быть обесценена за одну ночь.

Дополнительный риск связан с криптографией. Доцент Университета Джонса Хопкинса Мэтью Грин считает, что сочетание математических и кибербезопасностных возможностей ИИ может привести к взлому шифрования, что поставит под удар триллионы долларов в криптовалютах. Однако британский криптограф Адам Бэк назвал эти заявления «сомнительными», указав, что сложность некоторых задач фундаментальна, а Ethereum-разработчик Виталик Бутерин призвал не паниковать и не переводить токены на новые кошельки.

Пока неясно, сможет ли ИИ действительно обесценить криптографию, но уже очевидно: публикация OpenAI создала прецедент, который может изменить нормы научной коммуникации в математике. Сообщество ожидает новых релизов от OpenAI и других лабораторий, что ещё больше снижает моральный дух. Вопрос о том, как проверять и интегрировать ИИ-результаты, остаётся открытым.