Simons Foundation launches $15M effort to help mathematicians navigate AI era
Фонд Саймонса совместно с Anthropic и OpenAI вкладывает 15 миллионов долларов, чтобы помочь математикам адаптироваться к стремительному распространению искусственного интеллекта. Фонд будет управлять средствами и распределять их, в том числе через открытый конкурс заявок, поддерживая семинары и инициативы: оценку результатов, полученных с помощью ИИ, освоение новых инструментов, обмен мнениями и выработку общих стандартов использования ИИ. Anthropic и OpenAI также предоставят исследователям свои ИИ-инструменты и вычислительные ресурсы — причём не только в математике, но и в фундаментальной науке.
Президент фонда Дэвид Спергел подчёркивает: «Сейчас время взглянуть на математику как на целое — не как на набор доказательств и теорем, а как на коллективное понимание, движимое человеческим любопытством». По его словам, именно сообщество, а не отдельная компания или институт, должно определять, как эти инструменты оценивают, принимают и используют. Фонд давно поддерживает машинное обучение для науки: он финансировал разработку ассистента доказательств Lean, который изменил работу математиков и сделал возможными доказательства с помощью ИИ, а также проводил семинары и лекции о роли ИИ в этой области.