La plupart des gens passent à côté du véritable goulot d'étranglement ici. Des systèmes vérifiables par l'IA ? Ils ne valent que ce que vaut la couche de preuve en dessous. Vous ne pouvez pas faire évoluer la vérification si la génération de preuves ne suit pas. Toute l'infrastructure s'effondre sans des mécanismes de preuve efficaces. C'est là que réside le véritable défi.