Фонд Саймонса, OpenAI и Anthropic выделили математикам деньги и ресурсы на 15 млн долларов

Фонд Саймонса¹ вместе с OpenAI и Anthropic выделяет 15 млн долларов деньгами и ресурсами, чтобы математики разобрались в результатах, полученных с помощью ИИ, и договорились, как им пользоваться. Обе компании 15 октября написали о своих взносах в соцсети X.

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

Предыстория: взнос OpenAI связан с её недавним выпуском:

• 6 октября OpenAI выложила больше 700 рукописей, которые написала её ещё не выпущенная модель, с решениями открытых математических задач.
• К 7 октября доказательства примерно 42% результатов проверила Lean — программа, которая проверяет доказательство шаг за шагом.
• 11 октября Hugging Face превратила 369 теорем из этих работ в задачи для обучения моделей.

Повод: OpenAI прямо связала деньги со своим выпуском: они должны помочь математикам «изучить, понять и развить результаты, полученные ИИ, в том числе те, что мы недавно опубликовали».

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

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

В цифрах: вклад компаний устроен по-разному:

• OpenAI вносит 5 млн долларов деньгами и отдельно даст исследователям фонда доступ к своим моделям и вычислительным мощностям.
• Anthropic вносит 5 млн долларов деньгами, вычислительными мощностями и доступом к Claude.
• Компании вместе вносят 10 млн долларов, а откуда остальные 5 млн из общих 15, фонд не уточнил.
• Доступ к моделям получат не только математики, но и исследователи фундаментальной науки, которых поддерживает фонд.

Общая картина: математики встретили выпуск OpenAI настороженно. «В момент публикации человеческого понимания этих результатов нет, и теперь начинается работа», — сказала TechCrunch профессор математики Гарварда Мелани Вуд.

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

Фонд Саймонса и раньше занимался ИИ в математике. Он финансировал разработку Lean, благодаря которой стали возможны доказательства с помощью ИИ, и проводил семинары и лекции о роли ИИ в этой науке. Сроки конкурса заявок фонд пока не назвал.