A Axiom Quant levantou $200 milhões numa Série A liderada pela Menlo Ventures a $1,6 bilhão de valuation, após um seed de $64 milhões em outubro de 2025. O produto treina sistemas de IA para gerar código formalmente verificado usando Lean, com verificadores determinísticos garantindo que cada passo de raciocínio é machine-checkable.

A CEO Carina Hong, de 25 anos e doutoranda em Stanford, lidera a empresa que tirou nota perfeita na Putnam Competition e provou uma conjectura de teoria dos números com 20 anos. O sistema cria um 'data flywheel verificado' onde dados proof-checked retroalimentam loops de treinamento, permitindo auto-melhoria recursiva sem colapso do modelo.