OpenAI выделяет $5 млн, чтобы математики разобрались с недавними доказательствами от моделей ИИ
Фонд Simons Foundation запускает инициативу с бюджетом $15 млн, в том числе за счет OpenAI, чтобы помочь математикам оценить недавние результаты ИИ и выработать стандарты его использования в математике.
OpenAI выделяет 5 миллионов долларов на то, чтобы математики поняли недавние мат.доказательства моделей OpenAI 😎
Фонд Simons Foundation (раньше они финансировали Lean) открыл инициативу, цель которой – «помочь математикам понять и оценить недавние результаты, полученные с помощью ИИ, освоить новые инструменты и выработать общие стандарты использования ИИ в математике».
Всего вложат 15 миллионов, 5 из которых – от OpenAI, и, видимо, еще сколько-то от Anthropic. Также оба стартапа выделяют исследователям инструменты и вычислительные ресурсы. Деньги пойдут в первую очередь на организацию конференций, воркшопов и финансирование исследований.
Почему это важно
АналитикаЭто важно, потому что ИИ уже генерирует сложные математические результаты, и сообществу нужны инструменты и стандарты для их проверки и принятия.
Обсудить в сообществе
Делитесь опытом и мыслями с ИИ-разработчиками