Caltech Mathathon 2026: 首个专注于研究级数学的黑客松

快速概览

Caltech Mathathon（2026年10月30日至11月1日）将进行一场为期 40 小时、价值超过 200 万美元 AI 算力额度的冲刺赛，多达 100 支队伍将尝试使用前沿语言模型来解决开放式研究级数学问题，随后向专家数学家辩护其结果。

什么是 Mathathon

  • 形式：在加州理工学院（California Institute of Technology）举办的三天黑客松。队伍将获得大规模 AI 模型的使用权限以及超过 200 万美元价值的 AI 计算额度，用于探索猜想。
  • 目标：为开放问题提供解释详尽、可验证的解决方案，然后向领先的数学家评审团展示工作成果以进行评估。
  • 奖项：为最具潜力且沟通最清晰的结果提供奖励，并在社区验证后设有第二轮奖项。
  • 资格：面向任何大学或独立团队；组织者是 Caltech 的本科生（并非官方代表该学院或其赞助商）。
  • 负责任的 AI：组织者发布了 FAQ，概述了对伦理 AI 使用和透明报告的承诺。

为什么它很重要

最近的 AI 突破——证明了 Erdős 的平面单位距离猜想的错误、构建了第一个显式的非索菲克群（non-sofic group）、以及（未经证实地）展示了六维球体上的复杂结构——证明了大型语言模型可以为深度的纯数学研究做出贡献。Mathathon 测试了 AI 能多快将一个猜想从想法转化为同行评审的结果，并探讨了在 AI 可以比传统工作流生成证明的速度更快时，人类数学家不断演变的角色。

Hacker News 上的社区反应

组织者的立场澄清

"We are a team of undergrads at Caltech. We don't represent Caltech, any Caltech departments, or any of our sponsors. We don't receive monetary compensation. All the funding raised goes toward paying our judges and participants. Our goal is to promote responsible AI use." – brian-bfz (organizer)

对黑客松时长的质疑

"Waiting on the output of an LLM for 40 hours feels antithetical to what makes classic hackathons appealing. LLM math progress usually involves weeks of model runs with intermittent correction, not a short sprint." – Semkas

对劳动力和动机的担忧

"Is this big-lab push to move maths forward, or a way to use professional mathematicians as cheap labour for validating LLM outputs?" – youoy

机构背景

"Caltech’s CS department has struggled to recruit top talent; this hackathon offers a way for students to gain ML recognition that the school currently lacks." – corinthia (recent Caltech graduate)

关于模型利用的技术视角

"Current generic harnesses waste reasoning tokens; math requires deep reasoning, so a focused hackathon could serve as a testbed for more efficient model usage." – chaoxu

历史对比

"This isn’t the first math-focused hackathon; William Stein ran SageMath hackathons on the BSD conjecture two decades ago." – boothby

参与者分享的实用资源

"Open problems in computational geometry (Erik Demaine et al., 2024) and broader lists of unsolved problems are useful starting points for teams." – nill0

预期成果

  1. AI 辅助证明生成基准测试 – 通过衡量在 40 小时内解决了多少个猜想，Mathathon 将为 AI 相对于传统研究周期的速度优势提供具体数据。
  2. 人机协作模型 – 队伍不仅要生成结果，还要清晰地解释它们，从而揭示数学家如何通过洞察力、验证和阐述来增加价值。
  3. 社区验证流程** 社区验证流程 – 两阶段奖项结构鼓励了严谨的后的同行评审，帮助更广泛的数学社区评估 AI 生成证明的可靠性。
  4. 工具链改进 – 参与者关于 token 效率、提示词策略和模型利用工具的反馈将为下一代专注于数学的 AI 平台提供参考。

如何参与

  • 申请：队伍可以通过官方网站提交申请（apply link）。

  • 准备：查看提供的开放问题列表（例如，计算几何挑战），并考虑如何构建提示词以获得最大的推理深度。

  • Engage：关注组织者的 FAQ 页面以获取有关硬件支持、模型访问和负责任 AI 指南的更新。

结论

Caltech Mathathon 代表了竞技黑客松与前沿数学研究的交汇处的一次大胆实验。通过将海量的 AI 计算资源分配给一个短促、高强度的冲刺赛，它将测试大型语言模型是否能加速发现流程，并重新定义在 AI 增强的未来中数学家的角色。

Sources

相关