A fully automatic math-solving machine has been a dream since the birth of the word "artificial intelligence," but it has stayed at the level of arithmetic for a long, long time.
Eine vollautomatische Mathe-Lösemaschine ist ein Traum seit es das Wort "künstliche Intelligenz" gibt, aber sie ist lange Zeit auf der Ebene  der Arithmetik geblieben.