Startup gera código formalmente verificado em Lean com verificadores determinísticos; CEO de 25 anos tirou nota perfeita na Putnam.
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.
5 mar, 09:00
5 mar, 09:00
1 mar, 13:19
27 fev, 12:29
26 fev, 18:39