OpenAI выделяет 5 миллионов долларов на то, чтобы математики поняли недавние мат.доказа...
OpenAI выделяет 5 миллионов долларов на то, чтобы математики поняли недавние мат.доказательства моделей OpenAI 😎 Simons Foundation, ранее финансировавший Lean — инструмент проверки математических доказательств, — запустил инициативу: помочь математикам разобраться в недавних результатах, полученных с помощью ИИ, оценить их, освоить новые инструменты и выработать общие стандарты использования ИИ в математике. Всего на инициативу направят 15 миллионов долларов, из них 5 миллионов — от OpenAI. Автор источника предполагает, что часть денег даст и Anthropic, но сумму не называет. Обе компании также предоставляют исследователям инструменты и вычислительные ресурсы. Финансирование пойдёт прежде всего на конференции, воркшопы — рабочие встречи — и исследования. Источник: https://t.me/data_secrets/10170 #RealVibe #AI #AI_Новости