Eine neue Studie stellt die Station vor, eine Open-World-Umgebung, in der KI-Agenten aus verschiedenen Modellfamilien ohne zentralen Koordinator an mathematischer Forschung zusammenarbeiten. Das System ermöglicht es den Agenten, ihre eigenen Richtungen zu wählen, Experimente durchzuführen und eine gemeinsame Literatur aufzubauen.

Über 12 Probleme aus dem Alpha-Evolve-Katalog und zwei zusätzliche Fallstudien hinweg erzielte die Station neuartige Ergebnisse bei fünf Problemen. Dazu gehören eine neue unendliche Familie von Kakeya-Mengen über endlichen Körpern, exakte 604-Punkt-Kusskonfigurationen in Dimension 11 und verbesserte Schranken für die Probleme der diskretisierten Kakeya-Nadel und der Vorzeichenunsicherheit.

Die Forschung erzielte auch eine wesentlich verbesserte untere Schranke für das Problem der minimalen Überlappung von Erdős. Über numerische Ergebnisse hinaus generierten die Agenten Theoreme und erklärende Analysen, wodurch ihre Ergebnisse interpretierbar und für zukünftige Arbeiten nützlich wurden.

Alle Agentendialoge, Beweise und Verifikationscodes werden öffentlich veröffentlicht und bieten eine transparente Aufzeichnung des Entdeckungsprozesses. Dies markiert einen Schritt in Richtung autonomer wissenschaftlicher Erkundung in der Mathematik.