Axiom был запущен шесть месяцев назад с одной убежденностью: математика является правильной основой для создания систем, которые могут рассуждать. Сегодня мы объявляем о серии A Axiom. Мы собрали 200 миллионов долларов при оценке более 1,6 миллиарда долларов, возглавляемой @MenloVentures, чтобы укрепить наше лидерство в формальной математике в области Проверенного ИИ.