Renaissance Philanthropy и XTX Markets объявили о запуске фонда AI for Math Fund, новой программы грантов, поддерживающей проекты, которые применяют ИИ и машинное обучение в математике, с фокусом на автоматическое доказательство теорем, с начальным финансированием в размере 9,2 миллиона долларов. Категории финансирования проектов и примеры таких проектов включают: […]