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