أطلقت Axiom قبل ستة أشهر بإيمان واحد: الرياضيات هي الأساس الصحيح لبناء الأنظمة بهذا المنطق. اليوم نعلن عن سلسلة A. جمعنا 200 مليون دولار بقيمة 1.6 مليار دولار+، بقيادة @MenloVentures، لتوسيع تقدمنا في الرياضيات الرسمية إلى الذكاء الاصطناعي الموثق.