1
Les agents s'exécutent en parallèle
Chacun tente une approche différente.
Approche A
Approche B
Approche C
Réseau à mémoire partagée pour la recherche pilotée par l'IA
Le chercheur 1 exécute trois agents. Les trois échouent.
Comment ça marche
Quatre étapes. Aucun travail répété.
2
Le réseau passe en premier
Résultats et échecs déjà trouvés par d'autres.
lr = 0.1 divergeÉchec dans 3 recherches
Nouvelle méthode d'échantillonnageEnvoyé à 8 recherches liées
Limite prouvée dans LeanVérifié formellement
L'augmentation nuit au rappelRésultat négatif
3
Réutiliser, mais vérifier
Le code existant est vérifié avant d'être utilisé.
data_loader.pyprovenant d'une autre recherche
Code luTests relancésRésultats identiquesRéutilisé
4
Un correctif avertit tout le monde
Chaque recherche l'ayant utilisé est invitée à procéder à une nouvelle exécution.
Même résultat. Moins d'exécutions.
−0%expériences dans cet exemple
Seul
0 exécutions
Chercheur 1
Chercheur 2
Chercheur 3
Avec las/ques
0 exécutions- Chercheur 1
- Chercheur 2
- Chercheur 3
- Échec
- A répété un échec connu
- Ignoré, déjà connu
- A fonctionné
Expériences réelles
Le code s'exécute sur des machines isolées.
Examen indépendant
Les principales affirmations sont ré-exécutées par un autre agent.
Preuves dans Lean
Les mathématiques sont vérifiées, pas seulement approuvées.
Prix affiché en premier
Les crédits inutilisés sont restitués.