HeadlinesBriefing favicon HeadlinesBriefing.com

Caltech 数学马拉松:首届AI驱动数学研究黑客松

Hacker News •
×

Caltech 数学马拉松将于 2026 年 10 月 30 日至 31 日举行,将成为首个致力于研究级数学的黑客松。一百支团队将使用前沿 AI 模型来解决开放猜想并构建新的数学理论,然后在他们面前为结果进行辩护由顶尖数学家评判。AI 最近在纯数学领域取得了突破性进展,包括推翻了 Erdos 的平面单位距离猜想(开放 80 年)、构造了第一个显式非 sofic 群(开放 27 年),以及证明了六维球面允许复结构(开放 78 年)。这些进展提出了关于 AI 如何加速数学发现以及人类数学家仍扮演何种角色的问题。参与者将获得超过 200 万美元的 AI 积分,用于在 40 小时内攻克开放性问题。奖项将颁发给最具前景的结果,并在社区验证后进行第二轮评选。该活动旨在探讨 AI 对数学研究和合作影响的根本性问题。