陶哲轩参与 Caltech Mathathon 改版：用 AI 探索旧问题新证明
AnimaAnandkumar · x · 2026-09-29
Caltech 社区与 SAIR（联合创始人陶哲轩）宣布改版 Mathathon 活动，新主题为「Old Problems, New Proofs」。活动聚焦一个问题：如何用 AI 增强人类对数学的理解。 organizers 认为问题求解只是数学的一部分，理解与阐述同样重要，但常被资助方和招聘委员会忽视。参与者将挑选四色定理、ABC 猜想、Navier-Stokes 等证明难以理解的问题，在 40 小时内尽可能学习并向同伴展示成果。
「漫话AGI」频道最新
- KatjaGrace 发问:以「对华竞赛」之名造高风险 AI 在道德上站得住吗 — KatjaGrace · 2026-09-29
- 利率与风险率的算账：AI 末日论者为何不该举债挥霍 — trevposts · 2026-09-29
- signulll：风投支持的创业者应该比自认为的再激进 100 倍 — signulll · 2026-09-29
- 微软 AI CEO 苏莱曼接受彭博专访：以「人本优先」应对 AI 引发的警觉 — shiringhaffary · 2026-09-29
- 平克公开信回应 Scott Alexander:为何我不是 AI 末日论者 — Usual_Program_7167 · 2026-09-29
- 「一个公司百万数字员工」引争论:被全面超越者谈不上管理 — LeviTurk · 2026-09-29