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