Caltech Mathathon – first hackathon ever devoted to research level mathematics

加州理工学院数学马拉松——首个专注于研究级数学的黑客松

40 hours, $2M+ AI credits, solve an open problem. AI has made groundbreaking progress in pure math in the past few months: May 20, 2026: Erdos’s planar unit-distance conjecture was disproved (open 80 years)[1]. August 1, 2026: The first explicit non-sofic group was constructed (open 27 years)[2]. August 23, 2026: The six-sphere was shown to admit a complex structure (open 78 years; unverified)[3].

40小时，价值超过200万美元的AI算力额度，解决一个开放性难题。在过去的几个月里，人工智能在纯数学领域取得了突破性进展：2026年5月20日，埃尔德什（Erdos）平面单位距离猜想被证伪（该问题已悬置80年）[1]。2026年8月1日，首个显式非索菲克群（non-sofic group）被构建出来（该问题已悬置27年）[2]。2026年8月23日，六维球面被证明存在复结构（该问题已悬置78年；尚未经核实）[3]。

This AI advancement raises the following questions: (a) How much can AI speed up the process from ideation to peer-reviewed publication? (b) What is the role of a mathematician when AI can solve conjectures faster? We are assembling the top math talent worldwide to answer these questions.

人工智能的这些进步引发了以下问题：(a) 人工智能能在多大程度上加速从构思到同行评审发表的过程？(b) 当人工智能能够更快地解决猜想时，数学家的角色是什么？我们正在汇集全球顶尖的数学人才来回答这些问题。

On October 30th, a hundred teams will be given frontier models to solve open conjectures and build new mathematical theories. Then, they will defend their results before leading mathematicians, who will assess their understanding of the results. We will award prizes to the most promising and well-explained results at the event. Then, after the math community has had time to verify these results, we will provide a second round of prizes. It will be the first hackathon ever devoted to research level mathematics.

10月30日，一百支参赛队伍将获得前沿模型的使用权，用于解决开放性猜想并构建新的数学理论。随后，他们将在顶尖数学家面前进行成果答辩，由专家评估他们对研究结果的理解。我们将在活动现场为最具前景且解释最清晰的成果颁发奖项。此后，待数学界有足够时间对这些结果进行验证后，我们将颁发第二轮奖项。这将是史上首个专注于研究级数学的黑客松。

Where: California Institute of Technology 地点： 加州理工学院

When: October 30th to November 1st 时间： 10月30日至11月1日