#AI와 수학

5개의 포스트

2026.10.17

[특집] 수학자들은 왜 우는가 — 데릭 톰슨의 '기술적 슬픔': 기계가 2,000년의 대화에 끼어들 때

2026년 10월 15일, 데릭 톰슨이 「나는 수학자들이 왜 우는지 안다」를 올렸다. 필즈상 수상자 뒤미닐 코팽은 '화요일 밤에 울었고 딸이 깼다'고 했고, 스트로가츠는 인터뷰 도중 울었다. 톰슨은 이 눈물에 '기술적 슬픔'이라는 이름을 붙이고, 그 밑바닥에 자존심이 아니라 '끊긴 대화'가 있다고 썼다 — 과학은 보물찾기(기술)이면서 동시에 2,000년짜리 편지 주고받기(대화)라는 것이다. 이 글은 유료 구간까지 복원해 원문을 절별로 읽고, 아르키메데스의 편지가 어떻게 2,200년을 살아남아 스트로가츠에게 닿았는지, 카스파로프·이세돌·알파폴드·일러스트레이터·번역가·프로그래머가 먼저 겪은 같은 슬픔은 어떻게 끝났는지, '길드 보호자'라는 반론은 어디까지 맞는지, 그리고 내 분야에 그날이 올 때 무엇을 해야 하는지를 인터랙티브 6개와 일러스트 12장으로 풀어본다.

코어닷투데이87분

[특집] 수학의 미래 — 타오의 블로그에 실린 아비가드의 편지: '더 어려운 문제를 풀고, 더 큰 생각을 하고, 새로운 것을 시도하라'

특집제러미 아비가드테런스 타오

2026.10.08

[특집] 수학의 미래 — 타오의 블로그에 실린 아비가드의 편지: '더 어려운 문제를 풀고, 더 큰 생각을 하고, 새로운 것을 시도하라'

2026년 10월 5일, 테런스 타오의 블로그에 카네기멜런 대학의 논리학자이자 Lean 수학 라이브러리의 산파인 제러미 아비가드의 글 「수학의 미래」가 실렸다. 한 달 내내 경고와 선언이 쏟아지던 블로그에 처음으로 '대체로 긍정적'이라는 진단과 함께 세 개의 동사가 나왔다 — 더 어려운 문제를 풀어라, 더 큰 생각을 하라, 새로운 것을 시도하라. 그리고 다음 세대에게 '우리는 당신들과 함께 선다'는 문장이 붙었다. 이 글은 왜 화제가 됐는가. 리만의 1854년 강연을 '어떤 강화학습 채점기도 평가할 수 없었을 것'이라고 한 기술적 주장은 무슨 뜻인가. 추론 모델이 실제로 어떻게 훈련되는지(GRPO·결과 보상·AlphaProof의 탐색 트리)부터, 수학이 '낯선 기술'을 삼켜 온 400년의 역사, 댓글창의 반론, 같은 주에 바뀐 arXiv·Erdős 사이트의 규칙, 그리고 2026년 한국의 자리까지, 원문과 논문·댓글 100여 건을 읽고 인터랙티브 다섯 개와 함께 풀어본다.

코어닷투데이84분

[특집] 722편의 원고 — OpenAI가 하룻밤에 공개한 372개의 '해결된' 수학 문제, 그 저장소를 열어 보다

특집OpenAIAI와 수학

2026.10.08

[특집] 722편의 원고 — OpenAI가 하룻밤에 공개한 372개의 '해결된' 수학 문제, 그 저장소를 열어 보다

2026년 10월 6일 밤, OpenAI는 일곱 문단짜리 글 「수학에서의 AI 진전을 공유합니다」와 함께 GitHub 저장소 하나를 열었다. 미공개 내부 모델이 쓴 수학 원고 722편, 결과 계열 372개. 준(準) 리만 가설, 4차원 카케야 추측, 행렬 곱셈 지수 2.25, 유일 게임 추측, 톰프슨 군 F의 비순종성 — 각각이 사람이 했다면 경력을 통째로 바칠 만한 문제들이 '거의 전부 프롬프트 하나, 에이전트 하나, 평균 세 시간'으로 나왔다고 적혀 있다. 이 글은 저장소를 직접 열어 README·카탈로그·Lean 라이브러리·추론 요약 10건을 읽고, 헤드라인 결과를 비전공자도 이해할 수 있게 풀고, '검증됨'과 '이해됨' 사이의 거리를 재고, 사흘간 쏟아진 수학자들의 반응('즉시 필즈상'에서 '힘의 시연'까지)을 지도에 놓는다. 그리고 하루 전 같은 블로그에 실린 아비가드의 편지와 겹쳐 읽는다.

코어닷투데이55분

[특집] 수학자가 훨씬 더 많이 필요해질 것이다 — AI가 아이디어를 쏟아낼 때, '이해'는 누가 하는가

특집특집AI와 수학

2026.09.27

[특집] 수학자가 훨씬 더 많이 필요해질 것이다 — AI가 아이디어를 쏟아낼 때, '이해'는 누가 하는가

2026년 9월 24일, 테런스 타오의 블로그에 암호학자 아밋 사하이의 짧은 글이 실렸습니다. 제목은 「수학자가 훨씬 더 많이 필요해질 것이다」. AI가 사람이 따라가지 못할 속도로 아름다운 아이디어를 내놓기 시작한 지금, 수학자들이 '이해하는 일'을 포기한다면 그것은 인류에 대한 책임을 내려놓는 일이라는 주장입니다. 이 특집은 그 글을 뼈대로, 1970년대 서스턴이 한 분야를 '청소해 버린' 이야기부터 페렐만의 68쪽을 세 팀이 수백 쪽으로 풀어낸 일, 14년째 아무도 합의하지 못한 모치즈키의 증명까지 '증명과 이해 사이의 시차'를 따라갑니다. '정리는 모델 안에서만 존재한다'는 문장을 암호학과 공학 사고로 풀어 보고, AI가 설계한 1테라와트 핵융합 발전소라는 사고실험을 공청회 퀴즈로 직접 겪어 봅니다. 사람이 끼면 오히려 결과가 나빠진다는 실험 106개의 메타분석, 2차 세계대전의 수학자 동원에서 찾은 '지적 예비군'의 선례, 그리고 일자리를 걱정하는 젊은 연구자들의 반론까지 — 인터랙티브 6개와 웹툰 12장으로 함께 읽어 보세요.

코어닷투데이73분

AI와 수학의 심각한 불일치 — 필즈상 수상자 25인은 무엇을 두려워하는가: 등대, 파이프라인, 그리고 나비에–스토크스 88시간

특집테런스 타오AI와 수학

2026.09.12

AI와 수학의 심각한 불일치 — 필즈상 수상자 25인은 무엇을 두려워하는가: 등대, 파이프라인, 그리고 나비에–스토크스 88시간

2026년 9월 11일, 테런스 타오·페터 숄체·마리나 비아조우스카 등 필즈상 수상자 25명이 'AI와 수학의 심각한 불일치'라는 선언을 냈다. AI 기업이 유명 미해결 문제를 벤치마크 삼아 푸는 경쟁이 수학이라는 학문과 공동체에 해롭다는 것이다. 이 선언은 어디서 왔는가. OpenAI가 1만 개 에이전트로 88시간 만에 '풀었다'고 발표한 나비에–스토크스 문제, 그 직전에 같은 문제를 1년간 파던 두 수학자의 4쪽짜리 성명, '10년간 진전 없음'이라는 문구에 항의한 독일 수학자의 이메일, 타오가 ICM에서 그린 다섯 단계 파이프라인과 굿하트의 법칙까지 — 왜 '문제를 푸는 것'과 '수학을 하는 것'이 갈라졌는지를 논문·선언문·논쟁 100건을 읽고 인터랙티브와 함께 풀어본다.

코어닷투데이87분