关于Mathathon的联合声明
内容提要
加州理工学院Mathathon活动改版，新主题为“旧问题，新证明”。参与者用40小时研究已有问题，再用两个月撰写新证明或解释，并公开LLM使用记录。活动鼓励开源工具，由SAIR协办，XTX Markets资助，11月13至15日举行，旨在探索AI辅助数学理解。
延伸解读
从解题到理解：Mathathon 的定位转变
新版 Mathathon 将主题定为“旧问题，新证明”，不再聚焦未解难题，而是让参与者在40小时内学习已有问题，再用两个月撰写新证明或解释。这反映了组织者对数学本质的重新思考：问题解决只是数学的一部分，理解与阐述同样重要，却常被资助方和招聘委员会忽视。活动试图通过公开LLM使用记录和GitHub仓库，让数学社区审视成品背后的思路，从而推动AI辅助数学理解。
工具中立与开源鼓励：资金与规则设计
Mathathon 不再接受专有AI模型开发商的赞助，转而向参与者提供现金资助，让他们自行购买所需工具，如LLM额度、高性能计算资源或纸笔。专有模型仍可使用，但活动鼓励开源工具，并由SAIR提供算力、工作坊和开源模型使用奖项。这种设计旨在让参与者自主决定工具，同时要求充分披露和论证LLM使用，并考虑小规模开源工具是否足够。
多元视角下的实验性质
组织者和顾问涵盖AI支持者与批评者、本科生与资深数学家，他们对AI辅助解题、开源与专有模型等问题持不同意见。Mathathon 被明确视为一项初步实验，而非AI在数学中应用的结论性指南。活动强调人类理解与社区建设，希望为未来探索AI在学习、教学、评审和研究中的角色铺路，并适应数学领域数十年来最大的变革。
Q&A
Mathathon的新主题是什么？
新主题是“旧问题，新证明”（Old Problems, New Proofs）。
Mathathon的活动流程是怎样的？
参与者先用40小时研究一个已有问题，然后花两个月时间撰写新的证明或解释，最后提交解释材料和GitHub仓库。
Mathathon对AI工具的使用有什么要求？
参与者必须完全公开并说明LLM使用情况，鼓励使用开源工具，但允许使用专有模型。
Mathathon由哪些机构协办和资助？
由SAIR协办，XTX Markets资助。
Mathathon的举办时间是什么时候？
2026年11月13日至15日。
Mathathon的举办目的是什么？
旨在探索AI如何辅助人类理解数学，鼓励参与者关注数学理解和阐述，而不仅仅是解决问题。
