2025 foi o ano em que a IA verificável deixou de ser uma ideia e começou a ser uma infraestrutura real. O Subnet-2 ultrapassou 300 milhões de inferências verificáveis. Lançámos o DSperse. Abrimos o JSTprove para o mundo. Lançámos o TruthTensor, agora a alimentar mais de 500.000 agentes. Provámos que a IA pode ser responsável, não apenas poderosa. Isto é o que acontece quando a pesquisa se torna realidade. 2026 vai ser maior.