Axiom đã ra mắt cách đây sáu tháng với một niềm tin: toán học là nền tảng đúng đắn để xây dựng các hệ thống có khả năng suy luận. Hôm nay, chúng tôi thông báo về Series A của Axiom. Chúng tôi đã huy động được 200 triệu đô la với định giá trên 1,6 tỷ đô la, do @MenloVentures dẫn dắt, để mở rộng vị thế của chúng tôi trong toán học chính thức vào AI Đã Xác Minh.