Фонд Саймонса вложит $15 млн в математиков и ИИ

Фонд Саймонса (Simons Foundation) объявил о запуске инициативы на 15 миллионов долларов, призванной помочь математическому сообществу адаптироваться к стремительному распространению искусственного интеллекта в исследовательской работе. Партнёрами выступили компании Anthropic и OpenAI, которые совместно с фондом предоставят финансирование и вычислительные ресурсы. Управлять средствами и распределять гранты будет сам фонд, в том числе через открытый конкурс заявок.

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

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

Фонд Саймонса давно поддерживает применение машинного обучения в науке. В частности, он финансировал разработку proof assistant Lean — инструмента, который изменил подход математиков к работе и сделал возможными доказательства с помощью ИИ. Кроме того, фонд регулярно проводит семинары и лекции, посвящённые роли ИИ в математике.

Сперджел подчёркивает: «Сообщество должно само вести дискуссии о том, как эти инструменты оценивать, внедрять и использовать, а не какая-либо отдельная компания или институт. Цель программы — поддержать математическое сообщество». Это заявление отражает опасения по поводу влияния корпораций на научную повестку и стремление сохранить независимость исследователей.

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

Ожидается, что открытый конкурс заявок будет объявлен в ближайшее время. Детали распределения средств и критерии отбора пока не раскрываются. Участие Anthropic и OpenAI в финансировании может стать примером для других технологических компаний, заинтересованных в поддержке фундаментальной науки.