---
title: "Axiom Quant capta $200M a $1,6 bi para código verificado por IA"
url: https://dailyjournal.news/news/2026-03-13/axiom-quant-capta-200m-a-16-bi-para-codigo-verificado-por-ia
published: 2026-03-13T12:00:00+00:00
categories: ["technology"]
source_count: 1
outlet_count: 0
language: pt-BR
publisher: "Daily Journal"
---

# Axiom Quant capta $200M a $1,6 bi para código verificado por IA

Startup gera código formalmente verificado em Lean com verificadores determinísticos; CEO de 25 anos tirou nota perfeita na Putnam.

## Pontos principais

- Série A de $200M liderada pela Menlo Ventures a $1,6 bi de valuation
- IA gera código formalmente verificado em Lean com verificadores determinísticos
- CEO Carina Hong tem 25 anos — nota perfeita na Putnam Competition
- Sistema provou conjectura de teoria dos números com 20 anos
- 'Data flywheel verificado' — dados proof-checked alimentam loops de treinamento

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.

## Fontes

- [Startup de IA verificável Axiom capta $200M para provar que código gerado por IA é seguro](https://siliconangle.com/2026/03/12/verifiable-ai-startup-axiom-raises-200m-prove-ai-generated-code-safe-use/) (2026-03-13)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-03-13/axiom-quant-capta-200m-a-16-bi-para-codigo-verificado-por-ia