#AGMAI

2개의 포스트

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분