9 月 12 日截止:第一场面向开放问题的数学黑客马拉松

先说时效。这个比赛 9 月 12 日晚上 11 点 59 分(太平洋时间)截止报名,还有四天。 事情本身一句话...

先说时效。这个比赛 9 月 12 日晚上 11 点 59 分(太平洋时间)截止报名,还有四天。

事情本身一句话能讲完:加州理工的一群学生要办世界上第一场以研究级数学为主题的黑客马拉松,叫 Mathathon,10 月 30 日到 11 月 1 日在帕萨迪纳的加州理工校园里连打 40 小时。约一百支队伍,每队一到四人,领一个开放数学问题,配前沿 AI 模型和不低于 200 万美元的算力额度,最后当面答辩。

第一场是主办方自己的说法,原话是 first hackathon ever devoted to research level mathematics。这个”第一”有争议,后面说。

细节里有几处值得停一下。比赛是注册在加州理工的学生组织办的,学生负责人叫 Sathvik Redrouthu,无薪;数学系的 Tony Yue Yu 教授是对外的门面。日期原来定在 10 月 9 日,网站顶部现在还挂着改期公告。赞助商 29 家排成五档:头档是 Anthropic 和 OpenAI,二档里混着 DARPA 的 expMath 项目、Cognition、Cloudflare,再往下是 Y Combinator、a16z、Modal、Prime Intellect 这些。数学比赛拉到风投和军工研究机构同桌,这个组合本身就是 2026 年的注脚。

评审设计是最聪明的部分。数学没法在一个周末内验收,所以奖金分两期:闭幕式发一轮,剩下的等约六个月后由社区复核再发。把”验证”当成独立赛段写进规则,这在其他黑客马拉松里我没见过。

timeline title Mathathon 时间线 2026-09 : 报名开放 滚动审核 2026-09-12 : 申请截止 23点59分 太平洋时间 2026-10-30 : 开赛 加州理工 40 小时 2026-11-01 : 现场答辩 闭幕发第一轮奖 2027 年中 : 社区复核后发第二轮

争议集中在两点。HN 上一位叫 boothby 的评论者直接开怼,说这主意”相当无知”——他近二十年前就参加过 William Stein 围绕 BSD 猜想办的 Sage Days 黑客马拉松。研究数学工作者聚起来猛攻开放问题,这件事有传统;新东西其实是”前沿模型入场”这一半。另一条高赞质疑更扎心:40 小时里队伍大部分时间在等模型吐token,这和经典黑客马拉松”通宵手搓”的快感背道而驰。还有人问得更冷:大厂是不是在用职业数学家当廉价劳力,替模型验证输出?

这些质疑都成立,但它们恰好描出了这件事的真实形状:这不是模型比赛,是人机配比的实验。模型出猜想和长推导,人负责把关和品味,四十小时看哪种配比能在一个开放问题上走出新的一步。答辩环节防表演,半年复核防翻车,两个刹车都装了。

放在更大的季节里看更清楚。Anthropic 是头档赞助商,而它家的模型上周刚用十一天把费马大定理形式化进了 Lean——本站当时逐条核过那 1340 万行代码的账。赞助商在赌同一件事:下一步的数学发现会不会发生在人加模型的界面上。DARPA 的 expMath 进场,赌的也是这个。一百支队伍四天的实验数据。对他们,便宜得离谱。

报名入口 mathathonchallenge.com,队伍一到四人,不限于本科生,按”数学能力 perception”滚动录取,尝试补助差旅。想去就得这四天动手了。

> 来源:mathathonchallenge.com(含改期公告与赞助名单);HN 49596055;组织者公开帖。奖金数额未公布,网上流传的百万美元说法无法溯源到主办方。

发表回复

人生梦想 - 关注前沿的计算机技术 acejoy.com 🐾 步子哥の博客 🐾 背多分论坛 🐾 借一步网 🐾 智柴网 沪ICP备2024052574号-1