Понимает ли ИИ математику? Что говорят лауреаты Филдсовской премии
Способен ли искусственный интеллект действительно понимать математику, а не только убедительно имитировать рассуждения? Этот вопрос вновь оказался в центре внимания после заявлений двух лауреатов Филдсовской премии — Джона Пардона и Ричарда Борчердса.
Пардон заявил, что ИИ теперь понимает математику. Такая формулировка могла бы выглядеть обычным рекламным тезисом стартапа, однако в данном случае её произнёс специалист, чья профессиональная деятельность связана с различением настоящего математического понимания и внешне правдоподобной имитации.
В тот же день Борчердс высказался о доказательствах, созданных системами OpenAI. Обсуждение быстро вышло за пределы отдельных публикаций: два треда на Reddit в сообществе r/singularity собрали 734 и 636 голосов соответственно и стали одной из главных дискуссий недели о природе математического мышления.
Почему обсуждение началось именно сейчас
Нынешний спор стал продолжением истории, начавшейся двумя неделями ранее. OpenAI объявила о подготовке к публикации примерно 400 доказательств, полученных внутренними моделями. Для математического сообщества это заявление стало не только поводом для интереса, но и источником серьёзной обеспокоенности.
Проблема заключается в проверке таких материалов. Рецензирование одного сложного математического доказательства может занимать у эксперта недели. При этом специалисты по узким направлениям часто исчисляются единицами, поэтому поток из сотен новых работ создаёт нагрузку, с которой традиционная система проверки может не справиться.
На этом фоне оценки филдсовских лауреатов приобретают особый вес. Речь идёт не просто о мнениях сторонних наблюдателей: Пардон и Борчердс обладают авторитетом, позволяющим обсуждать границу между генерацией убедительного текста, построением корректного доказательства и полноценным математическим пониманием.
Однако сама дискуссия показывает, что одного заявления о способностях ИИ недостаточно. Даже если модель создаёт математические доказательства, их ценность зависит от возможности независимо проверить каждый шаг, понять используемые идеи и оценить, действительно ли система обнаружила новое решение, а не воспроизвела знакомые шаблоны.
Поэтому публикация подготовленных OpenAI материалов может стать важным испытанием не только для самих моделей, но и для математического сообщества. Она позволит сопоставить заявления о понимании с реальными результатами — при условии, что для их проверки найдутся необходимые специалисты.
