Axiom була запущена шість місяців тому з одним переконанням: математика — це правильна основа для створення систем, які мислять. Сьогодні ми оголошуємо про серію A від Axiom. Ми залучили $200 млн за оцінкою $1,6B+ під керівництвом @MenloVentures, щоб розширити нашу перевагу у формальній математиці на Verified AI.