Millennium(千禧年大奖难题)是克雷数学研究所于 2000 年悬赏征解的七个基础数学难题,每题奖金 100 万美元,被视为数学界的最高荣誉之一,至今仅有庞加莱猜想一题被破解。近期,随着 OpenAI 宣布投入大规模算力攻克其中未解难题,Millennium 再次成为 AI 与基础科学交叉领域的热点话题。
Millennium 难题的近期进展
当前焦点与观察点
Millennium 议题的核心争议在于:AI 攻克数学难题究竟是真实的科研突破,还是实验室的算力展示。支持者指出,如果模型能在数百年悬而未决的问题上产出可验证的部分进展,将彻底改变基础数学的研究范式;怀疑者则认为,百万美元奖金级难题的完整证明往往需要数十年的领域积累,当前模型更多是辅助探索而非独立求解。
值得关注的是,无论 OpenAI 的尝试结果如何,这一事件已经把"AI 能否做严肃数学"从学术圈讨论推向了公众视野。后续观察点包括:是否有可被数学界审阅的证明片段流出、克雷研究所对 AI 生成证明的态度,以及其他头部实验室是否会跟进类似的高风险高声誉项目。对于关注 AI 前沿能力的读者而言,Millennium 难题正成为衡量模型推理上限的公开标尺。