热点事件持续更新
Caltech 发起 Mathathon：用 AI 重写数学证明
1 篇报道1 个报道来源11 小时前更新
先了解这件事
AI 综述
2026年10月，Caltech 学生组织发起 Mathathon 竞赛，主题为「用 AI 增进人类对数学的理解」，顾问包括陶哲轩（Terence Tao）和 Sergei Gukov。竞赛不设开放题，而是聚焦四色定理、ABC 猜想等已知难题，寻求更简证明、更好表述、推广与关联。赛制分两轮：11月13日至15日在 Caltech 举行40小时现场赛，另设为期两个月的远程赛。团队成果将开源，目前已开放报名。
AI 根据报道生成 · 2 小时前更新
最新进展10月6日 01:49
Caltech 学生发起 Mathathon 竞赛，聚焦用 AI 重写已知数学难题证明，陶哲轩任顾问，已开放报名。报道时间线
沿着报道，了解事件的不同侧面。
10月6日
- AGI HuntCaltech 办 Mathathon 竞赛：用 AI 重写数学证明，陶哲轩任顾问
Caltech 学生组织发起 Mathathon 竞赛，主题为「用 AI 增进人类对数学的理解」，顾问包括陶哲轩（Terence Tao）和 Sergei Gukov。竞赛不打开放题，而聚焦四色定理、ABC 猜想等已知难题的更简证明、更好表述、推广与关联。赛制分两轮：11 月 13-15 日在 Caltech 的 40 小时现场赛与两个月的远程赛，团队成果将开源，现已开放报名。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。