专题 · FULL STORY

Caltech AI数学黑客松:从官宣到抗议撤资

加州理工本科生宣布2026年10月举办号称全球首个研究级AI数学黑客松,由Anthropic与OpenAI支持。随后数百数学家联署抵制,OpenAI于9月11日撤回赞助,主办方道歉并宣布重设赛制,同时引发数学界关于AI参与研究的大讨论。

2026-09-05 ~ 2026-09-13 · 7 集 · 58 条

第 1 集 · Caltech办全球首个AI数学黑客松(2026-09-05,23 条)

加州理工学院宣布将于 2026 年 10 月 30 日至 11 月 1 日举办号称全球首个面向研究级数学的 AI 黑客松 Caltech Mathathon,由 Anthropic、OpenAI 联合主办,DARPA expMath、Cognition、Cloudflare、Modal、Mercor、Prime Intellect、a16z、Y Combinator 等约 30 家机构赞助。约 100 支入选队伍将在 40 小时内解答、理解并展示一个公开数学难题,获得总计 200 万美元以上的算力额度和前沿模型访问权限,最终向顶尖数学家组成的评审团口头答辩。报名申请现已开放。这是头部 AI 实验室首次与高校联手对「AI 辅助研究级数学」做集中压力测试。

已确认

  • 赛制为期三天:周五由 Anthropic 主持 AI 智能体工作坊,帮助数学家掌握最新技术;周六日进行黑客松式解题;周日晚向专家评审团做口头展示并答辩。
  • 参赛者包括 IMO/IOI 奖牌得主(据组织方 sathvikr 介绍选手池含 10 枚奖牌得主)与 Annals 论文作者等顶级数学家,主办方从全球招募约 100 支队伍。
  • 奖金分两波发放:初期奖金由评委颁给最有前景的团队,第二波奖金将于 2027 年初发放。
  • 主赛道为「解决并讲解一个公开数学问题」,由独立学者评审,赞助商不参与评分;赞助企业另设预制题赛道,题目覆盖从数域筛算法改进到 superalignment 等方向。
  • 组织方强调三条规则:公平(凭数学能力录取、覆盖差旅费用、欢迎各背景参与者)、透明(活动期间所有 AI 对话日志录制并开源)、理解(参赛者须口头展示成果并回答评委提问)。
  • 据 sathvikr 介绍,组织方还计划在黑客松之外建立长期有效的负责任使用政策:邀请挺 AI 与反 AI 立场的数学家组成小组坦诚交流,并与双方合作设计赛制规则。

为什么重要

  • 头部 AI 实验室首次与高校联手,把前沿模型大规模投入开放数学难题攻关,可视为对「AI 辅助研究级数学」能力的一次集中压力测试。
  • 全程录屏并开源对话记录的做法,为学术界评估 AI 在数学发现中的真实作用提供了可审计的公开数据;主赛道由独立学者评审、赞助方回避评分的设计也降低了利益冲突质疑。
  • 让立场对立的数学家共同参与规则设计,回应了数学界对 AI 侵入研究的不安,为「负责任地在数学中使用 AI」提供了可复制的治理样板。

还有 3 条相关讨论 →

第 2 集 · 全球首场研究级数学黑客松落地加州理工(2026-09-07,4 条)

Sathvik Redrouthu 团队联合 Anthropic 与 OpenAI,将于 2026 年 10 月 30 日至 11 月 1 日在加州理工学院举办号称全球首场研究级数学黑客松(Caltech Mathathon)。赛事拟招募 100 支队伍,在 40 小时内攻关一个公开数学难题,并提供总计 200 万美元的算力支持,参赛者需解题、理解并向评委展示成果。为保证公平,赛事还公布了负责任使用 AI 的机制,要求全程 AI 对话记录开源,供学界审查。

第 3 集 · 数百数学家联署抵制 Caltech AI 黑客松(2026-09-10,9 条)

9月10日,数学研究者 Quasilocal 发起公开信,抵制 Caltech 定于10月30日举办的 Mathathon 黑客松。活动由本科生组织,100 支队伍将在 40 小时内使用前沿 LLM 提示求解开放数学难题,产出 AI「Lean 证书」证明,Anthropic 与 OpenAI 提供超过 200 万美元的 AI 算力额度。联署人数快速攀升:9 月 10 日约近 500 人,9 月 11 日达 700 余人,其中包括 4 位菲尔兹奖得主。联署者认为活动实质是厂商借数学研究做广告,200 万美元赞助涉嫌研究不端;但抵制行动本身也遭到数学家与经济学家的公开批评,争论持续发酵。

已确认

  • 公开信以 Google 文档形式流传,签署者包括 Caltech、Princeton、MIT、Harvard、伯克利、剑桥等高校的博士生、博士后与教授,Rényi 数学研究所多位资深研究员,以及 4 位菲尔兹奖得主。
  • 活动为 Caltech Mathathon,由本科生组织,100 支队伍参赛、限时 40 小时,鼓励用 LLM 提示求解开放数学难题,产出 Lean 形式化证书;Anthropic 与 OpenAI 提供超 200 万美元算力额度。
  • 信中核心指控:厂商用大量算力抢先解决公开难题、抢发研究成果,「为了广告宣传而摧毁有价值的数学研究方向」,并向研究生态灌入垃圾结果;200 万美元赞助被质疑属研究不端。
  • 信中同时向学生施压,称参与该活动可能损害其未来学术声誉。
  • 数学界内部亦有反对声音:数学家 Elliot Glazer 公开强烈批评这封公开信,称约 1500 名学者(此数字为 Glazer 的说法,与帖中其他联署人数口径不一)决定毁掉一个面向本科生的全新三日活动,并认为「只是一个活动」「他们可以在别处学到这些技能」这类说辞可以为任何苛刻行为开脱。

尚未确认

  • 公开信发起者署名在不同帖中分别写作 Quasilocal 与 Quasilierra,具体拼写待核实。
  • Glazer 提到的「约 1500 名学者」及「Navier-Stokes 事件」的所指与背景,仅见于其评论,未见一手材料佐证。

为什么重要

  • 事件折射出数学界对 AI 公司介入纯数学研究的强烈抵触:LLM 批量「抢发」开放难题成果,可能改变数学研究既有的优先权与声誉分配机制。
  • 联署规模在两天内从近 500 增至 700 余并出现菲尔兹奖得主背书,显示抵制情绪在顶级数学家群体中获得相当共鸣。
  • 争论已超出数学界且并非一边倒:经济学家 Ben Golub 转发该信并讽刺其论证——他概括信中逻辑为「帮助年轻人接触这项技术非常冷漠,因为我们可能会因此污名化他们」;评论者 Rabadash2 反驳「没人看得懂的研究数学毫无价值」这一推论,并质疑非数学圈人士介入数学事务;Elliot Glazer 则直接批评抵制者压制学生活动。双方分歧集中在 AI 参与数学研究究竟是机会还是污名化。

第 4 集 · 数学界联名抗议后 OpenAI 撤回 Caltech Mathathon 赞助(2026-09-11,13 条)

9 月 11 日,OpenAI 官方宣布在考虑数学界成员提出的顾虑后,撤回对加州理工学院 Mathathon 数学竞赛的赞助,并已通知主办方。此前数学家发布公开信批评 AI 生成的数学内容是「垃圾内容」(slop),获多位重量级学者联名签署。OpenAI 选择撤出而非硬推,并表态愿与社区沟通,该事件成为 AI 公司赞助学术活动遭遇社区集体反弹后主动撤资的标志性案例。

已确认

  • 据 Business Insider 报道(@exophades 转述),数学家发布公开信批评 AI 生成的数学内容为「垃圾内容」,信中提及数学界对 AI 侵蚀数学研究生态的担忧。
  • 据 Reddit 帖(@YakFull8300)披露,公开信获得数学界重量级人物联名签署,包括 2018 年菲尔兹奖得主 Peter Scholze、Alessio Figalli,以及 2022 年得主 Hugo(帖子截断,具体名单以原信为准)等多位学者。
  • 据 @ns123abc 补充,该 Mathathon 活动让参赛者用大模型解决研究级数学问题,由多家 AI 公司赞助;公开信由 Caltech 在职与离职数学家签署,称此类活动「可能对数学界产生」负面影响。
  • OpenAI 官方(经 @danintheory 发布)宣布:在考虑数学界成员提出的顾虑后,决定撤回对 Caltech Mathathon 竞赛的赞助,并已通知组织方。多条转发帖(@ctjlewis、@LesaunH、@soumitrashukla9、@basedjensen 等)均转述同一信息。
  • OpenAI 在声明中承认「AI 在数学上的快速进展具有颠覆性」,表示希望与数学社区进一步沟通如何整合这项技术并传达其影响。
  • 背景:据转发帖(@soumitrashukla9)转述,Caltech 本科生曾计划利用 OpenAI 提供的 AI 使用额度冲击公开数学难题,这场「代际冲突」是引发抗议的直接导火索。
  • 据 @TinfoilTricorn 评论区补充,该活动没有远程参与选项,有用户质疑残障人士无法到场参与。

为什么重要

  • 这是 AI 公司赞助学术活动遭遇社区集体反弹后撤资的标志性案例,且抗议方包括多位菲尔兹奖得主,显示数学界顶层对 AI 参与数学研究的态度存在明显分歧:年轻一代希望借助 AI 攻坚,资深数学家更担忧低质量 AI 内容污染学术生态。
  • OpenAI 选择撤出并表态愿意沟通,为后续 AI 公司与学术界的互动方式提供了一个观察样本。

第 5 集 · Caltech 学子办 AI 数学竞赛 Mathathon 遭质疑后改赛制(2026-09-11,4 条)

由 Caltech 本科生组织的 Mathathon 计划向 100 支数学家队伍分配算力额度,在 40 小时内用前沿模型攻克开放数学问题,已收到美欧顶尖机构上千份申请。但社区公开信质疑该赛事可能激励仓促、缺乏理解的成果,给数学界带来验证负担。组织者随后发文回应,承诺做『负责任 AI 数学』实验,调整赛制并增加 6 个月研究期。

第 6 集 · Mathathon 黑客松遭数学界联署抗议后宣布重设(2026-09-11,2 条)

针对 Mathathon AI 黑客松活动,数学社区发起在线联署公开信表达抗议。主办方 sathvikr 随后发布正式回应并道歉,承认这一回应可能无法平息所有关切,但视其为具体的第一步。团队表示正与数学社区合作重新设计活动,包括弃用黑客松模式,并增设为期半年的研究期。

第 7 集 · AI 参与数学研究引激辩:科班训练是否受威胁(2026-09-11,3 条)

围绕 Caltech 的 Mathathon 活动,数学界就「该不该用 AI 做数学」展开对峙。有 Caltech 校友博士视其为冒险精神与科学卓越的体现,RexDouglass 更断言不用 AI 做数学的时代已经结束,拒绝 AI 如同只在白板上解题;而 Stanislav Fort 等研究者则质疑资深数学家阻挠 hackathon 的做法,双方激辩 AI 解题与科班训练的价值。