Понимает ли ИИ математику? Отвечают лауреаты Филдса

«ИИ теперь понимает математику». Эта фраза стоила бы немного, прозвучи она от евангелиста очередного стартапа. Но её произнёс Джон Пардон — лауреат Филдсовской премии 2026 года, человек, чья профессия состоит в том, чтобы отличать понимание от имитации. В тот же день о доказательствах OpenAI высказался другой филдсовский лауреат, Ричард Борчердс. Два треда в r/singularity — 734 и 636 апвоутов — превратились в главную дискуссию недели о природе математического мышления.

Почему это продолжение одной истории

Контекст здесь важнее самих заявлений. Две недели назад OpenAI объявила, что готовит к публикации около 400 доказательств, полученных внутренними моделями, — и математическое сообщество отреагировало криком о помощи: проверять этот поток просто некому. Рецензирование одного серьёзного доказательства занимает у эксперта недели, а эксперты по узким областям исчисляются единицами.

Слово филдсовских лауреатов в этой ситуации — не просто мнение. Это вердикт людей, которых сообщество считает последней инстанцией в вопросе «настоящая это математика или нет». И вердикты оказались интереснее, чем ожидали обе стороны спора.

Два взгляда с одной вершины

Фото: UC Berkeley, Department of Mathematics

Борчердс — медалист 1998 года, доказавший гипотезу чудовищного вздора, один из самых востребованных математических лекторов YouTube — разбирал конкретику: доказательства OpenAI из того самого массива. Его позиция, судя по 235 комментариям треда, не сводится ни к восторгу, ни к отрицанию: часть работ он находит технически состоятельными, но обращает внимание на то, как они сделаны — машинные доказательства находят верные пути странными маршрутами, без той экономии мысли, по которой математики опознают понимание.

Фото: Simons Foundation / Wikimedia Commons

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

Показательно, что сообщество восприняло слова Пардона почти без сопротивления: 636 апвоутов при всего 62 комментариях — для r/singularity это паттерн «согласны, обсуждать нечего». Тред Борчердса, напротив, кипит: 235 комментариев на 734 апвоута, потому что именно там решается неудобный вопрос — что делать с верными доказательствами, которые никто из людей не может глубоко прочесть.

Сдвиг, который произошёл за год

Год назад консенсус звучал иначе: модели — полезный инструмент перебора, но «понимания» в них не больше, чем в калькуляторе. Сдвиг происходил ступенями, и по архиву обсуждений они хорошо видны: сентябрьская история с Навье — Стоксом и скандалом вокруг неё, реплики Теренса Тао на прошлой неделе, собравшие 1254 апвоута, физик из Мичигана, публично признавший, что ИИ закрыл задачу из его годового плана. Теперь — два филдсовских лауреата за один день.

При этом ни один из них не сказал того, что хочет услышать лагерь ускорения: что математики больше не нужны. Скорее наоборот. Чем больше верных доказательств генерируют машины, тем дороже становится человеческая экспертиза, способная их прочесть, оценить и встроить в живую ткань науки. Проблема 400 непроверенных доказательств никуда не делась — она просто перестала быть вопросом «умеет ли ИИ в математику» и стала вопросом «успеваем ли мы за ним».

Похоже, спор о понимании закрыт не аргументами, а усталостью от него: когда система переоткрывает твою собственную интуицию и идёт дальше, вопрос «а понимает ли она» начинает интересовать философов больше, чем математиков.