此前因抢占数学难题成果而陷入舆论争议的OpenAI,被曝已接近攻克千禧年大奖难题中的霍奇猜想,内部预计能在较短时间内完成证明。不过,为避免公关危机,OpenAI需研究如何与数学界合作,因此对外公布的时间可能会延长。此前,OpenAI已用代号“道格”的下一代预训练模型变体,完成了纳维–斯托克斯方程的相关证明,成本高昂。OpenAI认为,数学是大模型继软件工程后需攻克的下一个领域,攻克此类难题有助于推进机器学习研究的自动化,助力实现AI递归自改进的目标,还能评估模型进展与复杂推理能力,打造里程碑,在通用超级人工智能竞赛中作为宣传筹码。
