生物行移动版

在数学科学的发展历程中，提出深刻而难以证明的猜想历来被视为推动理论突破的核心驱动力。近日，来自全球多所知名学术机构的数学家组成专项协作网络，共同制定了一份包含50个最具挑战性与高学术价值的数学公开难题清单。与传统的数学悬赏不同，本次征集设定了一项极为关键的技术约束：所有入选问题的解法必须具备可自动化验证的严谨逻辑闭环。

该项协作研讨在全球六个重要的学术枢纽同步展开，包括英国伦敦、加拿大多伦多，以及美国的洛杉矶、纽约、伯克利和剑桥。参与学者涵盖代数几何、拓扑学、数论和纽结理论等多个纯数学领域。伦敦数学科学研究所（LIMS）数学家何杨辉（Yang-Hui He）教授在研讨期间与同行密切协作，提交了横跨代数结构、空间拓扑与数论猜想的代表性难题。他指出，攻克未决猜想构成了整个数学共同体的基石文化，亦是菲尔兹奖等顶级学术荣誉的核心评判标准。

这一全球性征集行动由专注于评估前沿人工智能发展轨迹的研究机构Epoch AI主导发起。Epoch AI资深研究员格雷格·伯纳姆（Greg Burnham）表示，该题库旨在覆盖极广的理论光谱，为当今演进迅速的先进大语言模型与神经符号推理系统构筑高难度、抗数据污染的基准测试集（Benchmark）。

伴随大模型在符号代数与形式化定理证明中的快速突破，AI系统在解决复杂科学与纯数学难题方面的表现备受学界关注。此前已有机构声称利用AI模型尝试攻克千禧年大奖难题（如纳维-斯托克斯方程的存在性与光滑性），引发了理论数学与计算科学界的激烈探讨。专家指出，建立具有严格自动化机器验证特性的50大难题库，不仅将为AI的深层逻辑推理与抽象建模能力提供严密的科学标尺，也将进一步推动人工智能与形式化验证系统的深度融合。