Le moteur fait tourner ~16 sous-agents Claude Code spécialisés sur 8 phases cycliques : divergence, extraction de claims, friction, audit de qualité des preuves, porte de suffisance des preuves, synthèse, méta-évolution et construction formelle. Son cœur est un graphe de claims épistémiques sur SQLite qui suit des claims atomiques dans un cycle de confiance (conjectured, supported, replicated, contested, refuted) avec des conditions de victoire typées : preuve Lean, vérification SymPy ou seuil de fragilité de simulation. Le moteur a produit des articles de recherche compilés et prêts à soumettre comme résultats réels.
Moteur de Recherche Autonome
~16 sous-agents spécialisés
8 phases du cycle
5 états de confiance
01Ce que c’est
Un système d'orchestration multi-agents LLM auto-améliorant qui attaque de manière autonome des problèmes ouverts en mathématiques et en science, vérifiant les affirmations formellement et produisant des articles de recherche prêts à soumettre.
02Ingénierie
03 Architecture
Orchestration des agents
~16 sous-agents Claude Code
Cycle en 8 phases
DivergenceExtraction de claimsFrictionAudit de qualité des preuvesSynthèse
Graphe de claims épistémiques (SQLite)
Claims atomiquesCycle de confiancePorte de suffisance des preuves
Conditions de victoire typées
Preuve LeanVérification SymPySeuil de fragilité de simulation
Sortie
Articles compilés prêts à soumettre
04 Points clés
- Fait tourner environ 16 sous-agents Claude Code spécialisés sur un seul cycle de recherche en 8 phases
- Un graphe de claims épistémiques sur SQLite suit des claims atomiques dans un cycle de confiance (conjecturé, soutenu, répliqué, contesté, réfuté)
- Les claims se résolvent via des conditions de victoire typées : une preuve Lean, une vérification SymPy ou un seuil de fragilité de simulation
- A produit des articles de recherche compilés et prêts à soumettre comme sorties réelles
05Stack
PythonClaude CodeLaTeXaiosqliteSymPyZ3FastAPI
06Statut
actif (en pause)