OpenAI направляет 5 миллионов долларов на то, чтобы математики разобрались в недавних мат.доказательствах моделей OpenAI

Фонд Simons Foundation (раньше они финансировали Lean) запустил инициативу, задача которой — «помочь математикам понять и оценить недавние результаты, полученные с помощью ИИ, освоить новые инструменты и выработать общие стандарты использования ИИ в математике».

В сумме на это выделят 15 миллионов, из которых 5 миллионов — от OpenAI, и, судя по всему, еще часть — от Anthropic. Кроме того, оба стартапа предоставляют исследователям инструменты и вычислительные ресурсы. Средства в первую очередь направят на проведение конференций, воркшопов и поддержку исследований.

INCUBE.AI | ПОДПИСАТЬСЯ