8 сентября 2026 года Open AI объявил решение, сгенерированное ИИ, по задаче о существовании и сглаживаемости Navier–Stokes, одну из семи задач Миллениума. Объявление вызвало дебаты о распределении заслуг между людьми и машинами, с Тристаном Бакмастером назвавшем это "момент Deep Blue–Kasparov". Возникли экзистенциальные вопросы о том, находится ли математика на пороге "решения" как шахматы и Го.

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

Математика шире, чем решение задач. Математики разрабатывают новые концепции, задают новые вопросы, объединяют области, обучают сообщества и создают работы, ценные своей красотой и глубиной. Вместо того чтобы отступать в "продолжать игру", мы должны отвергать характеризацию математики как игры и вместо этого изучать, что такое математика на самом деле и что мы от неё хотим.

Open AI произвел ответ—да, Navier–Stokes может развить singulairty—вместе с Lean формализацией и неформальным рукописью. Хотя больше, чем "42" Deep Thought, это всё ещё неудовлетворительно, так как доказательство имеет несколько понятий, а базовое понимание остается неполным.

Ключевые Entities: Компании: Open AI | Люди: Silvia De Toffoli, Eamon Duede, Tristan Buckmaster, C. Thi Nguyen | Места: University School for Advanced Studies IUSS Pavia, Princeton University, Purdue University