https://m.dongascience.com/news.php?idx=60085
2023년 6월의 글이다. 당시는 ChatGPT 자체가 언어모델, 내지는 일반인이 쉬이 사용 가능한 AI모델의 대명사로 불리던 시기라는 점이 주목된다. 지금처럼 형식 검증기를 뒤에 붙여 쓰는 모델이 거론되지 않았고, 단순히 ChatGPT의 역량이 얼마나 되는지 가늠되지 않아 무언가를 계속 시켜 보던 시절이었다.
2025년 9월 현재에 읽으니 다음 구절들이 인상깊다.
고등학생이나 대학생, 심지어는 일부 대학원생에게는 좋은 멘토가 될 수 있다고 생각해요. 교과서 수준의 수학 문제에는 어느 정도 괜찮게 답변하니까요. 물론 사람이 더 낫겠지만요. 사람은 일주일에 몇 시간만 만날 수 있지만, AI는 원하면 언제든지 이용할 수 있다는 장점도 있지요."
- 테렌스 타오 교수님
이세돌과 알파고가 대국하기 전에 바둑 기사들은 알파고가 이세돌을 절대 이길 수 없다고 이야기했어요. 결국 알파고는 보통 바둑 기사가 떠올릴 수 없는 창의적인 수를 둬서 압승했어요. 바둑과 마찬가지로 수학 문제도 없던 걸 만들어내는 게 아니라 있는 것을 이용해서 창의력을 발휘하는 거예요. 그렇다면 장기적으로 봤을 때 AI가 수학 연구도 충분히 해낼 수 있을 거예요.
- 김재훈 교수님
그리고 이런 대목도 있었다.
챗GPT 플러스는 수학 검색엔진 ‘울프럼 알파’와 플러그인으로 연결하는 기능이 추가됐습니다. 플러그인은 다른 웹사이트와 상호작용할 수 있는 확장 프로그램을 말합니다. 울프럼 알파를 연결한 챗GPT 플러스는 기존보다 수학 문제를 정확하게 계산해낼 뿐만 아니라 답을 그래프와 도표로 시각화할 수 있지요. “이는 챗GPT에게 문제 해결을 도울 계산기를 쥐여준 것과 같다”고 말한 서민준 KAIST 김재철AI대학원 교수는 “덕분에 수학에서는 새로운 시대가 찾아올 것”이라고 기대했습니다.
당시 울프럼 알파는 자연어를 파싱해 질의응답을 처리할 수 있었다. 구글 검색과 유사한 성격을 지녔다고 볼 수 있다. 그러나 오늘날의 형식 검증기를 통합한 모델과는 전혀 다른 접근이다.