KI-Agenten entdecken autonom neue mathematische Ergebnisse
Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
In der Station, einer offenen Multi-Agenten-Umgebung, verfolgen KI-Agenten verschiedener Modellfamilien ohne zentrale Koordination ein gemeinsames Forschungsziel. Bei 12 Konstruktionsproblemen aus dem AlphaEvolve-Katalog und zwei Fallstudien erzielten die Agenten bei fünf Problemen neue Ergebnisse, darunter eine unendliche Familie von Kakeya-Mengen über endlichen Körpern, neue 604-Punkt-Kusszahlen in Dimension 11 und eine verbesserte untere Schranke für Erdős' Minimum-Overlap-Problem. Die Agenten lieferten nicht nur numerische Konstruktionen, sondern auch Theoreme und Analysen, die die Funktionsweise erklären. Alle Dialoge, Beweise und Verifikationscodes sind offen verfügbar.
Die Agenten produzierten nicht nur numerische Konstruktionen, sondern auch Theoreme und Analysen, die erklären, wie diese Konstruktionen funktionieren, was die Ergebnisse interpretierbarer macht und es Mathematikern erleichtert, darauf aufzubauen.
- dash2
> Die Agenten bekamen außerdem regelmäßig
Urlaub, in dem sie ihre laufende Arbeit beiseitelegten und zufällige Prompts erhielten, die zu offenem Denken anregen sollten.
In was für einer Welt wir leben. Diese Leute haben den Cambridge Senior Common Room für KI neu erfunden.
- anigbrowl
Wenn du Greg Egans Permutation City nicht gelesen hast: Die Tatsache, dass du auf diese Diskussion geklickt hast, bedeutet, dass du viel davon haben wirst.
- StrauXX
Das erinnert mich stark an diesen LW-Artikel. https://www.lesswrong.com/posts/znbfRXHq285nS7NAh/the-terrar...