如果OpenAI真能攻克霍奇猜想,为什么短期内仍不能宣布成功
假设OpenAI明天真的公开一篇霍奇猜想证明,新闻标题也不能立刻写成“七大千禧难题又少一个”。数学成果的成立不由发布者自己决定,更不会因为参与计算的模型数量多、运行时间长或同时附有程序验证就自动生效。克雷数学研究所为千禧难题设置了一套明确而漫长的认定程序。
千禧难题不是发布论文就算解决
合格发表、两年时间和全球认可缺一不可
克雷数学研究所的规则要求,候选方案首先需要发表在符合条件的出版渠道;从发表之日起至少经过两年;同时还要得到全球数学界的普遍接受。满足这些前提后,研究所才会考虑是否进行更详细的评估。
这套规则的重点是让结果经受持续检查。重大证明往往篇幅长、依赖多,早期版本可能存在...