In einigen Fachgebieten begegnet man komplizierten mathematischen Ausdrücken: sei es eine Differenzialgleichung in der Biologie, die die Ausbreitung einer Viruserkrankung modelliert, oder ein Integral in der Physik, das die Länge einer bestimmten Kurve berechnet. Um solche Aufgaben zu meistern, muss man häufig tief in die Trickkiste greifen, indem man zum Beispiel einige Terme mühsam umformuliert oder eine Gleichung partiell integriert. Oft kommt man allerdings nicht darum herum, in Formelsammlungen nachzuschlagen. Im Alltag greifen Forscher meist auf algebraische Computerprogramme wie Mathematica, Maple oder Matlab zurück, die mit mathematischen Ausdrücken umgehen können.

Deren Algorithmen sind allerdings nicht perfekt. Nicht immer finden sie das korrekte Ergebnis, zudem brauchen sie für einige Probleme extrem lange. Die französischen Informatiker Guillaume Lample und Francois Charton, beide bei Facebook AI Research in Paris, haben nun einen Algorithmus entwickelt, der diese Aufgabe besser und schneller meistert als bisherige Software. Damit gelang es den Forschern erstmals, einer KI die symbolische Sprache der Mathematik beizubringen …