Aqui está o que estamos otimizando para em IA verificável:

✅ Tempo de prova < tempo de execução do modelo

✅ Tempo de verificação = instantâneo

✅ O modelo permanece privado

✅ A saída é comprovadamente válida

O objetivo final: IA sem confiança que executa e prova.