Multi-Agent-System entdeckt neue mathematische Konzepte
Ein neu entwickeltes Multi-Agenten-Modell hat gezeigt, dass mathematische Konzepte durch ein Zusammenspiel von Experimenten, Beweisversuchen und Gegenbeispielen entstehen können. Das System generiert eigenständig Vermutungen, versucht sie zu beweisen und nutzt das Feedback, um Entscheidungen zu treffen und die Datenverteilung kontinuierlich anzupassen.
Inspiriert von der Geschichte von Eulers Polyeder-Vermutung und einer offenen Herausforderung in der Fachliteratur, wurde das Modell auf die Aufgabe getestet, das Konzept der Homologie aus polyhedralen Daten und linearen Algebra-Kenntnissen selbstständig zu rekonstruieren. Das System hat diese Lernaufgabe erfolgreich abgeschlossen.
Die durchgeführten Ablationsstudien prüfen statistisch die Wirkung des vollständigen dynamischen Ansatzes und kontrollieren gleichzeitig die experimentellen Rahmenbedingungen. Die Ergebnisse bestätigen die zentrale These: die Optimierung einer geeigneten Kombination lokaler Prozesse kann zu überraschend gut abgestimmten Vorstellungen von mathematischer Interessantheit führen.