OpenAI或将攻克霍奇猜想，数学界为何愤怒？

OpenAI可能即将解决另一道千禧年大奖难题。据透露，继纳维-斯托克斯方程后，该公司正在专注于霍奇猜想——这是七个千禧年大奖难题之一。知情人士指出，员工们预计很快会提出解决方案，但官方公布可能会推迟。原因并不复杂：纳维-斯托克斯事件之后产生的公关危机，让OpenAI希望在对外发布前先理清信息。霍奇猜想探讨的是一个听起来抽象而实际内容具体的问题：某些几何形状的特定性质是否始终能用更简单的代数形式来表达。它属于代数几何领域，是克雷数学研究所2000年悬赏百万美元的七道难题之一。如果OpenAI确实成功攻克这一难题，便将成为继纳维-斯托克斯之后的又一个重大发现。

然而，围绕这一难题的解答和之前的处理方式并不尽如人意。纳维-斯托克斯方程的解决方案至今未获得官方确认。据了解，OpenAI在此方案中使用了下一代预训练模型的变种，代号为"Doug"，其花费可能高达几百万美元。相较于普遍的认可，这次的解法发布引发了公关危机。显然，这让OpenAI深感教训，因此这次宁愿延迟正式发布，也要理顺信息传递的方式。

有趣的是，OpenAI的首席研究员Jakub Pachocki在Astra的发布会上曾表示，公司的首要任务是递归自我改进，即让AI优化自身，而非专注于数学问题。但如今公司在数学领域接连发力，与此表态形成了明显的矛盾。

关于OpenAI从数学突破中期望获得什么的信息并不明确。据悉，内部一些成员认为，这可能为递归自我改进提供助力——如果AI能够解决那些人类顶尖智者都难以攻克的难题，或许它就能更进一步地优化自己。

然而，数学界对此反应并不积极。与惊叹相比，许多数学家感到愤怒。一些数学家觉得自己所在的领域正遭遇威胁。这种反应可以理解：随着机器接近人类智力的重大里程碑，所受到冲击的不仅是解题的荣耀，还有整个“数学研究的意义”这一认知框架。OpenAI目前尚未对霍奇猜想发表任何正式声明。解决方案是否成立、何时公布及以何种方式公布仍然未知。但有一点可以明确，这次他们计划在发布前先理清相关信息。