english: 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.
non_english: Kompletne automatizovaný stroj  na riešenie matematických problémov bol snom od vzniku slovného spojenia umelá inteligencia, ale veľmi dlho zostal len na stupni aritmetiky.