Caltech 办 Mathathon 竞赛：用 AI 重写数学证明，陶哲轩任顾问

thegautamkamath · x · 2026-10-06

Caltech 学生组织发起 Mathathon 竞赛，主题是「用 AI 增进人类对数学的理解」，顾问包括 Terence Tao（陶哲轩）和 Sergei Gukov。与解开放题不同，活动聚焦已知难题（如四色定理、ABC 猜想）的更简证明、更好表述、推广与关联——目标是让「The Book」式的优美证明成为 AI+数学的真正基准。赛制分两轮：11 月 13-15 日在 Caltech 的 40 小时现场赛，以及两个月的远程赛，产出在线讲解作品与 GitHub 仓库（含 LLM 对话记录、可视化代码等），所有团队成果将开源。现已开放报名。