필즈상 수상자 야우싱퉁(丘成桐)이 이끄는 수학 AI 연구 연합이 10월 11일 베이징 칭화대에서 출범했어요 중국 8개 수학 연구기관이 참여하고, 약 1,000명의 연구 인력이 참여할 것으로 예상한다고 밝혔습니다
같은 해 6월 수학자들은 AI 증명 검증과 도구 공개를 요구하는 라이덴 선언을 발표했어요 두 움직임은 AI 수학 연구를 대하는 방식에 차이가 있습니다
수식이 적히지 않은 칠판과 연결된 연구소 네트워크를 표현한 개념 컷 — 출처: 개념 컷, agy 자가 생성
연합의 구성
정식 이름은 Yau Laboratory Alliance for Mathematics and AI예요 과학기술일보(科技日报)가 10월 13일 보도한 참여 기관은 아래 8곳입니다
- 칭화대 추전학원(求真书院)
- 칭화대 야우수학과학센터
- 베이징수학과학응용연구원(BIMSA)
- 중국과학원 모닝사이드수학센터
- 상하이수학학제연구원
- 동남대 야우센터(난징)
- 허타오수학학제연구원(선전)
- 홍콩중문대 지전학원
야우가 연합장을 맡고, 각 기관이 지명한 학술 책임자가 위원회에서 연구 방향과 평가 기준을 정해요 참여 기관은 대규모 모델 학습 자원, 형식화된 수학 라이브러리, 컴퓨팅 플랫폼을 함께 씁니다
베이징, 상하이, 난징, 선전, 홍콩 다섯 곳에 수학 AI 연구소를 세우는 계획도 함께 발표됐어요
목표와 현재 단계
목표는 수학 특화 AI 모델, AI 연구 인프라, 학제 간 연구, 인재 양성이에요 VnExpress 등은 새 수학 아이디어 제안과 연구자가 검증할 수 있는 증명 생성도 목표로 전했습니다
아직 공개된 모델이나 성과는 없어요 1,000명도 현재 인원이 아니라 앞으로 참여할 것으로 예상되는 인원로 발표됐습니다
🗣️ 야우의 진단
야우는 중국 AI 모델이 일상 업무는 잘한다고 말했어요 다만 고등 수학과 물리에서는 미국 선두 시스템에 크게 뒤처진다고 했습니다
미국 기업은 연구자 수천 명을 동원하는데 중국의 연구 인력은 여러 조직에 분산돼 있다는 것이 그의 설명입니다
SCMP 보도로는 그가 1년 전엔 AI가 이만큼 강력할 줄 몰랐다고 말했어요 수학에서 AI의 발전은 쓰나미에 비유했습니다
라이덴 선언의 AI 검증 원칙
라이덴 선언 홈페이지, 국제수학연맹(IMU) 지지 문구 — 출처: Leiden Declaration
라이덴 선언은 2026년 6월 2일 발표됐고, 국제수학연맹(IMU)이 지지했어요 2025년 9월 네덜란드 라이덴 로렌츠센터 워크숍에 모인 연구자 16명이 초안을 썼습니다
선언 사이트 기준 서명자는 10월 19일 현재 4,357명이에요 AI 사용을 금지하자는 것이 아니라 아래를 요구합니다
| 원칙 | 내용 |
|---|---|
| 검증 | 자동 생성 증명은 독립 검증 대상 |
| 공개 | 연구에 쓴 AI 도구를 밝힐 것 |
| 출처 | 출처 표기가 안 되면 그 사실을 명시 |
IMU 부회장 Ulrike Tillmann은 수학이 깊이 인간적인 활동으로 남아야 한다고 밝혔어요
2026년 수학과 AI 주요 일정
2026년 OpenAI 반증, 라이덴 선언, OpenAI 결과 공개, 야우 연합 출범 일정 타임라인 — 출처: OpenAI, Leiden Declaration, 과학기술일보 기반 자가 렌더
OpenAI는 5월 20일 내부 모델이 에르되시의 평면 단위 거리 추측을 반증했다고 발표했어요 라이덴 선언은 그 직후인 6월 2일에 나왔습니다
OpenAI는 10월 6일 내부 모델의 수학 결과를 추가로 공개했어요 일부 증명은 Lean으로 형식화해 함께 올렸습니다
OpenAI의 고유 게임 추측 증명은 10월 13일 글에서 다뤘어요
🔗 링크 첨부 - https://blog.naver.com/rottensweetpotato/224440548862
Claude가 페르마의 마지막 정리를 Lean으로 형식 검증한 과정은 9월 글에 있어요
🔗 링크 첨부 - https://blog.naver.com/rottensweetpotato/224411365394
앞으로 주목할 점
- 첫 결과물: 야우 연합의 수학 특화 모델 공개 시점
- 검증 방식: 연합이 Lean 같은 형식 검증을 표준으로 삼는지
- 라이덴 선언: 학술지들의 AI 사용 공개 규정 도입 여부
- 국내: 국내 수학계의 공개 대응은 10월 19일 현재 확인되지 않음
참고 출처
- [과학기술일보(Science and Technology Daily)] Yau alliance 출범 (2026-10-13, 참여 기관과 운영 방식)
- [VnExpress] First Chinese Fields Medalist leads 1,000-scientist push (2026-10-14, 야우 발언, SCMP 인용)
- [Leiden Declaration] Leiden Declaration on Artificial Intelligence and Mathematics (2026-06-02, 서명자 수와 원칙)
- [Scientific American] Mathematicians sign declaration to rein in AI use
- [OpenAI] Model disproves discrete geometry conjecture (2026-05-20)
- [OpenAI] AI 수학 연구 성과 공유 (2026-10-06)