Серьёзная рассинхронизация ИИ в математике?

🧩 Группа выдающихся математиков, включая многих лауреатов Филдсовской премии, опубликовала декларацию о рисках ИИ для математики. Её главный тезис разумен: получить верное доказательство — не то же самое, что расширить человеческое понимание. Важны новые понятия, методы, проверка, объяснение и включение результата в общую теорию.

Мы писали об этом в заметке «Когда ИИ решает задачу тысячелетия»: формально проверенный результат ещё нужно соотнести с исходной задачей, понять, обобщить и объяснить. А громкое «ИИ решил проблему» часто скрывает совместную работу моделей, людей, поиска и систем верификации.

Но тон декларации всё же немного озадачивает. Авторы опасаются, что AI-компании будут быстро производить ответы на знаменитые задачи — и этим нанесут ущерб науке. За какую именно математику здесь переживают? За математику как человеческую профессию и систему статуса — возможно. За саму математику как растущее знание — уже не так очевидно.

⚖️ Здесь напрашивается аналогия с Го. Компьютер давно играет сильнее любого человека, но это не уничтожило человеческое Го. Напротив, игроки разбирали ходы AlphaGo, пересматривали дебюты и находили новые идеи. То, что ход найден не привычной человеческой интуицией, не делает его менее сильным или менее интересным.

Аналогия неполная: в Го фиксированы правила и ясно, кто победил. В математике надо проверить, что именно доказано, кому принадлежит вклад и какой метод можно перенести на другие задачи. Но из этого следует необходимость хорошей проверки, атрибуции и экспозиции — не необходимость защищать монополию человека на поиск решений.

Возможно, ИИ будет находить результаты, которые людям трудно сразу понять. Это не повод объявлять такие результаты пустыми. Задача математиков тогда — не соревноваться с машиной в переборе следующих шагов, а превращать найденное в человеческое знание: выделять идею, строить язык, искать обобщения и задавать новые вопросы.

У декларации есть важное предупреждение против гонки за заголовками. Но сама по себе гонка за сложными задачами не разрушительна. Математика не обязана оставаться исключительно человеческим ремеслом, чтобы оставаться человеческой культурой.