OpenAI выкатил сотни математических результатов: учёным понадобится годы

OpenAI разместил на GitHub более 700 рукописей, в которых собрано почти 400 новых математических утверждений. Тематика охватывает комбинаторику, геометрию, теорию чисел, теоретическую информатику, алгебру, топологию, статистическую механику и математическую физику. Для навигации по массивному репозиторию компания выложила отдельный гайд.

Проверка результатов оказалась разрозненной: только 300 из 719 заявленных теорем получили формальную верификацию в системе Lean, что составляет около 42 %. По словам профессора Алваро Лозано‑Робледо (University of Connecticut), даже просмотр списка аннотаций отнимает у него час, а полное понимание может занять годы. Профессор Кевин Баззард (Imperial College London) отметил, что в его области (алгебраическая теория чисел) лишь шесть из десятков найденных теорем выглядят действительно значимыми, а большинство пока остаются непроверенными.

Математики называют возникший «slopocalypse» – рост низкокачественного AI‑контента, часто с ошибками и плохими ссылками. Предыдущие публикации OpenAI уже получали критику за небрежные атрибуции, и теперь эксперты опасаются, что без достаточной формализации новые результаты могут лишь запутать научное сообщество. Некоторые считают, что такой поток может подорвать академические стандарты и заставить факультеты переосмысливать свои подходы.

Пока OpenAI обещает добавить больше формализованных доказательств, сообщество готовится к длительному процессу оценки. Тебе, как читателю, стоит ожидать, что разбор этих материалов займет не недели, а годы, и только после этого появятся чёткие выводы о реальном вкладе AI в математику.