Pendant qu'OpenAI tâtonne pour gérer ses nouvelles responsabilités d'infrastructure nationale, une startup d'IA vient d'autoformaliser deux preuves mathématiques majeures en quelques semaines, montrant à quelle vitesse l'IA peut collaborer avec les humains sur des problèmes complexes.