9月10日消息,leo发帖称,听说霍奇猜想即将被 OpenAI 证实,且 OpenAI 或 Anthropic 中的一家接近解决伯奇-斯温纳顿-戴尔猜想(BSD 猜想)。帖内还给出一个量化的说法:如果属实,一个月之内可能有三个千禧年大奖难题被攻克。目前,OpenAI 与 Anthropic 均未就这两项猜想公开表态。
爆料拆开来是三条主张
原帖两段话,拆开是三个可分离的判断:其一,霍奇猜想即将被 OpenAI 证实;其二,OpenAI 或 Anthropic 中的一家接近解决 BSD 猜想;其三,由此推论一个月之内可能有三个千禧年大奖难题被攻克。三条的支持强度完全不同:第三条里的「一个」已经发生,前两条没有任何公开佐证。发帖人自己在帖中也写了保留意见——「鉴于当前谣言四起,这也未必成真」。
公开信息支持到哪
有事实级支点的是纳维-斯托克斯问题。9月8日,OpenAI 在官方博客公布,其 AI 系统在 9月5日得到纳维-斯托克斯方程存在性与光滑性问题的 resolution:约 1 万个系统运行 88 小时给出构造奇点的证明,另有 17 小时的验证工作。Guardian、Quanta、Nature 与 BBC 均作了报道。这项证明尚待数学界检验,社区对 AI 生成证明的可靠性也有怀疑。
反方向的公开证据同样存在。数学写作者在 Substack「Silicon Reckoner」上查看霍奇猜想现状后写道,看不出任何接近解决的理由,也没有见到 OpenAI 的霍奇证明流出。这是数学圈目前可见的、针对霍奇猜想本身的公开判断。
接下来值得盯的是两件公开的事:数学界对纳维-斯托克斯证明的检验,以及 OpenAI 与 Anthropic 有没有后续声明。在那之前,霍奇与 BSD 两条只能停留在传闻。