2025 fue el año en que la IA verificable dejó de ser una idea y comenzó a ser una infraestructura real. Subnet-2 superó los 300 millones de inferencias verificables. Lanzamos DSperse. Abrimos JSTprove al mundo. Lanzamos TruthTensor, que ahora potencia a más de 500,000 agentes. Demostramos que la IA puede ser responsable, no solo poderosa. Así es como se ve cuando la investigación se convierte en realidad. 2026 va a ser aún más grande.