테런스 타오와 OpenAI: 워크숍 공동 주최자에서 “건설적으로 관여할 길이 보이지 않는다”까지

타임라인

1. 2026년 3월

   타오가 OpenAI가 후원한 IPAM 워크숍의 운영을 돕는다. 그 자신의 페이지가 배경을 설명한다. 후원은 2025년 NSF와 NIH 자금이 중단된 뒤의 긴급 모금에서 나왔고 금액은 60,000달러에서 70,000달러였다. 워크숍 중 OpenAI는 그와의 한 시간짜리 인터뷰를 녹화해 몇몇 조각을 광고에 썼다. 그는 돌이켜 보면 더 강하게 반대했어야 했다고 말한다.

   Terence Tao on AI: a living summary (disclosure)

2. 2026년 7월 24일

   국제수학자대회에서 그는 공개 강연 “Mathematics in the age of AI”를 한다. 이 국면을 수학의 논쟁이 아니라 가치관과 실천의 위기라고 부르며, 증명을 푸는 것을 목표로 삼으면 그것이 원래 대신하던 목표에서 떨어져 나갈 수 있다고 경고한다.

   Terence Tao on AI: a living summary (ICM 2026 section)

3. 2026년 9월 9일

   그는 기록을 위한 성명을 올린다. ‘AI 찬성’도 ‘AI 반대’도 아닌 입장을 취하고, 두 갈래 길(책임 있는 도입, 또는 근시안적 목적을 위한 무차별적 사용)을 설명하며, 이 분야가 “안타깝게도 빠르게” 후자에 다가가고 있다고 쓴다.

   Terence Tao on AI: a living summary

4. 2026년 9월 11일

   “A Severe Misalignment of AI in Mathematics”라는 제목의 선언이 필즈상 수상자 25명을 첫 서명자로 해서 공개되며 타오도 그중 한 명이다. 선언은 AI 기업과 수학계의 목표가 심하게 어긋나 있다고 말한다. 문제를 푸는 것은 이해의 대리물이지 목표 자체가 아니기 때문이다.

   Terence Tao on AI: a living summary

5. 2026년 10월 6일

   출시됨: OpenAI가 “Sharing AI progress in mathematics”를 공개한다. 글은 내부 프런티어 모델이 만든 새 수학 결과를 넓게 공개하고, GitHub 저장소에 올리며, 많은 증명의 Lean 형식화와 모델 추론 요약 10건을 공유한다고 말한다. 평균 결과는 ChatGPT Pro 사고 약 세 시간 분량의 계산을 썼다고 말한다.

   OpenAI: Sharing AI progress in mathematics

6. 2026년 10월 6일

   보도이며 OpenAI 글에는 없음: 타오의 페이지는 뉴욕타임스를 인용해 이 공개를 거의 모든 하위 분야에 걸친 350건이 넘는 성과로 설명한다. 대수, 정수론, 이론 전산학, 수리논리, 위상수학이 포함된다. 같은 페이지는 타임스가 OpenAI의 나비에–스토크스 해결 발표를 보도했다고 말한다. 2026-10-22에 읽은 OpenAI 글은 나비에–스토크스를 이름 짓지 않고 350이라는 건수도 주지 않는다.

   Terence Tao on AI: a living summary (citing the Times)

7. 2026년 10월 8일

   타오가 Proofs and Prompts 블로그에서 응답한다. 이 증명들에 관여한 사람 중에 질문에 답하고, 강연하고, 논문을 학술지에 내고, 학생을 지도할 수 있는 이가 한 명도 없다는 점, 특히 젊은 수학자들이 오랜 시간 천천히 쌓아 온 연구 인년(人年)이 무심히 흐트러지는 데 “소름이 끼친다”는 점을 쓴다.

   Terence Tao on AI: a living summary (quoting his post)

8. 2026년 10월 9일

   그는 캘리포니아공과대학에서 공개 강연 “Math 2.0”을 한다. 논지는 증명의 희소성이 Math 1.0의 제도를 만들어 왔다는 것, 증명이 풍부해지면 그 장치가 무너진다는 것, 이 분야의 병목은 기술이 아니라 상상력이라는 것이다.

   Terence Tao on AI: a living summary (Math 2.0 section)

9. 2026년 10월 15일

   사이먼스 재단이 Anthropic, OpenAI와 함께 수학자들이 AI를 이용한 성과를 평가하고 도구를 익히고 기준을 세우도록 돕는 1500만 달러 규모의 사업을 발표한다. OpenAI는 10월 6일 글에 업데이트를 추가해, 그중 500만 달러는 자사 몫이며 사이먼스 재단이 지원하는 연구자에게 모델과 컴퓨팅 접근권도 제공한다고 밝힌다.

   Simons Foundation announcement

10. 2026년 10월 16일

    뉴욕타임스가 인물 기사를 싣는다. 타오는 이 신문에 “나는 전시 체제에 있다”고 말하고, 수학은 거의 하지 못하고 있다고 하며, OpenAI에 대해서는 “지금으로서는 건설적으로 관여할 길이 보이지 않는다”고 말한다.

    The New York Times: Why One of the World’s Greatest Mathematicians Is on a ‘War Footing’

3월의 워크숍, 그때는 말이 되던 거래

타오의 10월 어조를 이해하려면 3월부터 시작해야 한다. 3월의 타오는 AI 기업의 적이 아니었기 때문이다. 그 자신의 페이지에 있는 공개에 따르면 그는 OpenAI가 후원한 IPAM 워크숍의 운영을 도왔다. 그 돈은 기업과의 제휴를 선호한 결과로 나온 것이 아니다. 페이지에 따르면 2025년 NSF와 NIH 자금이 중단된 뒤의 긴급 모금에서 나왔고 후원액은 60,000달러에서 70,000달러였다. 연방 자금을 잃은 연구 기관은 눈앞에 있는 제안을 받아들인다.

같은 공개에는 대가도 기록돼 있다. 워크숍 중 OpenAI는 타오와의 한 시간짜리 인터뷰를 녹화했고, 나중에 몇몇 조각을 광고에 썼다. 타오는 돌이켜 보면 더 강하게 반대했어야 했다고 말한다. 작은 일이지만 나중에 효력을 내는 종류다. 수학자의 목소리에 대한 후원사의 관심과 후원사의 돈에 대한 수학자의 관심이 같지 않았다는 첫 조짐이었다.

애초에 관여한 이유는 전략적인 것이었고 그는 분명히 말한다. 페이지에 따르면 그는 오래도록 업계와 관여하는 편이 “일률적으로 적대하는” 것보다 낫다고 생각했다. 유인은 양방향으로 작용하므로 연구소와 어울리면 이 기술의 수지를 “더 좋은 쪽으로” 움직일 수 있을지도 모르기 때문이다. 또 AI 기업에서 월급을 받지 않는 종신 재직 학자라면 솔직하게 말할 수 있다고도 주장했다. 이것이 이야기의 나머지 부분에서 기억해야 할 입장이다. 그는 어느 진영에 끌려 들어간 것이 아니다. 대화가 결과를 만든다는 쪽에 걸었다.

여름: 문제가 닥치기 전에 말로 옮겨 두다

3월부터 10월까지 타오의 공개 글에서 늘어나는 부분은 AI가 수학을 할 수 있느냐와는 거의 상관없는 우려에 쓰였다. 페이지에 따르면 그 물음에 대한 답은 점차 ‘할 수 있다’가 되어 갔다. 7월 24일 국제수학자대회에서 그는 이 국면을 수학의 가치관과 실천의 뿌리에서 일어난 위기로 자리매김했다. 논지는 이렇다. 문제 풀이는 연구 수학에서 역사적으로 가장 눈에 띄는 목표였지만 그것은 늘 더 느린 목표의 대리물이었다. 이해하는 것, 이론을 세우는 것, 다음 세대를 기르는 것이다. 문제 풀이가 어려운 동안에는 대리물이 목표를 따라갔다. 기계가 싸게 해답을 내놓을 수 있게 되면 대리물은 목표를 따라가지 않게 되고, 그것을 더 밀어붙이면 해가 된다고 그는 경고했다.

그는 이 장치에 경제학의 이름, 굿하트의 법칙을 붙였다. 지표가 목표가 되면 좋은 지표가 아니게 된다는 것이다. 같은 페이지에는 9월의 에세이도 기록돼 있다. 그는 수학의 미해결 문제가 재생 불가능한 자원 같은 것이 되었다고 논한다. 해답이 이미 공개된 문제는 무언가를 평가하는 재료로서 영구히 유용성이 떨어지기 때문이다. 같은 시기에 그는 소수의 유한 간격에 대한 반사실을 썼다. 벤치마크에 굶주린 AI 기업이 처음부터 그 자리에 있었다면 실패한 시도와 새로운 기법으로 가득한 수십 년의 공동 이야기가 어떻게 펼쳐졌을까. 곧바로 내려가는 한계값, 포화됐다고 선언되는 문제, 가르칠 것이 거의 남지 않는 상황이다.

이것들은 10월 6일의 일이 아니며, 바로 거기에 요점이 있다. OpenAI 공개 몇 주 전에 타오는 자신이 두려워하는 실패의 모습을 장치와 함께 자세히 적어 두었다. 공개가 왔을 때 그의 반응은 새로운 위험을 발견한 사람의 것이 아니었다. 예보가 예정대로 도착하는 것을 지켜보는 듯했다. 9월 9일 성명이 바로 그렇게 말한다. 2023년부터 두 갈래 길이 보였다. 책임 있는 도입, 또는 근시안적 목적을 위한 무차별적 사용. 그리고 “우리는 안타깝게도 빠르게” 후자에 다가가고 있다고. 이틀 뒤 그는 “A Severe Misalignment of AI in Mathematics” 초기 문안에 서명한 필즈상 수상자 25명 중 한 명이 되었다. 이 선언은 능력 문제를 순순히 인정해 도구가 이제 주요 미해결 문제를 풀 수 있다고 말한 뒤, 그들이 우려하는 바로 곧장 나아갔다. 문제를 푸는 것은 개념적 이해의 대리물일 뿐이고, 참인 명제를 대량으로 찍어 내면 새로운 발상에 생명을 불어넣기는커녕 비옥한 토양을 해칠 수 있다는 것이다.

10월 6일: OpenAI가 공개한 것

10월 6일 OpenAI는 “Sharing AI progress in mathematics”라는 글을 공개했다. 열흘 뒤 뉴욕타임스는 타오의 인물 기사에서 그날 쏟아진 것을 대수, 정수론, 이론 전산학, 수리논리, 위상수학을 포함해 이 분야 거의 모든 하위 분야에 걸친 350건이 넘는 성과라고 설명한다. 또 수년간 매달려 온 문제를 거의 풀기 직전이던 수학자들이 AI에 순식간에 선수를 빼앗겼음을 알게 됐다고도 쓴다. (건수는 다른 곳에서는 수백 건에서 그 이상까지 제각각이다. 우리는 이 신문의 숫자를 출처를 밝혀 쓴다. 다른 숫자와는 맞춰 볼 수 없기 때문이다.)

이 공개에 앞서 눈길을 끄는 주장이 있었다. 같은 신문은 OpenAI가 앞서 밀레니엄 문제 일곱 개 중 하나인 나비에–스토크스 문제를 풀었다고 발표했다고 보도했다. 이 맥락에서 타오는 신문에 “이제 규칙이라는 것이 없다”고 말했고, 1년 전이었다면 숨이 멎었을 일에 “그저 마비된 상태”라고 했다. 수학의 놀라움을 소화하는 데 경력을 쓴 사람이 놀라움이 더는 울리지 않는 상태를 말하고 있다. 수학자의 입에서 나온 말로는 기이하며, 수사로서가 아니라 속도에 관한 정보로 읽을 만하다.

출시됨, 보도, 그리고 날짜가 아닌 것

• 출시됨. 2026년 10월 6일 OpenAI 글은 내부 프런티어 모델의 결과를 GitHub 저장소에 올리고, 많은 증명의 Lean 형식화와 추론 요약 10건을 공유한다고 말한다. 평균 결과는 ChatGPT Pro 사고 약 세 시간 분량이라고 말한다. 같은 글의 2026년 10월 15일 업데이트는 OpenAI가 5백만 달러를 내고 모델과 연산 자원을 제공한다고 말한다. 2026-10-22에 읽었다.
• 보도이며 그 글에는 없다. 타오의 페이지는 2026년 10월 16일 뉴욕타임스를 인용해, OpenAI가 나비에–스토크스 문제의 해결을 발표했고 10월 6일 공개에 350건이 넘는 성과가 들어 있었다고 말한다. 읽은 OpenAI 글은 나비에–스토크스를 이름 짓지 않고 350도 주지 않는다. 둘 다 보도로 다룬다.
• 그의 페이지가 인용하는 범위의 그의 말이다. 10월 8일 Proofs and Prompts 글에는 “horrified”와, 관여한 사람 중 누구도 질문에 답할 수 없다는 문장이 있다. “나는 전시 체제에 있다”와 “건설적으로 관여할 길이 보이지 않는다”는 페이지가 10월 16일 타임스 인터뷰에 돌리는 문장이다.
• 날짜가 아니다. OpenAI 글은 워크숍에 대해 가까운 미래에 더 공유하겠다고 하고, 결과를 만든 모델을 공개하기 위해 작업 중이라고 한다. 어느 문장도 날을 적지 않는다. 이 페이지는 날짜를 더하지 않는다.

10월 8일: 타오가 실제로 반대한 것

이틀 뒤 타오는 자신의 반응을 공개했다. 그 반응은 헤드라인이 전한 것보다 정밀하다. 게시물을 직접 인용한 그의 페이지에 따르면 그는 이 증명들에 가치가 없다고 말하지 않았다. 그것들은 “소화되고 나면 열매를 맺을 영리한 새 발상을 도입하는 것으로 보이면서, 동시에 과거와 현재의 무수한 인간 수학자의 기존 기여 위에 지어져 있다”고 했고, 이전 세대로서는 상상도 못 한 야심 찬 대규모 프로젝트에 커뮤니티가 이런 도구로 도전할 수 있게 될지도 모른다는 데 설렌다고도 했다.

그의 이의는 성과를 둘러싼 약속에 향해 있었다. “이 증명들에 관여한 사람 중에 질문에 답하고, 강연하고, 학회에 참석하고, 논문을 학술지에 내고, 학생을 지도하고, 이후 성과의 발전에 관여할 수 있는 이는 아무도 없다.” 수학에서 이 문장은 무게를 갖는다. 증명은 옳다는 것만으로 완성되지 않는다. 누군가 그것을 설명하고, 맥락 속에 놓고, 가르칠 수 있는 것으로 만들어야 완성된다. 그는 성과를 소화할 최선의 기회가 발견의 순간이며, 그런 순간은 모든 것을 AI 도구에 맡기면 “갈수록 낭비된다”고 썼다.

이어서 “소름이 끼쳤다”는 말을 설명하는 문장이 온다. 타오는 수학의 많은 동기가 되는 문제를 향해 인내심 있게 의도적으로 천천히 진행돼 온 많은 연구, 특히 대학원생과 박사후 연구원의 연구가 “이런 공개로 무심히 흐트러지거나 깨질 수 있는 수많은 인년”에 소름이 끼친다고 썼다. 그의 비유는 친숙하다. 영화의 스포일러나 십자말풀이의 힌트를 듣지 않은 것으로 되돌릴 수 없듯, 답이 있다는 것을 알아 버리면 문제를 전과 같은 방식으로 풍성하게 탐구할 수 없다. 3년 동안 그 문제에 매달려 온 대학원생에게 스포일러는 추상적이지 않다. 박사 논문이 무엇이 될 수 있는지를 바꾼다.

그는 대신 어떻게 되었으면 했는지도 밝힌다. 같은 게시물은 그의 페이지에 따르면 선택되지 않은 길을 그린다. 연구소가 최전선 모델을 독립 연구자에게 제출해 과학적 평가를 받는 것, 도구가 인간 연구자와 경쟁하지 않고 보완하도록 연구 커뮤니티와 조율하는 것, 경쟁과 비밀이 아니라 협력과 공유를 촉진하는 데 쓰는 것, 그리고 “옛 문을 닫지 않으면서 새 문을 여는 것”이다. 게시물은 안쪽을 향한 호소로 끝난다. 커뮤니티는 스스로의 기준과 가치를 선언하고, 자신의 도구와 실천을 세우고, 가장 약한 구성원을 지원하고, 나아갈 길을 그려야 한다. “자, 시작하자.”

출력을 읽다: “기술적으로는 읽힌다”

이 이야기에서 가장 구체적인 것은 타오가 출력의 읽히는 정도를 어떻게 말하느냐다. 타임스에 그는 나비에–스토크스 증명이 “기술적으로는 읽힌다”고 하면서도 “내가 이야기해 본 전문가 중 누구도 논증 전체를 제대로 이해하지는 못한다”고 덧붙였다. 같은 인터뷰를 요약한 그의 페이지는 그 증명이 보도에 따르면 165쪽이며 약 1만 에이전트 무리가 88시간에 걸쳐 만든 것이라고 적고, 10월 공개 전에는 다가올 결과를 “유해 폐기물”이라 불렀고 공개 후에는 “처리된 폐기물일지도 모른다”고 불렀다고 기록한다.

타임스는 최신 공개에서는 글이 좋아졌고 그는 그것을 “뒤섞인 보따리”라고 불렀다고 덧붙인다. 몇몇 논문은 그 자신의 연구를 적절히 인용했고 그가 타당하다고 보는 방식으로 진전시킨 것처럼 보였다. 이 세부는 이야기를 추월당해 화난 사람의 이야기라는 단순한 독법에서 멀어지게 한다. 그가 말하는 것은, 일부는 잘 만들어진 연구의 모음인데도 불만이 남는다는 것이다. 빠진 것이 있다고 그가 말하기 때문이다. “결과에 대해 진짜 대화를 나눌 저자가 없다.”

이 한 문장이 이 에피소드 전체의 주제다. 그가 국제수학자대회에서 편 논의에서 하나의 성과가 완성되는 흐름에는 생성, 검증, 해설, 출판, 정전화라는 단계가 있고, 마지막은 그 성과가 다음 세대에 가르칠 내용의 일부가 되는 시점이다. AI는 첫 단계를 싸게 만들었다. 그의 설명으로는 이번 공개가 뒤 단계들을 주인 없는 채로 남겼다.

10월 9일: 칼텍 강연과 대신 어떻게 하라는가

게시물 다음 날 타오는 캘리포니아공과대학에서 공개 강연을 했다. 공지는 “Machine Assisted Proof”였지만 지금은 “Math 2.0”이라고 부르길 선호한다. 뉴욕타임스는 다음 주에 이를 소개하며 그가 이렇게 논했다고 적었다. OpenAI의 공개에도 불구하고 수학 최전선 문제의 대부분은 아직 풀리지 않았다. 문제의 난이도에는 끝이 없다. 그리고 AI 덕분에 수학자는 대규모로 데이터를 모을 수 있으니 한때 상상도 못 한 프로젝트에 갈수록 큰 그룹으로 도전하게 될 것이다.

그의 페이지에는 더 긴 버전이 있다. Math 1.0은 증명의 희소성으로 돌아갔다고 그는 말한다. 해답을 찾아 증명하는 일은 드물고 어려웠으며 이 분야의 제도, 전통, 유인은 그것을 중심으로 짜였다. 획기적인 증명이 나오면 분야의 반응은 초청, 모임, 워크숍, 새 공동연구, 새 참여자를 낳았고, 그 증명이 교과서로 소화될 때까지 이어졌다. 자율적으로 풀린 문제는 이 순환을 거의 만들지 않는다. AI에 프롬프트를 준 사람은 목표가 풀리는 순간 그 분야에 관심을 잃는 경우가 많고 결과에 대한 질문에도 답하지 못하기 때문이다. 병목에 대한 그의 요약은 직설적이다. 그것은 “기술도 아니고 제도 문화조차 아니다. 상상력이다.”

타임스가 전하는 조언은 전시 체제에 있다고 말하는 사람치고는 놀라울 만큼 차분하다. 문제를 푸는 것은 목적지가 아니라 여정이며, 가는 길에 배우는 것이 답보다 중요할 때가 많다. 한 문제를 혼자 푸는 대신 수학자는 AI로 열 문제를 풀고 거기서 패턴과 새 질문을 찾을 수 있다. 타임스의 표현을 빌리면 이것은 전투의 호소가 아니라 필요에서 나온 수용이다.

10월 15일: 자금이 도착하다

타임스 인물 기사가 나가기 전날 사이먼스 재단은 새 사업을 발표했다. 파트너십에 따라 재단, Anthropic, OpenAI가 합계 1500만 달러의 자금과 자원을 약속한다. 재단이 공모를 포함한 방식으로 그 자금을 관리하고 배분해, 연구자들이 최근 AI를 이용한 성과를 평가하고 새 도구를 익혀 쓰고 견해를 공유하고 AI 사용에 대한 집단적 기준을 만드는 것을 돕는 워크숍과 사업을 지원한다. Anthropic과 OpenAI도 수학에 한하지 않고 기초과학에서 재단이 지원하는 연구자에게 도구와 컴퓨팅 자원을 제공한다. 발표는 사이먼스 재단이 Lean 증명 보조기의 초기 자금 제공자였다는 점도 언급한다.

OpenAI의 몫은 자사 10월 6일 글에 대한 업데이트로 10월 15일 자에 나타난다. 이 사업에 500만 달러를 내놓으며 “수학자들이 이 글에서 공유한 것을 포함해 AI가 만든 성과를 검증하고 이해하고 그 위에 쌓도록 돕는” 것이 목적이고, 모델과 컴퓨팅 접근권도 제공한다고 한다. 같은 업데이트는 그 자금이 워크숍, 학회, 특별 프로그램에 쓰인다고 밝힌다.

이것이 비판에 대한 응답이었는지는 알 수 없다. 어느 출처도 그렇게 말하지 않는다. 말할 수 있는 것은 날짜의 순서뿐이다. 자금의 목적으로 서술된 것, 곧 사후에 커뮤니티가 결과를 이해하도록 돕는 것이 타오가 10월 8일에 원래는 발견의 순간에 하는 것이 최선이라고 한 소화 작업이라는 점은 말할 수 있다. 공개 뒤에 워크숍을 지원하는 것이 공개 때 저자가 곁에 있는 것을 대신할 수 있는지는 바로 그의 이의가 제기하는 물음이며, 발표 어디에도 그 답은 없다.

10월 16일: “나는 전시 체제에 있다”

엘리자베스 불미러가 쓴 타임스 인물 기사는 타오가 UCLA의 이틀짜리 수학 워크숍 사이에 커피를 마시는 장면으로 시작한다. 같은 신문에 따르면 그곳에서는 AI가 이 분야에 가져오는 존재의 위기가 어디서나 화제였다. 51세의 타오는 기자에게 수학은 거의 하지 못하고 있다고 말한다. “나는 전시 체제에 있다.” 그의 페이지와 같은 신문은 그의 시간이 지금 어떻게 쓰이는지 설명한다. 수학자를 모으고, 전략을 짜고, 강연하고, 동료의 상담을 받는다. 그가 지역 사회 조직화라고 부르는 일이다.

관여 방식에 대한 반전은 분명하게 서술된다. 1년 전에는, 하고 그는 타임스에 말한다. 그 회사의 많은 사람과 좋은 관계였고 그들은 “AI가 어떻게 쓰여야 하는지에 대해 아주 일반적인 비전, 곧 과학자에게 힘을 실어 준다는 것을 공유했다.” 하지만 서둘러 공개하는 모습은 그들이 실제로 이 분야를 무엇에 썼는지 보여 준다. 그들은 “자신들에게 필요했던 것을 위해 수학을 썼다. 그것은 자사 모델을 평가하는 일이었다.” 그리고 이 기사의 제목이 된 한 문장이 이어진다. “지금으로서는 건설적으로 관여할 길이 보이지 않는다.”

그가 말하지 않은 것도 눈여겨볼 만하다. 그는 수학이 틀렸다고 말하지 않았고 AI를 이 분야에서 몰아내야 한다고도 말하지 않았다. 10월의 그의 입장을 기록하는 같은 페이지는 책임 있는 사용, 형식 검증, 오픈 도구를 그가 계속 지지한다는 점도 기록한다. 그의 불만은 성과의 특정한 공개 방식을 향해 있다. 접촉할 수 있는 저자가 없고, 문제에 매달려 온 사람들과의 조율이 없으며, 그의 말로는 이 분야보다 자사 모델을 평가하는 데 관심이 있는 회사라는 점이다.

확인하지 못해 뺀 것

이 이야기에 대한 요약에는, 이 이틀 사이에 쓰인 것도 포함해, 우리가 타임라인에 넣지 않은 세부가 있다. 출처가 하나뿐이거나 동영상 인터뷰의 자동 자막에서 나온 것이기 때문이다. 타오 자신이 새 논문을 몇 편 읽었는지, 몇 편이 철회됐는지, 어떤 성과가 그 문제에서 50년 만의 최대 진전이라는 순위 매기기다. 공개 건수도 매체마다 다르다. 우리는 읽을 수 있는 형태로 공개된 출처가 말하는 것만 남겼다. 일반 보도에 나오는 ‘수학계의 모차르트’라는 별칭도 쓰지 않았다. 위에 든 출처에서는 찾지 못했다.

우리의 판단

이 이야기를 읽는 데 도움이 되는 시각은 성과의 마지막 한 마일을 누가 쥐느냐를 둘러싼 다툼으로 읽는 것이다. 수학자와 기계의 싸움으로 읽는 것은 맞지 않는다. 타오의 입장은 여름부터 일관됐다. 생성은 싸졌고, 비싼 채로 남은 것, 곧 설명, 맥락, 교육에 이 분야의 가치가 있다. 연구소는 하루에 수백 개의 증명을 만들 수 있다. 같은 하루에 그것을 논할 수 있는 사람을 수백 명 만들 수는 없다.

10월 15일의 자금은 그 소화 작업의 일부를 사후에 지불하려는 시도다. 발표는 이것이 타오의 이의에 대한 대답이라고 말하지 않으며, 이 페이지는 이후 공개를 예측하거나 날짜를 붙이지 않는다.

이어서 읽기

모든 글은 최신순으로 Front 블로그 목록에 있습니다.

• AI와 수학자 타임라인: 2026년 10월 AI와 연구 수학에 관한 더 자세한 기록.
• Google Argon 타임라인: Google의 Gemini 4 Argon 출시를 날짜순으로 기록.
• Grok 4.8: xAI가 실제로 밝힌 것: xAI의 Grok 4.5~4.7 출시와 4.8에 관한 발언.
• Reflection Beam 501B 타임라인: Reflection Beam 501B 가중치 공개를 날짜순으로 정리.

자주 묻는 질문

업데이트 기록

• 2026년 10월 22일 — 2026-10-22에 OpenAI 글과 타오의 페이지를 다시 읽었다. 10월 6일 글을 출시됨으로, 350건의 성과와 나비에–스토크스 발표라는 타임스 서술을 보도로 표시했다. 이후 공개를 짐작한 문장을 뺐다.
• 2026년 10월 17일 — 최초 게시.

출처

• The New York Times: Why One of the World’s Greatest Mathematicians Is on a ‘War Footing’ (Oct 16, 2026)
• Terence Tao on AI: a living summary (updated Oct 16, 2026)
• OpenAI: Sharing AI progress in mathematics (Oct 6, 2026; updated Oct 15)
• Simons Foundation: $15M effort to help mathematicians navigate the AI era (Oct 15, 2026)