Caltech 数学家联盟宣布 Mathathon 新主题「Old Problems, New Proofs」，要求参赛者用 40 小时学习加两个月重写证明并公开 LLM 使用记录
核心概要
一群 Caltech 数学家（含 Mathathon 原组织者、Open Letter 共同作者及社区成员）发布联合声明，宣布将 Mathathon 重新设计为以「Old Problems, New Proofs」为主题的活动：参赛者挑选一个解法不直观的已解问题，在 40 小时内尽可能学习并向同伴展示，再用两个月发展替代证明或阐释，提交一份形式自由的 explainer 与一个 GitHub 仓库（存放 LLM 对话历史、可视化代码等），活动于 11 月 13–15 日与 SAIR 共同举办，由 XTX Markets 担任主要资助方，并取消来自专有 AI 模型开发商的赞助、改为向参与者发放现金资助自行选购工具。
深度剖析
声明把 Mathathon 的主题从「开放问题」转向「已解问题的替代证明与阐释」，即 Old Problems, New Proofs。 此前 Mathathon 以问题求解为中心；声明称组织者与 Open Letter 共同作者及社区成员讨论后达成共识：问题求解只是数学的一个组成部分，数学理解与阐释同样有意义，却常被资助方和招聘委员会忽视。 这是组织者发布的立场与赛制声明，依据是文中所述的内部讨论与共识，而非实验或统计数据；文中以四色定理、ABC 猜想、Navier-Stokes 问题作为「证明难以理解或不令人满意」的举例。
赛制被具体化为「40 小时学习 + 同伴展示 + 两个月发展替代证明或阐释 + 提交 explainer 与 GitHub 仓库」。 仓库需存放产出 explainer 所用的一切材料，包括 LLM 对话历史与生成可视化的代码，使数学社区可以检视成品背后的想法；explainer 形式不限，可为论文、博客、视频或互动游戏。 属于活动规则描述，来自声明文本本身；文中未给出往届参与人数、完成率或成果质量等可量化证据。
在工具与资助安排上，Mathathon 不再接受专有 AI 模型开发商的赞助，改为向参与者发放现金资助，由其自行购买 LLM 额度、HPC 访问或纸笔等任何所需工具。 声明称专有模型仍被允许，但鼓励使用开源工具，目标是让每位参与者自行决定在 Mathathon 及自身工作中使用何种工具；这与以往接受专有模型厂商赞助的做法不同。 为组织方的政策声明；文中同时说明 SAIR 提供算力、举办工作坊、为使用开源模型的团队提供奖品并管理差旅资助，XTX Markets 为主要资助方。
声明把 Mathathon 定位为「第一次实验」，而非关于 AI 在数学中作用的结论性指南。 文中明确组织者之间在 AI 辅助解题、开源与专有模型等问题上存在不同意见，但共同相信数学家可以用 AI 推进人类理解；活动要求参与者完整披露并说明 LLM 使用理由，并考虑小规模开源工具是否足够。 属于立场陈述与自我定位；文中未报告任何实验结果、评测数据或对 AI 数学能力的定量比较。
启示与展望
这份声明面向有意参加 Mathathon 的学生与数学家，以及关注 AI 在数学中角色的社区成员，说明活动在 11 月 13–15 日举行、与 SAIR 共同组织、由 XTX Markets 主要资助，并给出参赛流程与工具资助安排。它适用于了解该活动的定位与规则，以及为类似活动设计提供参照；文中所述「数学正处于数十年来最大变化之中」属于组织者的判断，而非本文提供的数据结论。
文本为不完整读取，且属于活动公告性质，因此没有可核验的结果、参与规模或评估指标；活动实际效果、参赛者产出质量、开源与专有模型在其中的实际使用比例，都只能等 11 月 13–15 日活动之后才能观察。此外，声明由组织者撰写并称经 Terence Tao 与 Andrew Wu 审阅，但文中未说明评审的具体范围与结论。