Startup &Truth levanta US$ 70 milhões para automatizar verificação de software
A startup &Truth, com sedes nos Estados Unidos e em Singapura, saiu do modo stealth com US$ 70 milhões em seed para automatizar a verificação formal de software com IA.
||
30/10 às 04:00
Pontos principais
- A &Truth saiu do modo stealth com US$ 70 milhões em capital seed, de investidores que a empresa não identifica.
- Fundada no início de 2026 como corporação de benefício público, tem sedes em Palo Alto (EUA) e em Singapura.
- A empresa diz que constrói uma máquina que lê código em qualquer linguagem e prova que ele é seguro e correto.
- A 'fábrica de especificações' da empresa traduz intenções e requisitos de negócio em especificações formais, segundo a &Truth.
- A &Truth pretende liberar suas bibliotecas fundamentais como código aberto e trabalha com a Lean Focused Research Organization.
- O setor de tecnologia tem registrado um aumento de novas empresas que buscam tornar a verificação de software uma prática mais acessível.
A &Truth, empresa de benefício público com sedes em Palo Alto, nos Estados Unidos, e em Singapura, saiu do modo stealth com US$ 70 milhões em capital seed. A empresa não identifica os investidores e diz construir uma máquina universal de verificação, capaz de provar que código é seguro e correto.
Segundo a &Truth, a IA acelera a geração de provas formais em 100 vezes ou mais, e sua automação de provas, em outras 100, reduzindo o processo de anos ou meses para horas ou minutos. A empresa constrói sobre o Lean, sistema de prova de código aberto.