消息称 OpenAI 接近攻克霍奇猜想

此前因抢占数学难题成果陷入舆论风波的 OpenAI，被曝距离攻克千禧年大奖难题中的霍奇猜想已近在咫尺，内部预计有望在较短时间内证明，但因需研究与数学界的合作方式以避免公关危机，或需更长时间对外公布。OpenAI 此前用代号「道格」的下一代预训练模型变体完成纳维–斯托克斯方程相关证明，耗费不菲。该公司认为数学是大模型继软件工程后要攻克的下一个领域，攻克这类难题有助于推进机器学习研究自动化，助力迈向 AI 递归自改进目标，还能评估模型进展与复杂推理能力，也可打造里程碑，在通用超级人工智能竞赛中作为宣传筹码。