Ist künstliche Intelligenz wirklich schlecht in Mathe?

Dies sind Informationen, die Sie vielleicht unbemerkt vorbeigehen sehen: Das Unternehmen DeepMind, eine auf künstliche Intelligenz spezialisierte Google-Tochtergesellschaft, hat einen Algorithmus entwickelt, der Geometrieprobleme lösen kann. Diese KI mit dem Namen AlphaGeometry stellt einen so großen Fortschritt in diesem Bereich dar, dass ihre Ergebnisse in der Fachzeitschrift veröffentlicht wurden Natur.

Wenn wir uns jedoch ansehen, was sie in der Praxis erreicht hat, erscheint es eher unbedeutend: Sie hat es einfach geschafft, bei der Internationalen Mathematikolympiade, einem Wettbewerb, der … für Oberstufenschüler gedacht ist, zur Meisterin aufzusteigen. Diese KI ist auch auf Probleme der euklidischen Geometrie in der Ebene beschränkt, also auf die Probleme, die man im College lernt und die auf Dreiecken und dem Satz von Thales basieren.

Lesen Sie auchNach seiner Siegesserie über den Menschen stellt Google seine künstliche Intelligenz ein

Damit ist AlphaGeometry in der Übung sehr effektiv geworden: Es hat 25 der 30 seit 2000 in diesem Bereich vorgestellten Probleme gelöst. Aber warum sollten wir überrascht sein? Oder besser gesagt, warum sollte man überrascht sein? Schließlich schlagen KIs mittlerweile die größten Schachspieler um Längen, konkurrieren mit den besten Go-Spielern, sind in der Lage, auf komplexe Fragestellungen relevant und mit einem angepassten Sprachniveau zu reagieren, Bilder aller Art zu erzeugen, das Wetter zu antizipieren usw Vorhersagen der 3D-Konformation von Proteinen anhand ihrer chemischen Formel, wozu kein physikalisches Modell in der Lage ist.

Naiverweise hätte man meinen können, dass es relativ einfach sein würde, „kleine“ Geometriedemonstrationen zu finden. Und allgemeiner gesagt, dass …