Axiomは6か月前に一つの確信を持って立ち上げられました。それは、数学こそが論理的なシステムを構築するための正しい基盤であるということです。 本日、私たちはAxiomのシリーズAを発表します。 私たちは16億ドル+の評価額で2億ドルを調達し、@MenloVenturesが主導し、形式数学でのリードを検証AIに拡大しました。