Rembobiner une IA pour la vérifier : le pari du checkpoint
Contenu de l'épisode
Plutôt que d'exiger des preuves cryptographiques lourdes, peut-on vérifier un calcul en ramenant le modèle à un instantané antérieur de son état ? Un nouveau travail théorique détourne le mécanisme du checkpoint pour construire des preuves interactives rembobinables en temps presque linéaire. Mais entre un premier prototype sur MNIST et la réalité des API opaques, contrôler l'état interne du prouveur change toutes les règles d'infrastructure.
#modeles #meta-evergreen #oversight #verification #checkpoint