ИИ повергает математиков в тревогу: «Прошлый год и этот — как два разных столетия»

В 2026 году математическое сообщество переживает беспрецедентные потрясения: в мае искусственный интеллект опроверг «проблему единичных расстояний», мучившую математиков 80 лет, а в июле был найден контрпример к гипотезе Якоби, которой почти век. Всего за несколько месяцев две ведущие компании, разрабатывающие искусственный интеллект, «соревнуясь друг с другом», вышли на передний край математических открытий, что радикально ускорило темп исследований и снизило порог входа в науку.

По словам доцента математики Университета Тунцзи Чэнь Сяояна, десятилетие назад идея использования искусственного интеллекта для математики казалась невероятной, однако переломный момент наступил в мае 2026 года, когда начали появляться результаты. Успехи искусственного интеллекта в основном связаны с опровержениями и поиском контрпримеров к давним гипотезам, поскольку это требует обширных знаний и сложного поиска, что искусственный интеллект выполняет лучше человека. Однако доказательства крупных теорем остаются редкостью, так как часто требуют развития принципиально новых математических инструментов.

Быстрый прогресс искусственного интеллекта вызывает у математиков тревогу, известную как «наука по принципу гача-игры», где успех зависит от удачи. Растущий поток публикаций, связанных с искусственным интеллектом, без надлежащей проверки перегружает систему рецензирования и угрожает устоявшейся практике. В ответ группа математиков опубликовала «Лейденскую декларацию», призывая к разработке принципов использования искусственного интеллекта. Несмотря на вызовы, эксперты видят будущее в сотрудничестве человека и искусственного интеллекта, где математики должны сосредоточиться на фундаментальных вопросах, активно использовать новые инструменты и предвидеть направления развития искусственного интеллекта.