OpenAI опубликовала почти 400 математических результатов, созданных ИИ; математикам могут понадобиться годы, чтобы в них разобраться
Компания OpenAI, разрабатывающая искусственный интеллект, на этой неделе выложила почти 400 математических результатов, полученных с помощью ИИ, в более чем 700 рукописях. Математики отмечают высокий уровень части работ, но предупреждают о неполной проверке и неровном качестве.
Компания OpenAI, разрабатывающая системы искусственного интеллекта, на этой неделе опубликовала почти 400 математических результатов, полученных с помощью ИИ и изложенных более чем в 700 рукописях. Они охватывают комбинаторику, геометрию, теорию чисел, теоретическую информатику, алгебру, топологию, теорию вероятностей и математическую физику. По данным The Verge, побеседовавшего с более чем тремя десятками математиков, исследователи считают, что на одно лишь понимание опубликованного могут уйти годы.
Проверка не завершена
Материалы размещены в репозитории на GitHub, а компания выпустила и рекомендации по навигации в нём. К части работ приложены формализации на языке Lean — это язык программирования и система доказательств, позволяющая проверять результаты на компьютере. По данным OpenAI, формализованы 300 основных результатов из 719 рукописей, около 42 процентов, и репозиторий будут пополнять.
Несколько исследователей отметили, что наличие кода на Lean не снимает вопрос сразу: нужно убедиться, что он действительно доказывает то, что заявлено в рукописи. Кевин Бузард (Kevin Buzzard), профессор математики Имперского колледжа Лондона, рассказал, что в его области, алгебраической теории чисел, нашёл лишь около шести заметных результатов, и вряд ли они формально проверены. Математики также указывали на трудночитаемые тексты, короткие списки литературы и возможное повторение уже известных работ. Прежние материалы OpenAI критиковали за небрежность и слабые ссылки на других авторов. Три рукописи компания уже отозвала.
Высокий уровень и потрясение
Тем не менее большинство собеседников признали, что часть работ выглядит очень сильной. По их мнению, многие результаты до эпохи ИИ заслужили бы публикации в ведущих журналах. Математик из Стэнфорда Джаред Дукер Лихтман (Jared Duker Lichtman) назвал «десятки» таких результатов, включая продвижение к гипотезе Римана, частный случай гипотезы Ходжа и решение четырёхмерной задачи Какеи.
Некоторые исследователи рассказали, что целые исследовательские программы и грантовые заявки потеряли смысл. Франческо Фурнье-Фачо (Francesco Fournier-Facio) из университета Хериот-Ватт сказал, что особенно потрясены специалисты по теории вероятностей, комбинаторике и теоретической информатике.
