❯ OpenAI 员工据称预期霍奇猜想将获解,尚未公布证明也未经过同行评审
内部预期据 The Information 援引知情人士报道,OpenAI 员工预计 霍奇猜想可能在相对较短时间内被解决;这是克雷数学研究所列出的千禧年大奖难题之一,但公司尚未公开完整证明或正式宣布结果。
前序线索9 月 17 日的报道把这项工作与 OpenAI 此前声称解决纳维-斯托克斯方程问题的尝试相连;两者都属于 7 道千禧年大奖难题的讨论范围,研究所规则显示每道题设有 100 万美元奖金。公司内部把数学能力视为自动化 AI 研究的一条路径,完整证明公开后还要经过数学家的逐步检查与独立同行评审。
事实边界“员工预期接近解决”和“猜想已经被证明”是两件事。研究机构、媒体与读者眼下能做的,是等待可复核证明文本、多位领域专家的审阅和克雷数学研究所的后续程序;在这些步骤完成前,内部进展不能直接当成数学定论,也不能据此发放千禧年大奖。
▪ SIGNAL这条线索的新闻价值来自模型可能参与原创数学,结论权仍掌握在公开证明与同行评审手中。