---
title: "Startup &Truth levanta US$ 70 milhões para automatizar verificação de software"
url: https://dailyjournal.news/news/2026-10-30/startup-truth-levanta-us-70-milhoes-para-automatizar-verificacao-de-software
published: 2026-10-30T07:00:56.245673+00:00
updated: 2026-10-30T07:00:56.245673+00:00
categories: ["technology"]
source_count: 1
outlet_count: 1
language: pt-BR
publisher: "Daily Journal"
---

# 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.

## 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.

## Fontes

- [How a wave of startups are betting on AI to make formal software verification practical and essential, including &Truth, which launches with a $70M seed (Paresh Dave/Wired)](https://www.techmeme.com/261030/p4#a261030p4) — Techmeme (2026-10-30)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-10-30/startup-truth-levanta-us-70-milhoes-para-automatizar-verificacao-de-software