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.
- robotresearcher
Ich habe gleichzeitig zwei Gedanken zur Anthropomorphisierung dieser Systeme:
1. Wir sollten es weniger tun, weil es unsere Fähigkeit verzerrt, richtig über sie nachzudenken. Diese Prozesse als 'Denken', 'Urlaub' usw. zu bezeichnen, lädt den Leser ein, Ideen und Erwartungen mitzubringen, die durch das, was im System passiert, nicht gerechtfertigt sind.
2. Es ist gut, es weiterhin zu tun, weil die wiederholte Verwendung die Besonderheit oder Magie reduziert, die Menschen offenbar unserem eigenen Verhalten vorbehalten ("Es ist nicht wirklich intelligent/denkend/vernünftig/kreativ"), ohne eine andere Rechtfertigung für diese Position als Gefühle.
Ich tendiere zur zweiten Option.
- dash2
> Die Agenten bekamen außerdem regelmäßig
Urlaub, während dessen sie ihre laufende Arbeit beiseitelegten und zufällige Aufforderungen 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 daraus mitnehmen wirst.
- StrauXX
Erinnert mich stark an diesen LW-Artikel. https://www.lesswrong.com/posts/znbfRXHq285nS7NAh/the-terrar...
- daxfohl
Das ist aufregend und ergibt im Nachhinein irgendwie Sinn. Manchmal ist ein 'frischer Blick' auf ein Problem alles, was man braucht. Jemand, der mit einem anderen Hintergrund kommt und das Problem in anderen Begriffen verstehen und aus einem anderen Blickwinkel daran arbeiten kann. Es muss nicht einmal die Person sein, die die Arbeit macht, sondern nur ein 'das erinnert mich irgendwie an ... hast du daran gedacht, so etwas zu versuchen?', das ein Team aus einer Sackgasse bringen kann, nachdem es auf dieselbe Weise darüber nachgedacht hat und nie Fortschritte gemacht hat.