Cogentic : une orchestration multi-agents pour la découverte automatisée de preuves

Cogentic est un harnais multi-agents conçu pour la découverte de preuves sur des problèmes de recherche ouverts en mathématiques et informatique théorique. Un orchestrateur répartit plusieurs « prouveurs » indépendants sur différentes pistes, soumet leurs résultats à une vérification adversariale, puis conserve les progrès confirmés dans un registre vérifié persistant. Basé sur Gemini, le système a produit des résultats nouveaux sur cinq problèmes ouverts en apprentissage en ligne, théorie des enchères et conception de mécanismes, validés par des experts du domaine.