# 数学中的AI

一群 Caltech 数学家（含 Mathathon 原组织者、Open Letter 共同作者及社区成员）发布联合声明，宣布将 Mathathon 重新设计为以「Old Problems, New Proofs」为主题的活动：参赛者挑选一个解法不直观的已解问题，在 40 小时内尽可能学习并向同伴展示，再用两个月发展替代证明或阐释，提交一份形式自由的 explainer 与一个 GitHub 仓库（存放 LLM 对话历史、可视化代码等），活动于 11 月 13–15 日与 SAIR 共同举办，由 XTX Markets 担任主要资助方，并取消来自专有 AI 模型开发商的赞助、改为向参与者发放现金资助自行选购工具。

一群 Caltech 数学家（含 Mathathon 原组织者、Open Letter 共同作者及社区成员）发布联合声明，宣布将 Mathathon 重新设计为以「Old Problems, New Proofs」为主题的活动：参赛者挑选一个解法不直观的已解问题，在 40 小时内尽可能学习并向同伴展示，再用两个月发展替代证明或阐释，提交一份形式自由的 explainer 与一个 GitHub 仓库（存放 LLM 对话历史、可视化代码等），活动于 11 月 13–15 日与 SAIR 共同举办，由 XTX Markets 担任主要资助方，并取消来自专有 AI 模型开发商的赞助、改为向参与者发放现金资助自行选购工具。

Tapio Schneider 以 OpenAI 于 9 月 8 日宣布的强制 Navier-Stokes 方程有限时间爆破证明为切入点，区分了作为解释性理解的 episteme 与作为预测技艺的 techne，主张当预测必须在被经验验证之前就被信任时（如数十年气候预估、新构型飞机设计），信任来自从假设与输入数据到结果的、每一环都可单独检验的可审计因果链，因此 AI 应嵌入守恒律等可审计脚手架中，用于学习可被高分辨率模拟、观测或实验检验的闭合模型，而不是采用端到端模型。

Tapio Schneider 以 OpenAI 于 9 月 8 日宣布的强制 Navier-Stokes 方程有限时间爆破证明为切入点，区分了作为解释性理解的 episteme 与作为预测技艺的 techne，主张当预测必须在被经验验证之前就被信任时（如数十年气候预估、新构型飞机设计），信任来自从假设与输入数据到结果的、每一环都可单独检验的可审计因果链，因此 AI 应嵌入守恒律等可审计脚手架中，用于学习可被高分辨率模拟、观测或实验检验的闭合模型，而不是采用端到端模型。

这是一篇由《Proofs and Prompts》博客编辑撰写的客座文章，介绍了该社区博客的创办缘由与目标：在数学界围绕人工智能的讨论日益升温之际，为缺乏发声平台的数学家（尤其是博士生等群体）提供一个集体发声与辩论的空间，并报告了创办约一个月后作者群体涵盖博士生、本科生、菲尔兹奖得主与爱好者，以及投稿立场从呼吁暂停AI到认为AI参与不足等多元观点，同时指出作者背景在LLM经验、地域和性别上仍显集中，呼吁更多人投稿。

这是一篇由《Proofs and Prompts》博客编辑撰写的客座文章，介绍了该社区博客的创办缘由与目标：在数学界围绕人工智能的讨论日益升温之际，为缺乏发声平台的数学家（尤其是博士生等群体）提供一个集体发声与辩论的空间，并报告了创办约一个月后作者群体涵盖博士生、本科生、菲尔兹奖得主与爱好者，以及投稿立场从呼吁暂停AI到认为AI参与不足等多元观点，同时指出作者背景在LLM经验、地域和性别上仍显集中，呼吁更多人投稿。