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