2025 foi o ano em que a IA verificável deixou de ser uma ideia e passou a ser uma infraestrutura real. A sub-rede 2 cruzou 300 milhões+ de inferências verificáveis. Nós enviamos DSperse. Abrimos o JSTprove para o mundo. Lançamos o TruthTensor, que agora abastece 500.000+ agentes. Provamos que a IA pode ser responsável, não apenas poderosa. É assim que a pesquisa se torna realidade. 2026 vai ser maior.