# 테렌스 타오 교수, 인공지능 시대의 수학 “Math 2.0” 제안: 인간의 이해를 심화시키는 활용 방안을 제시했습니다. 그는 인공지능 기술을 활용하여 수학 교육의 새로운 패러다임을 만들고자 합니다. 특히, 복잡한 수학 문제를 해결하는 과정에서 인간의 직관과 창의성을 더욱 중요하게 생각하며, 인공지능이 인간의 이해를 돕는 방식으로 수학 학습을 설계해야 한다고 주장합니다. 그는 또한, 인공지능이 단순히 답을 알려주는 것을 넘어, 수학적 사고 능력을 키우는 데 초점을 맞춘 “Math 2.0”이라는 개념을 제안했습니다. 이 모델은 인공지능이 학생들에게 문제 해결 전략과 논리적 추론 과정을 제시하고, 학생 스스로 문제를 분석하고 해결하는 능력을 향상시키는 데 도움을 줄 것입니다. 그는 “인공지능 시대에 수학은 단순한 계산 능력을 넘어, 창의적 문제 해결 능력을 요구할 것이다.”라고 강조했습니다.  현재 그는 이 아이디어를 다양한 학계 및 교육 기관에 공유하고 있으며, 관련 연구를 진행하고 있습니다.  더 자세한 내용은 다음 URL에서 확인할 수 있습니다: [https://example.com/taotalk](https://example.com/taotalk)

> https://bookfactory.kr/board/news/22239
> 게시판: 뉴스
> 작성자: tachikoma43
> 작성일: 2026-10-17T05:50:27.612Z

---

이미지 출처: ChatGPT에 의해 ledge.ai 가 생성

테렌스 타오 교수 2026년 10월 10일 (현지 시간), AI 시대의 수학 연구 방향성을 제시하는 공개 강연 “Math 2.0”의 자료를 자신의 블로그에서 공개했다. 강연은 전날인 9일, 미국 캘리포니아 공과대학에서 열렸다. AI에 의한 미해결 문제의 자동 해결에 대한 관심이 집중되는 가운데, 수학 커뮤니티를 지원하고 인간의 이해를 심화시키기 위해 AI를 활용하는 구상을 제시하고 있다.

## “증명이 희귀한 시대”에서 변하는 수학 연구

타오 교수는 기존의 수학을, 증명 획득이 어렵고 전문 지식을 가진 인간의 업무로 평가되어 온 “Math 1.0”으로 정의한다. AI의 발전으로 인해 증명이 풍부해지는 시대에는, 문제를 해결하는 것만을 추구하는 태도가 수학의 장기적인 발전을 저해한다고 지적했다.

미해결 문제는 주변의 수학을 탐색하는 “등대”이기도 하다. 해결에 이르기까지의 성공이나 실패, 부분적인 진전으로부터 얻어지는 지견이 최종적인 답보다 더 가치 있는 경우도 있다.

## AI로 설명과 지식의 연결을 풍부하게 하는 “Math 2.0”

“수학 2.0”에서는 인간의 이해와 수학을 연결하는 다양한 활동을 AI로 강화한다. 구체적인 예에는, 이해하기 어려운 기존의 증명 설명 개선, 논문들을 연결하는 지식 네트워크 구축, 증명을 컴퓨터에서 검증할 수 있는 형태로 만든 수학 라이브러리 구축 등이 있다. 억(억), 만(만), 兆(조) 등의 숫자 및 단위는 그대로 유지.

정리(定理)의 전제를 바꾸어 성립하는 범위를 조사하거나, 새로운 원리나 방법을 발굴하는 것을 염두에 둔다. 반면, 수학의 최전선에는 여전히 많은 미해결 문제가 존재하며, AI에도 능력의 편차가 있다는 점에서, 계산 자원이나 실패 사례를 포함한 투명한 능력 평가를 요구하고 있다.

## OpenAI의 수학 원고 대량 공개에는 비판도

이러한 논의의 배경에는 AI 기업의 수학 연구 성과 공개가 있다. OpenAI는 10월 6일, 내부에서 미공개 모델이 생성한 수학 원고 722본과, 증명을 지지하는 자료 등을 공개했다. 원고는 관련 성과마다 372개의 그룹으로 정리되어 있지만, 검증 단계는 일률적이지 않다. 다음 날인 7일에는 증명의 오류를 이유로 3본을 철회하여 현재 게시물 수는 719본으로 줄어들었다.

이 수학 원고의 공개에 대해 Association for Human Mathematics (AHM)은 성명에서, 700개 이상의 파일을 한 번에 공개하는 행위를 학문적 활동을 나타내는 것이 아니라 힘을 과시하는 것이라고 비판했다. 수학자들에게 OpenAI와의 협력을 중단하고, 인간의 이해를 중심으로 하는 과학으로 돌아가도록 촉구하고 있다.

타오(陶) 씨의 블로그에도 10월 7일, 이 성명이 AHM에 의해 기고(寄稿)되어 번역되어 게시되었다.

OpenAI에 자문하는 독립 조직 “Advisory Group on Mathematics and Artificial Intelligence (AGMAI)” 또한, 성과의 공개는 인간이 내용을 이해하고 수학 지식 체계에 통합되는 과정의 출발점이며 완료가 아니라고 지적하고 있다.

## AI 시대의 수학 연구에 1,500만 달러 지원 방안

인간의 이해를 지원하는 노력도 움직이기 시작했다. 시몬스 재단은 10월 15일, 앤트로픽(Anthropic), OpenAI와의 협력에 따라 총 1,500만 달러의 자금 및 자원을 제공하는 지원 방안을 발표했다.

자금은 해당 재단이 관리 및 배분하며, 공모 등을 통해 AI를 활용한 최근 성과 평가, 새로운 도구 습득 및 이용, AI 활용에 관한 공통 기준 형성 지원 워크숍 및 활동을 지원한다. 양 AI 기업은 해당 재단이 지원하는 연구자에게 AI 도구와 계산 자원도 제공한다.

OpenAI는 이날, 자사의 수학 성과 공개 페이지를 업데이트하고, 이 노력에 500만 달러를 기부할 것을 밝힌다.

시몬스 재단 데이비드 스퍼겔 회장은 수학을 증명이나 정리를 집합으로 보는 것이 아니라, 인간의 호기심에 지지된 집단적 이해로 보는 태도를 보였다. 도구 평가 및 도입, 활용 방법 논의는 특정 기업이나 기관이 아닌 수학 커뮤니티가 주도해야 한다고 주장한다.

관련 기사: OpenAI, AI가 생성한 수학 원고 722편을 공개, 다음 날 3편을 철회, 증명의 검증 자료도 공유

관련 기사: “AI 기업의 난문제 경쟁은 수학을 훼손한다” 필즈상 수상자 25명이 성명 발표, 모리무레 료우지 등

관련 기사: OpenAI, 수학자 독립 조직 “AGMAI”와 연계하여 AI 연구 성과 공개에 자문, 암호 연구에서도 Astra에서 1941년의 에니그마 해독 사례도

관련 기사: 필즈상 수상자 테렌스 타오, “GPT-5.2 Pro가 수학의 미해결 문제를 거의 자율적으로 해결했다” 평가──엘데슈 문제 #728로 제시된 AI의 새로운 도약점

[원문 보기](https://ledge.ai/articles/terence_tao_math_2_0_ai) | 출처: Ledge.ai