Startup de IA verificável Axiom capta $200M para provar que código gerado por IA é seguro
SiliconANGLE: Axiom usa Lean e verificadores determinísticos para eliminar alucinações; nota perfeita na Putnam.
|
13/03 às 09:00
Pontos principais
- Série A de $200M liderada por Menlo Ventures a $1,6 bi
- Código gerado em Lean com verificação formal determinística
- Nota perfeita na Putnam Competition em dezembro de 2025
- Data flywheel verificado para auto-melhoria recursiva
- CEO Carina Hong, 25 anos, doutoranda em Stanford
Mencionado nesta matéria
Pessoas
Carina HongKen OnoShubho Sengupta
Organizações
Axiom QuantMenlo Ventures