도입: Grok4란? Grok4는 2025년 7월에 나온, xAI의 인공지능입니다. 방대한 컴퓨팅 자원을 바탕으로 뛰어난 성능을 보여주고 있는 모델입니다. 이 모델은 특히 과학, 수학분야에서 뛰어난 역량을 발휘합니다. 그밖에 검색기능도 다른 모델은 따라갈 수 없는 디테일을 자랑합니다. x(구 트위터)의 정보도 가져온다는 것은 큰 장점입니다. 그런데 수학문제 풀이에 있어서 문제점이 있습니다. 수학문제를 풀때 grok4는 수치적으로 접근한다는 것입니다. 예를 들어 우리가 x값을 찾을때는 보통 방정식을 세우고, 그 방정식을 푸는 과정을 거치는데, grok4는 계산기를 활용하여 찾는 경향이 있습니다. 공학이 아니라 수학을 공부할때는 분명히 장애가 될 것입니다. 아래는 예시문제와 GPT5와 grok4의 풀이 비교..