OpenAI даст $5 млн, чтобы математики изучали результаты ИИ

Подробно

Что именно профинансирует OpenAI?

6 октября 2026 года OpenAI опубликовала материал «Sharing AI progress in mathematics». 15 октября компания добавила в него обновление: OpenAI вносит $5 млн в новую инициативу Фонда Саймонса. Заявленная цель - помочь математикам изучать, понимать и развивать результаты, полученные ИИ. Среди этих результатов и материалы, которые OpenAI выложила 6 октября.

Деньгами будет управлять и распоряжаться Фонд Саймонса. По версии OpenAI, средства направят на воркшопы, конференции и специальные программы.

«Мы хотим помочь математическому сообществу превратить прогресс в области ИИ в более глубокое человеческое понимание и новые открытия», - говорится в заявлении OpenAI.

Из формулировки компании нельзя понять, перечислены ли $5 млн или пока речь идёт об обязательстве внести эту сумму.

Как устроена программа Фонда Саймонса на $15 млн?

Фонд Саймонса описывает инициативу как партнёрство фонда, Anthropic и OpenAI. Её общий объём оценён в $15 млн «совокупного финансирования и ресурсов». В эту сумму входят не только деньги, поэтому считать все $15 млн денежным грантовым фондом нельзя. Как распределены остальные $10 млн между деньгами и неденежными ресурсами Фонда Саймонса и Anthropic, фонд не уточняет. Независимого аудита этой оценки нет.

По замыслу фонда, поддержанные мероприятия должны помогать исследователям:

• оценивать недавние результаты, полученные с помощью ИИ;
• осваивать ИИ-инструменты;
• обмениваться позициями;
• вырабатывать коллективные нормы использования ИИ в математике.

Кроме того, OpenAI и Anthropic обещали предоставить ИИ-инструменты и вычислительные ресурсы исследователям, которых поддержит фонд. Эта часть касается не только математики, но и других фундаментальных наук. Неизвестно, входят ли модели и вычисления OpenAI в её $5 млн или предоставляются сверх этой суммы. Конкретные модели, объём квот и срок доступа тоже не названы.

Фонд подчёркивает, что решения о поддержке будет определять само научное сообщество.

«Обсуждение того, как оценивать, внедрять и использовать эти инструменты, должно вести само сообщество, а не какая-то одна компания или организация», - заявил президент Фонда Саймонса Дэвид Спергель.

Отдельного официального названия у программы нет. OpenAI пишет о «новой инициативе Фонда Саймонса», а фонд - о «наборе новых инициатив» и «проекте на $15 млн».

Когда откроется конкурс и кто сможет подать заявку?

Фонд Саймонса обещает открытый конкурс предложений, но пока он не объявлен. Утром 16 октября на странице открытых конкурсов фонда этой инициативы не было. Сроки приёма заявок, график первых решений, размеры и продолжительность грантов, требования к заявителям и порядок экспертного отбора не опубликованы. География конкурса тоже не указана. Смогут ли участвовать математики и организации из России, неизвестно.

Плата за участие не заявлена: это благотворительно-исследовательская инициатива, а не коммерческий продукт.

Почему математикам понадобилась помощь с результатами ИИ?

6 октября 2026 года OpenAI выложила на GitHub большую коллекцию рукописей и вспомогательных материалов. Их создала закрытая внутренняя модель компании, название которой не раскрывается. По данным OpenAI, во время оценки модели ей дали около 4 000 задач. На один успешный результат в среднем уходило столько вычислений, сколько примерно за три часа тратит режим ChatGPT Pro thinking. На 16 октября в репозитории 719 рукописей, объединённых в 372 семейства результатов. Все эти цифры приводит сама OpenAI, независимым бенчмарком они не являются.

Ещё раньше, 8 сентября, OpenAI заявила, что её закрытая система получила решение задачи о существовании и гладкости решений уравнений Навье - Стокса, формализованное в Lean. По словам компании, эта модель значительно мощнее GPT-6 Astra и пока не выпущена. Это заявление OpenAI, а не итог независимой процедуры признания решения.

По данным Nature, публикация более 700 препринтов вызвала резкое недовольство части исследователей. Некоторые результаты математики признали, но жаловались на массовость выпуска и на то, что модель опередила их собственные исследования. Лауреат Филдсовской премии 2022 года Юго Дюминиль-Копен сказал в интервью Le Monde: «Они уничтожили мою область исследований». При этом, по данным издания, он собирался организовать коллективную работу: понять полученные машиной результаты, переработать их и передать другим.

Насколько надёжны опубликованные OpenAI доказательства?

В репозитории прямо сказано, что материалы находятся на разных стадиях проверки. Не у всех есть формализации в Lean, а в неформализованных результатах могут быть ошибки. После обновления 7 октября формализации в Lean были у 300 из 719 основных результатов, то есть примерно у 42%. Формализация позволяет машине проверить конкретное формальное утверждение. Но она не заменяет независимую оценку того, насколько результат значим и соответствует ли утверждение исходной математической задаче.

7 октября OpenAI отозвала три взаимосвязанные рукописи из-за ошибки в знаке. Ещё 14 рукописей компания исправила, а в 13 материалах обновила ссылки. Поэтому нельзя считать, что математическое сообщество уже признало эти результаты.

Что говорят независимые эксперты?

11 сентября 25 лауреатов Филдсовской премии опубликовали заявление о «серьёзном рассогласовании» целей ИИ-компаний и математического сообщества. По их мнению, решать известные задачи ради бенчмарка - не то же самое, что развивать человеческое понимание. Они также указали на проблемы с атрибуцией и открытым обменом идеями.

29 сентября независимая Консультативная группа по математике и искусственному интеллекту (AGMAI) при Институте перспективных исследований выпустила рекомендации по ответственной публикации ИИ-математики. Их готовили с учётом более 600 ответов от математиков. Группа считает, что лаборатории, которые массово публикуют результаты, ещё не осмысленные людьми, должны финансировать конференции, летние школы, рабочие группы, позиции для студентов и постдоков, книги и обзоры. Распределять такую поддержку, по мнению AGMAI, должны существующие независимые некоммерческие организации. Схема с Фондом Саймонса соответствует этой рекомендации, но отдельно AGMAI её пока не оценивала.

6 октября группа подчеркнула, что её консультации с OpenAI не означают одобрения результатов или процесса их получения. AGMAI также указала, что инструменты и вычисления должны быть одинаково доступны всем.

«Эта публикация - начало, а не завершение процесса, в ходе которого люди осмыслят эту работу и включат её в математическое знание», - говорится в заявлении AGMAI.

Независимых экспертных комментариев именно о финансовой инициативе от 15 октября пока нет. Программу анонсировали менее суток назад, и средства по ней ещё не выдавались.