Летом 2025 года несколько систем ИИ решили пять из шести задач на Международной математической олимпиаде — состязании для лучших старшеклассников мира. Мало кто ожидал такого прогресса — и результаты вынудили даже тех математиков, кто прежде отвергал ИИ как слишком ошибочный инструмент, начать с ним экспериментировать.
В октябре профессор Калифорнийского университета в Лос-Анджелесе Эрнест Рю взялся за задачу, которую советский математик Юрий Нестеров поставил ещё в 1983 году. Нестеров не смог доказать, что его алгоритм оптимизации всегда приходит к правильному ответу. За 42 года это не удалось никому.
Рю работал с ChatGPT три дня — примерно по четыре часа вечером. ИИ постоянно ошибался, но в каждой ошибке были полезные зацепки. Рю проверял шаги вручную, отбрасывал неверные, возвращал правильные части обратно в модель. Итог — полное доказательство, которое можно публиковать в топовом журнале по оптимизации. «Я покрывал огромное расстояние намного быстрее, чем мог бы один», — сказал он.
В январе 2025 года математики из DeepMind совместно с Терренсом Тао, лауреатом Филдсовской премии и одним из лучших математиков в мире, и Хавьером Гомес-Серрано из Браунского университета разработали систему AlphaEvolve — она пишет программы на Python и «эволюционирует» их в поисках лучших решений. Команда протестировала её на 67 задачах. В 23 случаях AlphaEvolve незначительно улучшил лучшие известные результаты. На каждую задачу уходил день-два — вместо месяцев работы эксперта.
В феврале 2026 года прошёл конкурс First Proof: 10 исследовательских задач, специально подобранных так, чтобы они не попали в обучающие данные моделей. ИИ решил больше половины. Математик Дэниел Литт из Университета Торонто написал в блоге: «Эта технология, вероятно, важнее компьютера».
Хавьер Гомес-Серрано, математик Браунского университета и один из авторов работы об AlphaEvolve, теперь проводит с ИИ две трети рабочего времени. Рю после публикации доказательства взял отпуск в UCLA и ушёл работать в OpenAI.
Тао описывает происходящее так: математик и ИИ — как «двое рабочих, у одного лопата, у другого кирка. Вместе можно рыть тоннель».
