Axiom wurde vor sechs Monaten mit einer Überzeugung gegründet: Mathematik ist das richtige Fundament für den Aufbau von Systemen, die logisch denken. Heute kündigen wir die Series A von Axiom an. Wir haben 200 Millionen Dollar bei einer Bewertung von über 1,6 Milliarden Dollar gesammelt, angeführt von @MenloVentures, um unsere Führungsposition in der formalen Mathematik in Verified AI auszubauen.