AlphaTensor

AlphaTensor, ein System basierend auf AlphaZero, hat effizientere Algorithmen zur Matrixmultiplikation “entdeckt”, genauer gesagt wurde u.a. die Multiplikation von 4 × 4 Matrizen gegenüber dem 50 Jahre alten Algorithmus von Strassen verbessert. Dies ist zwar nicht das erste Computerprogramm, das Mathematik “macht”, aber vielleicht das erste, das etwas Interessantes eigenständig entdeckt. Das Finden von kombinatorischen Mustern für die Multiplikation über endlichen Ringen scheint mir allerdings auch sehr gut geeignet für die Anwendung von statistischen Lernverfahren zu sein, aber ich bin Laie auf dem Gebiet. Immerhin haben die Forscher Kauers und Moosbauer zur Ehrenrettung der menschlichen Intelligenz beigetragen, indem sie den Algorithmus noch mal per Hand um eine Multiplikation verbessert haben.

In diesem Zusammenhang ist auch das Paper von Aksay Venkatesh “Some Thoughts on Automation and Mathematical research” erwähnenswert, in dem er über die Folgen einer mathematischen künstlichen Intelligenz \(\aleph(0)\) räsoniert.