무슨 일
Mathathon 원래 주최진과 공개서한 공저자, Sergei Gukov·Tony Yue Yu 등 Caltech 커뮤니티가 Terence Tao 블로그에 공동 성명을 올렸습니다. AI로 수학 이해를 어떻게 보강할 것인가를 중심에 두고, 커뮤니티 논쟁 끝에 행사를 Old Problems, New Proofs로 다시 짰습니다. 초안은 다른 포맷에서 AI로 변환됐다는 고지도 붙어 있고, Proofs and Prompts에도 교차 게시됩니다.
형식
참가자는 직관에 거슬리는 기존 증명(사색 정리, ABC, Navier–Stokes 등)을 골라 40시간 동안 익힌 뒤, 두 달간 대안 증명이나 인간 지향 해설(논문·블로그·영상·인터랙티브 등)과 LLM 채팅·시각화 코드를 담은 GitHub 저장소를 제출합니다. 목표는 오픈 문제 레이스가 아니라 일반화·표기법·연결을 드러내는 일입니다.
도구와 후원
독점 AI 랩 스폰서십은 끊고, 참가자에게 현금 그랜트를 줘 LLM·HPC·펜과 종이까지 스스로 고르게 합니다. 오픈소스를 권장하되 독점 모델도 허용합니다. SAIR가 컴퓨트·워크숍·오픈소스 상·여행 지원을, XTX Markets가 리드 도너로 돕습니다. 일정은 11월 13–15일입니다.