한눈에
Mathathon 주최진·공개서한 공저자·Caltech 교수진이 Terence Tao 블로그에 공동 성명을 올렸습니다. 커뮤니티 논쟁 끝에 행사를 Old Problems, New Proofs(옛 문제, 새 증명)로 다시 짬.
한 줄로 말하면 — AI로 “미해결을 누가 먼저 푸나” 레이스를 접고, “사람이 읽을 해설·대안 증명을 공개하나”로 역할을 바꿨습니다. 초안은 다른 포맷에서 AI로 변환됐다는 고지가 있고, Proofs and Prompts에도 같이 올라갑니다.
배경
성명 서명 쪽은 Caltech 연합입니다. 원래 Mathathon 주최진(Alvan Arulandu, Andrea Li, Avni Garg, Brian Zhao, Caiman Moreno-Earle, Sathvik Redrouthu), 공개서한 공저자(Dylan King, Tasmin Chu), 그리고 Sergei Gukov·Tony Yue Yu를 포함한 커뮤니티 멤버들입니다. Tao는 호스트·리뷰어 자리이고, 견해는 서명자 본인들의 것이라고 밝힙니다.
지난주 주최진·공개서한 쪽·교수진이 다시 설계 대화를 했고, 합의가 빨랐다고 합니다. 문제 풀이는 수학의 한 축일 뿐이고, 이해·해설도 마찬가지로 의미 있는데, 그 축이 그랜트·채용에서 자주 간과됐다는 문제의식입니다. “인간 수학자가 그 일을 하도록 축하하자”가 재설계의 출발점입니다.
중심 질문도 그대로 둡니다. “AI로 수학에 대한 인간 이해를 어떻게 보강할 것인가?” — 다만 답을 ‘오픈 프러블럼 레이스’가 아니라 ‘해설·대안 증명·도구 공개’로 옮긴 겁니다.
무슨 일 / 핵심 내용
새 포맷은 이렇게 갑니다. 참가자는 직관에 거슬리는·읽기 어려운 기존 증명(또는 주장된 증명)이 있는 문제를 고릅니다. 성명에서 예로 든 것은 사색 정리(four color), ABC 추측, Navier–Stokes 등입니다.
먼저 40시간 그 증명을 최대한 익히고, 동료에게 발표합니다. 그다음 두 달 — 대안 증명, 또는 사람이 읽기 쉬운 해설을 만듭니다. 해설 형태는 논문·블로그·영상·인터랙티브 게임 등 자유입니다. 제출물은 해설물 + GitHub 저장소 세트입니다.
GitHub에는 해설을 만드는 데 쓴 것을 넣습니다. LLM 채팅 기록, 시각화 코드 등. 커뮤니티가 “완성품 뒤의 아이디어”를 들여다볼 수 있게 하려는 장치입니다. LLM 사용은 전면 공개·정당화가 요구되고, 더 작은 오픈소스 도구로 충분했는지 스스로 따져 보라고도 합니다.
목표는 미해결을 누가 먼저 닫느냐가 아닙니다. 일반화, 새 표기법·기법, 다른 문제와의 연결 — “개별 문제를 푸는 것보다 더 흥미로울 수 있는” 쪽을 드러내는 일입니다. AI는 여러 도구 중 하나로 취급합니다.
숫자·스펙 / 후원·일정
- 테마: Old Problems, New Proofs.
- 학습 구간: 40시간 — 기존(또는 주장된) 증명을 익히고 동료 발표.
- 제작 구간: 약 두 달 — 대안 증명 또는 사람용 해설.
- 제출: 해설물(형식 자유) + GitHub(LLM 채팅·시각화 코드 등 도구 기록 공개).
- 스폰서십: 독점 AI 랩 스폰서십 중단. 참가자에게 현금 지원 — LLM 크레딧·HPC·펜과 종이까지 스스로 고름.
- 도구 정책: 오픈소스 권장, 독점 모델도 허용. “어떤 도구를 쓸지 참가자가 결정”이 목표.
- 공동 주최·지원: Foundation for Science and AI Research (SAIR) — 컴퓨트, 워크숍, 오픈소스 모델 사용 팀 상, 여행 지원 관리.
- 리드 도너: XTX Markets (알고 트레이딩, AI-for-math·오픈소스·커뮤니티 이니셔티브 후원으로 알려짐).
- 일정: 2026년 11월 13–15일.
- 고지: 초안은 다른 파일 포맷에서 AI로 변환. Proofs and Prompts 교차 게시. Tao·Andrew Wu가 리뷰·코멘트.
왜 중요한가
AI 수학 대회·해커톤이 “누가 미해결을 먼저 닫나”로 흘러가면, 증명 품질·가독성·재현보다 속도·프롬프트 경쟁이 앞에 섭니다. 이번 성명은 그 인센티브를 공개적으로 꺾습니다.
독점 랩 스폰서를 끊고 현금 그랜트로 바꾼 것도 같은 축입니다. 참가자가 Claude·GPT·로컬 오픈웨이트·펜과 종이를 스스로 고르게 해서, 행사가 특정 랩의 쇼케이스가 되지 않게 합니다. SAIR의 오픈소스 상·컴퓨트는 “오픈을 강제”하진 않되 기울기를 줍니다.
주최·자문진이 AI 찬성부터 비판까지 섞여 있다는 점도 성명에 적혀 있습니다. 정렬된 결론서가 아니라 “첫 실험”이라고 스스로 규정합니다. 학습·교육·리뷰·연구에서의 AI 역할을 앞으로 더 짜 보되, 인간 이해와 커뮤니티를 앞에 두겠다는 선언입니다.
그래서 뭐
11/13–15 Mathathon은 ‘오픈 프러블럼 레이스’가 아닙니다. 읽기 어려운 기존 증명을 40시간 익히고, 두 달 동안 사람용 해설·대안 증명을 만들며, LLM 사용을 GitHub에 까는 행사입니다.
AI-for-math를 보는 사람 입장에선 — 벤치 점수나 “풀었다” 헤드라인보다, 해설물·도구 로그·오픈소스 사용 비율이 더 읽을 만한 결과물이 될 가능성이 큽니다. Tao 채널에 올라왔다는 것 자체가, 이 재설계가 수학 커뮤니티 안쪽 논의의 정면으로 들어왔다는 신호이기도 합니다.