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.
"인공 지능"이라는 단어가 탄생한 후로 전자동으로 수학 문제를 풀 수 있는  기계를 만들 수 있을 거라고 꿈꿔왔습니다. 하지만 계산할 수 있는 연산의 수준은 오랫동안 더이상 발전하지 못했지요.