계산이야 원래 컴퓨터가 존나 잘하는거고

자연어를 해석해서 풀이과정까지
  
다 증명하는게 미네르바더만

계산은 어짜피 존나 잘하니까

자연어만 해석할수있으면

세계 7대난제같은것도 바로 푸는거 아님?