Учёные считают, что нейросети «грабят» математику

 
Искусственный интеллект в 2026 году принялся за открытые математические задачи с таким рвением, что учёные уже не успевают следить. OpenAI загнала десять тысяч агентов на проблему Навье-Стокса, задачу из списка премий тысячелетия, за которую дают миллион долларов и рукопожатие в вечности, закрыв её за 88 часов.
 
Агенты перекинулись миллионами сообщений, сожгли под 130 миллиардов токенов и выдали формальное доказательство в Lean. Та же модель позже отчиталась, что раскрыла больше сотни давних задач сразу из многих разделов математики.
 
Не фанфары, а тревога
 
Двадцать семь обладателей медали Филдса – высшей награды в математике – подписали совместное заявление. Суть: решить красивую задачу – не цель. Такие проблемы работают маяками, они ведут к новому пониманию, а не ставят галочку.  
Теренс Тао, один из подписантов, назвал происходящее «открытой разработкой месторождений». Хорошие задачи – ресурс невозобновляемый. Молодые математики учатся думать именно на них. Снимет машина крупные и соседние вопросы одним заходом — экосистема, по сути, останется без тренажёра. Тао даже предложил огораживать отдельные классы задач, как заповедники, разбирать их медленно и бережно.
 

 
Чистая математика и прикладная – не одно и то же
 
Чистовики – «эстеты», они гонятся за красотой и внутренней связностью абстракций. Прикладники смотрят наружу – на реальные задачи физики, инженерии, биологии. Именно здесь история показывает цену потери понимания.
 
После Второй мировой компьютеры стали инструментом, с которым математика и инженерия двигались вместе. Но прогресс часто рождался не из готового решения, а из долгих человеческих проб и ошибок.
 
Доказательство от OpenAI – это миллионы строчек машинного кода, в которых уверен компьютер, но общую картину не понимает ни один человек. Понимание же – это умение взять идею из одной области и уверенно перетащить в другую. Отними его, заменив «чёрным ящиком» ИИ – и математика перестанет давать миру то, ради чего она, собственно, и нужна: свежие инструменты для реальных задач.
 
Но ведь с какой стороны посмотреть. Может это и не грабёж в чистом виде, а просто поменялись правила игры. Нейросеть выдала готовый ответ вместе с цепочкой ходов – вот вам и тренажёр для математиков: понять, как машина думала и почему.