이 분야에서 가장 영향력 있는 살아있는 인물로 널리 알려진 UCLA 수학자 테렌스 타오(Terence Tao)는 인공 지능이 수학을 100년 전 수학 분야를 재편했던 근본적인 위기에 필적할 만한 격동의 시기로 밀어넣고 있다고 주장하는 에세이를 발표했습니다. 'AI 시대의 수학'이라는 제목의 논문은 8월 17일 arXiv에 게재되었으며, 타오가 2026년 국제 수학자 회의에서 진행한 공개 강연을 바탕으로 작성되었습니다.

이 에세이는 연구원과 엔지니어들 사이에서 금주의 가장 많이 논의되는 과학 텍스트 중 하나로 빠르게 자리 잡았으며 Hacker News와 같은 포럼에서 많은 청중을 끌어 모았습니다. AI가 실제로 연구 수준의 수학을 수행할 수 있는지 여부에 대해 지난 3년 동안 논쟁을 벌여온 분야에서 타오의 주장은 질문을 완전히 바꿉니다.

진실이 아닌 가치의 위기

Tao의 역사적 구성은 의도적입니다. 대략 1900년에서 1930년 사이에 수학은 1901년 러셀의 역설과 1931년 괴델의 불완전성 정리로 인해 흔들렸습니다. 이 발견으로 인해 수학자들은 비공식적인 가정을 버리고 이 주제가 오늘날에도 여전히 기초를 두고 있는 명확하고 엄격한 기반을 구축해야 했습니다. 그는 이러한 혼란이 궁극적으로 수학을 더 강하게 만들었다고 주장합니다.

그가 도출한 유사점은 정확합니다. 현재 스트레스 테스트를 받고 있는 것은 진리에 대한 수학의 틀이 아니라 "수학적 가치와 실천의 대체로 암묵적인 틀"입니다. 즉, 커뮤니티가 기여로 간주하는 것, 보상하는 것, 이해한 것으로 간주하는 것, 누가 또는 무엇을 작업한 것으로 간주하는지입니다. 지난 위기가 암묵적인 것을 명백하게 만들었던 것처럼 Tao는 이번 위기도 수학자들이 결코 기록할 필요가 없었던 목표를 성문화하도록 강요할 것이라고 주장합니다.

역량 논쟁 건너뛰기

이 에세이의 가장 눈에 띄는 구조적 선택은 AI가 수학을 할 수 있는지 여부에 대한 논쟁을 거부한다는 것입니다. 대신 타오는 연구 수준의 수학적 작업을 수행할 수 있는 AI 도구가 등장할 것이라는 가설을 전제로 하고 그 가정의 모든 하위 항목을 실제 문제로 취급합니다. 그는 이것을 "커뮤니티 응답 질문"이라고 부릅니다. 수학 커뮤니티는 능력이 실제인지 여부가 아니라 어떻게 응답해야 할까요?

의도적으로 직교하는 움직임입니다. Tao의 말에 따르면 모델 기능에 대한 논쟁은 추상적으로나 핵심에서 벗어나 해결이 불가능합니다. 수학이 무엇을 위한 것인지, 수학자들이 실제로 가치를 두는 것이 무엇인지에 대한 긴급한 질문은 내일 AI의 발전이 정체되더라도 답을 요구할 것입니다.

희소성 증명, 풍부함 증명, 굿하트의 법칙

에세이의 핵심은 자동화로 인해 가장 직접적으로 위협받는 수학적 실천의 구성 요소인 문제 해결에 대한 사례 연구입니다. Tao는 검증된 원본 증명이 드물고 귀중한 증명 부족 경제에서 기계 생성 주장이 저렴하고 풍부한 증명 풍부 경제로 현장이 이동할 때 어떤 일이 발생하는지 조사합니다.

그의 키워드 목록은 공식화, 증명 보조, 동료 검토, Goodhart의 법칙 등 그가 다루는 근거를 나타냅니다. 마지막 항목(측정값이 일단 목표가 되면 더 이상 좋은 측정값이 아니라는 원칙)은 전체적으로 반복됩니다. 출판 횟수, 경쟁 결과 및 정리 출처는 모두 수학적 기여에 대한 프록시 역할을 했습니다. AI가 이러한 프록시를 대규모로 부풀릴 수 있는 세상에서 커뮤니티는 역사적으로 계산할 수 있었던 것보다 실제로 가치 있는 것에 보상해야 합니다.

이 에세이는 기술이 발전함에 따라 커뮤니티의 답변도 진화할 것이라는 솔직한 인정과 함께 Tao 자신이 AI 지원, 공식적으로 검증된 수학 실험에서 옹호한 종류의 공식 증명 환경을 포함하여 새로운 워크플로에 대한 권장 사항과 설문 조사로 마무리됩니다.

수학 에세이가 수학 밖에서 중요한 이유

Tao는 특이한 인물입니다. 멀리서 논평하는 대신 증명 보조자 및 AI 도구와 직접 작업하며 수년을 보낸 필즈 메달리스트입니다. 거의 모든 연구 분야가 그가 설명하는 것과 동일한 반전에 직면하기 때문에 이러한 실질적인 참여는 순수한 수학을 넘어서는 에세이의 무게를 부여합니다. 동료 검토, 저자, 신용 및 기여 정의는 물리학, 생물학 및 컴퓨터 과학에서 동일한 압력을 받고 있습니다. 수학의 100년 된 기초가 명확하지 않은 분야는 기초를 명확하게 만드는 데 앞장서고 있습니다.

지금까지의 반응은 논쟁이 시작되었음을 시사합니다. 토론 스레드는 학계 전반에 유용한 렌즈로서 Tao의 희소성에서 풍부성으로의 프레임에 초점을 맞추었으며, 특히 가치의 위기는 기초의 위기와 달리 소수의 논리학자 그룹에 의해 해결될 수 없다는 점에 주목했습니다. 이는 저널, 채용 위원회, 보조금 기관, 현재 압박을 받고 있는 암묵적 규범을 기반으로 경력을 쌓은 수학자 등 전체 커뮤니티에서 해결해야 합니다.

타오의 결론은 놀라기보다는 궁극적으로 건설적이다. 근본적인 위기는 한 세기 동안의 테스트에서 살아남은 신뢰할 수 있는 프레임워크를 만들어 냈습니다. 그는 수학이 실제로 가치를 두는 것이 무엇인지에 대한 철저하고 정직한 조사를 통해 학문 분야가 이전보다 더 강하고 회복력이 커질 수 있다고 주장합니다. 단, 커뮤니티가 상황에 따라 선택을 내리기 전에 기록되지 않은 규칙을 명시적으로 만드는 작업을 수행한다면 말이죠.

---

AI보다 앞서 나가세요

최신 AI 뉴스, 분석, 획기적인 소식을 모두 한 곳에서 받아보세요.

AI 뉴스 자세히 보기 →