55 Additions Suffice for 3x3 Matrix Multiplication at Rank 23

Stellen Sie sich vor, Sie sind ein Meisterkoch, der versucht, einen riesigen, komplexen Kuchen zu backen. Das Rezept erfordert, dass Sie Dutzende von Zutaten auf ganz bestimmte Arten miteinander vermischen. In der Welt der Computer ist das „Vermischen“ von Zutaten wie das Multiplizieren von Zahlen, und das „Backen des Kuchens“ ist wie das Multiplizieren zweier Zahlenraster (Matrizen), um ein neues Ergebnis zu erhalten. Lange Zeit dachten Mathematiker, der einzige Weg, dies zu tun, sei, dem Standardrezept zu folgen: jede einzelne Zahl multiplizieren und dann addieren. Doch in den 1960er Jahren entdeckte ein Genie namens Strassen einen magischen Trick. Er erkannte, dass man, wenn man die Reihenfolge der Vermischung neu arrangiert, einige der schweren Arbeiten überspringen kann. Man konnte denselben köstlichen Kuchen mit weniger „Multiplikationen“ backen, welche die teuersten und zeitaufwendigsten Schritte in der Küche sind.

Es gibt jedoch einen Haken: Während man bei den teuren Multiplikationen sparen kann, muss man oft mehr „Additionen“ (Mischschüsseln) durchführen, um die Zutaten bereit zu machen. Stellen Sie sich das so vor: Anstatt nur Mehl in eine Schüssel zu gießen, muss man die Zutaten vielleicht auf eine ganz bestimmte Weise hacken, rühren und falten, bevor man sie kombinieren kann. Das Ziel für Informatiker war es, die perfekte Tanzroutine zu finden, die so wenig Schritte wie möglich verbraucht. Diese Arbeit, die Sie gleich lesen werden, handelt von einem Team, das einen neuen, etwas effizienteren Tanz für eine ganz bestimmte Art von Kuchen gefunden hat: eine 3x3-Matrix. Sie haben die Anzahl der „schweren Lasten“ (Multiplikationen) nicht geändert, aber sie haben die Anzahl der Mischschritte (Additionen) um eins reduziert und damit ein winziges, aber signifikantes Stück Arbeit eingespart.

Der neue rekordverdächtige Tanz

Diese Arbeit, geschrieben von Samurdhi Karunaratne und Anushka Idamekorala von Logical AI, verkündet einen neuen Rekord für das Multiplizieren zweier 3x3-Zahlenraster. Sie haben einen Weg gefunden, dies mit nur 55 Additionen und 23 Multiplikationen zu erledigen.

Um zu verstehen, warum das eine große Sache ist, stellen Sie sich das bisherige beste Rezept vor. Der aktuelle Champion, erschaffen von einem Forscher namens Sun, benötigte 56 Additionen. Die Autorinnen dieser Arbeit haben nicht das ganze Rad neu erfunden, indem sie eine völlig neue Art der Matrixmultiplikation entwickelten; stattdin nahmen sie ein bestehendes, öffentliches Rezept (erstellt von Perminov), das 58 Additionen und in früheren Versionen 59 Additionen benötigte, und optimierten die „Vorbereitungsschritte“. Sie erkannten, dass sie durch die Neuordnung der Vor-Mischschritte die Gesamtzahl der Additionschritte auf 55 senken konnten.

So funktioniert ihre neue „Küche“, unterteilt in drei einfache Phasen:

1. Die Vorbereitung der linken Zutaten: Bevor gemischt wird, nehmen sie das erste Zahlenraster (nennen wir es das „Linke“ Raster) und führen 13 einfache Additions- oder Subtraktionsschritte durch, um 23 spezielle Mischungen zu erstellen.
2. Die Vorbereitung der rechten Zutaten: Sie machen dasselbe für das zweite Raster (das „Rechte“ Raster) und nutzen dafür 14 Schritte, um dessen 23 spezielle Mischungen zu erstellen.
3. Das große Mischen und die endgültige Montage: Sie multiplizieren die passenden Mischungen aus den linken und rechten Gittern (insgesamt 23 Multiplikationen). Dann nehmen sie diese 23 Ergebnisse und führen 28 weitere Additionschritte durch, um das endgültige 3x3-Ergebnis zusammenzusetzen.

Wenn man die Vorbereitungsarbeit (13 + 14) und die endgültige Montage (28) zusammenzählt, erhält man genau 55 Additionen. Dies ist einer weniger als das bisherige Beste, was sie zur effizientesten bekannten Methode für diese spezifische Art der Berechnung macht.

Warum das wichtig ist (und warum nicht)

Sie fragen sich vielleicht: „Ist das der absolut beste Weg, es zu tun?“ Die Autorinnen sagen sehr vorsichtig: Nein, nicht unbedingt. Sie haben bewiesen, dass es für diese spezifische Anordnung der Zutaten, die sie gewählt haben, das Beste ist, was man tun kann. Sie haben eine rigorose mathematische Suche durchgeführt, um zu beweisen, dass man mit weniger Schritten für dieses spezielle Rezept nicht auskommt. Sie geben jedoch zu, dass es ein völlig anderes Rezept (eine andere Anordnung der Zutaten) geben könnte, das sogar noch schneller sein könnte. Sie haben es noch nicht gefunden, und sie behaupten auch nicht, das gesamte Rätsel der Matrixmultiplikation für immer gelöst zu haben.

Sie stellen auch klar, dass dies nicht nur ein glücklicher Zufall oder eine Computersimulation ist, die falsch sein könnte. Sie haben ein „Zertifikat“ der Wahrheit bereitgestellt. Sie haben das gesamte schrittweise Rezept (ein sogenanntes „Straight-Line Program“) aufgeschrieben und es durch mehrere unabhängige Computerprogramme (geschrieben in Python und Node.js) laufen lassen, um jede einzelne der 729 mathematischen Regeln zu prüfen, die wahr sein müssen, damit das Rezept funktioniert. Jede einzelne Prüfung war erfolgreich. Das bedeutet, die Mathematik ist solide, und das Rezept funktioniert perfekt für jedes beliebige Zahlensystem, selbst für die seltsamen, bei denen die Reihenfolge der Multiplikation eine Rolle spielt.

Die KI hinter dem Vorhang

Eine interessante Wendung in dieser Geschichte ist, wie das Rezept gefunden wurde. Die Autorinnen enthüllen, dass ein menschlicher Forscher ein KI-System (speziell einen Agenten, der auf OpenAI's GPT-5.6 Sol basiert) geleitet hat, um dieses Rezept zu entdecken. Der Mensch setzte das Ziel: „Finde einen Weg, den 56-Additionen-Rekord zu brechen.“ Die KI erkundete die Landschaft bestehender Rezepte, fand die ältere 58-Additionen-Version von Perminov und erkannte, dass sie durch das Anpassen der Vorbereitungsschritte drei zusätzliche Schritte einsparen konnte. Die KI überprüfte dann ihre eigene Arbeit, schrieb den Code und verifizierte die Mathematik. Es ist ein perfektes Beispiel für die Zusammenarbeit von Mensch und Maschine: Der Mensch lieferte die Richtung und das „Warum“, während die KI die schwere Arbeit übernahm, durch Millionen von Möglichkeiten zu suchen, um das „Wie“ zu finden.

Am Ende ist diese Arbeit ein kleiner, aber präziser Sieg. Sie zeigt, dass selbst in einem Bereich so alten wie der Matrixmultiplikation noch winzige, verborgene Effizienzen darauf warten, entdeckt zu werden, wenn man nur genau genug hinsieht. Es ist wie das Finden eines neuen, etwas kürzeren Pfades durch einen vertrauten Wald. Man kommt immer noch am selben Ort an, aber man kommt mit nur einem Schritt weniger dort an.