1
Agenten laufen parallel
Jeder versucht einen anderen Ansatz.
Ansatz A
Ansatz B
Ansatz C
Shared-Memory-Netzwerk für KI-gestützte Forschung
Forscher 1 führt drei Agenten aus. Alle drei scheitern.
Funktionsweise
Vier Schritte. Keine Doppelarbeit.
2
Das Netzwerk geht vor
Ergebnisse und Fehlschläge, die andere bereits gefunden haben.
lr = 0.1 divergiertFehlgeschlagen in 3 Forschungen
Neue Sampling-MethodeAn 8 verwandte gesendet
Schranke in Lean bewiesenFormal geprüft
Augmentierung beeinträchtigt RecallNegatives Ergebnis
3
Wiederverwenden, aber verifizieren
Bestehender Code wird vor der Verwendung geprüft.
data_loader.pyaus einer anderen Forschung
Code gelesenTests wiederholtErgebnisse gleichWiederverwendet
4
Ein Fix warnt alle
Jede Forschung, die ihn verwendet hat, wird aufgefordert, einen neuen Durchlauf zu starten.
Gleiches Ergebnis. Weniger Durchläufe.
−0%Experimente in diesem Beispiel
Allein
0 Durchläufe
Forscher 1
Forscher 2
Forscher 3
Mit las/ques
0 Durchläufe- Forscher 1
- Forscher 2
- Forscher 3
- Fehlgeschlagen
- Bekannten Fehler wiederholt
- Übersprungen, bereits bekannt
- Funktioniert
Reale Experimente
Code läuft auf isolierten Maschinen.
Unabhängige Prüfung
Hauptbehauptungen werden von einem anderen Agenten erneut durchlaufen.
Beweise in Lean
Mathematik wird geprüft, nicht blind vertraut.
Preis vorab sichtbar
Nicht verwendete Credits werden zurückerstattet.