OpenAI выпустила 700 математических работ, написанных ИИ. Что это значит на самом деле

6 октября 2026 года OpenAI опубликовала около 720 математических работ, написанных на основе ранее не опубликованной внутренней модели, сгруппированных в 372 «семейства» и взятых из примерно 4000 поставленных задач. Среди названий работ — заявленные доказательства гипотезы о единственности игр, гипотезы Малера и частного случая гипотезы Ходжа. В течение суток мнения математиков разделились. Вот подробная версия: что было опубликовано, что было проверено, почему так много математиков возмущены результатами, которые могут оказаться верными, и что меняется, когда доказательств становится много. РАЗДЕЛЫ 00:00 Начало 01:09 Падение 04:04 Что в коробке 07:04 Заявленное не проверяется 09:51 Обратная реакция 12:59 Гонка 14:59 Другая сторона 16:55 Изобилие доказательств 18:36 Что это на самом деле означает 20:41 Кто это понимает? КРАТКО По подсчетам самого репозитория, около четырех из десяти результатов поиска в заголовках содержали доказательство, проверенное машинным способом (Lean), на момент публикации. Остальные не проверены. Lean проверяет формальное утверждение, а не то, соответствует ли оно известной проблеме или является ли идея новой. Критики (Ассоциация гуманитарной математики, 25 лауреатов Филдсовской премии, консультативная группа в IAS) возражают против масштаба, частной модели и вопросов авторства. Сторонники, такие как Дэниел Литт, называют это отличным методом для математики. — В математике наблюдается смещение «узкого места» от поиска доказательств к их проверке и пониманию. ИСТОЧНИКИ OpenAI, «Обмен информацией о прогрессе ИИ в математике» (6 октября 2026 г.) и README репозитория openai/math на GitHub Журнал Quanta, «По мере того, как ИИ приближался к доказательству «уникальных игр», исследователи соревновались, кто быстрее машин» (7 октября 2026 г.) Журнал Quanta о заявлении OpenAI о уравнениях Навье-Стокса (8 сентября 2026 г.) Заявление Ассоциации человеческой математики, гостевая статья в блоге Теренса Тао (7 октября 2026 г.) Рекомендации Консультативной группы по математике и искусственному интеллекту (IAS) (29 сентября 2026 г.), как сообщают Unite.AI и Fortune Fortune, «OpenAI публикует решения более чем 370 выдающихся математических задач» (7 октября 2026 г.), включая Цитаты из New York Times от Дэниела Литта и Тристана Бакмастера: Скотт Ааронсон, «Математический апокалипсис» (7 октября 2026 г.) Гостевые посты в блоге Теренса Тао: Джереми Авигад, Дженнифер Табак, Томас Блум (сайт задач Эрдоша), Бен Антио (Hexagon) Заявление 25 лауреатов Филдсовской премии (11 сентября 2026 г.) Статья в Scientific American о деталях с одним запросом ПРИМЕЧАНИЯ Озвучка выполнена искусственным интеллектом. Визуальные материалы представляют собой оригинальные схематические анимации; сетка рукописей является иллюстративной. Замечания, показанные как «перефразированные», являются краткими изложениями, а не точными цитатами. Утверждения в репозитории OpenAI не были независимо проверены; в этом видео они описываются как утверждения. #OpenAI #математика #ИИ #доказательство