La IA verificable acelera la IA