这一AI进展引出了以下问题:(a)AI能在多大程度上加速从构想到同行评审发表的过程?(b)当AI能够更快地解决猜想时,数学家的角色是什么?
我们正在召集全球顶尖数学人才来回答这些问题。10月30日,一百支队伍将获得前沿模型,用于解决公开猜想并构建新的数学理论。随后,他们将在顶尖数学家面前为自己的成果答辩,这些数学家将评估他们对成果的理解程度。
我们将在活动现场为最有前景且阐述清晰的成果颁发奖项。之后,待数学界有时间验证这些结果后,我们将提供第二轮奖金。
加州理工学院将举办首个面向研究级数学的黑客松Mathathon。10月30日,100支队伍将使用前沿AI模型攻克公开猜想并构建新数学理论,随后向顶尖数学家答辩。活动旨在探索AI能否加速从构想到同行评审的发表过程,以及AI时代数学家的角色,分两轮颁奖。
来源:Hacker News
这一AI进展引出了以下问题:(a)AI能在多大程度上加速从构想到同行评审发表的过程?(b)当AI能够更快地解决猜想时,数学家的角色是什么?
我们正在召集全球顶尖数学人才来回答这些问题。10月30日,一百支队伍将获得前沿模型,用于解决公开猜想并构建新的数学理论。随后,他们将在顶尖数学家面前为自己的成果答辩,这些数学家将评估他们对成果的理解程度。
我们将在活动现场为最有前景且阐述清晰的成果颁发奖项。之后,待数学界有时间验证这些结果后,我们将提供第二轮奖金。