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

Caltech 学生组织发起 Mathathon 竞赛，主题为「用 AI 增进人类对数学的理解」，顾问包括陶哲轩（Terence Tao）和 Sergei Gukov。竞赛不打开放题，而聚焦四色定理、ABC 猜想等已知难题的更简证明、更好表述、推广与关联。赛制分两轮：11 月 13-15 日在 Caltech 的 40 小时现场赛与两个月的远程赛，团队成果将开源，现已开放报名。