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

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

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