울프럼, AI가 쓴 수학을 사람이 점검하는 도구 만든다

스티븐 울프럼이 9월 28일 AI 시대의 순수수학 연구 방향을 다룬 글을 발표했다. 울프럼은 수학 계산 프로그래밍 언어인 Wolfram Language가 더 많은 순수수학 개념을 표현하도록 확장하는 작업을 진행 중이라고 밝혔다. AI가 수학 문제 요청을 계산할 수 있는 형태로 바꾸고, 사람이 그 결과를 읽고 점검하게 하겠다는 구상이다.

AI가 쓴 수학, 사람이 어떻게 확인할까

울프럼은 AI가 옮긴 수학 표현을 사람이 중간에 들여다보는 방식을 제시했다. AI가 수학 요청을 Wolfram Language로 옮기면, 사람이 그 내용을 확인하고 필요할 때 고친다. 그런 다음 계산이나 증명에 쓴다. 연구자가 AI의 최종 답만 받는 데서 나아가, AI가 질문을 어떻게 옮겼는지도 살펴보게 하려는 것이다.

확장 작업의 핵심은 추상적인 수학 개념을 정확하게 표현하는 데 있다. 울프럼은 층, 리 군, 클리퍼드 대수 같은 개념을 대상으로 들었다. 개념마다 계산이 되게 하는 데서 그치지 않고, 사람이 그 표현을 읽고 확인할 수 있게 만드는 것이 목표다. AI가 수학을 엄밀한 규칙에 맞춰 옮길 때도 이 표현을 쓰려 한다.

울프럼은 자동으로 만든 증명이 검증을 통과해도 따로 점검이 필요하다고 지적했다. 증명이 규칙에 맞는지와 원래 의도한 명제를 증명했는지는 다른 문제라는 것이다. AI가 처리한 수학 작업을 믿고 쓰려면 출발점이 된 질문이 정확히 반영됐는지 사람이 확인해야 한다고 강조했다.

2014년에도 나온 구상, 지금은 어디까지

순수수학을 Wolfram Language로 폭넓게 표현하려는 생각은 이번에 처음 나온 것이 아니다. 울프럼은 2014년에도 순수수학 전반을 다루는 확장 구상을 내놓았다. 이번 글에서는 그 작업을 AI의 수학 표현과 사람의 검토 과정에 연결해 설명했다. 오래된 구상에 AI를 어떻게 쓸지가 새 논점으로 더해졌다.

Mathematica는 1988년 처음 출시됐고, Wolfram Language와 Mathematica 버전 15는 2026년 6월 나왔다. 울프럼은 이번에 설명한 순수수학 확장이 아직 진행 중인 작업이라고 밝혔다. 이번 글은 완성된 기능을 알리는 내용이 아니라 개발 방향과 연구 방식에 관한 견해를 담았다.

그럼 연구자는 무엇을 하나

울프럼은 어떤 질문을 탐구하고 무엇을 목표로 삼을지는 사람의 역할이라고 주장했다. AI는 여러 논문 사이의 연결을 찾고 수학 작업을 보조할 수 있다고 평가했다. AI의 도움을 받는 범위와 연구 방향을 정하는 책임을 함께 짚은 것이다.

수학 연구에 AI를 써 보려는 독자에게 이번 구상의 핵심은 검토 과정이다. AI가 요청을 어떻게 해석했는지 사람이 읽고 고칠 수 있는 표현을 만들겠다는 목표다. 앞으로 볼 점은 개발 중인 확장 기능이 이런 점검을 실제로 얼마나 돕느냐다.