网易首页 > 网易号 > 正文 申请入驻

用代号Doug的模型,OpenAI要啃千禧年难题

0
分享至

数学圈有个说法:千禧年大奖难题一共七道,解出一道就够载入史册。据 The Information 报道,OpenAI 现在盯上了其中一道——Hodge 猜想,而且据说已经接近解决。

这不是 OpenAI 第一次碰千禧年难题。报道里提到,此前解出第一道千禧年难题时,OpenAI 用的是一款下一代预训练模型的变体,代号叫 Doug。换句话说,这家公司手里已经有一套能啃硬骨头的模型工具链,Hodge 猜想只是下一个目标。


为什么是数学

The Information 给出的解释很直接:OpenAI 把数学看作通往自动化 AI 研究的下一步。数学能力提上去,AI 就有可能自己开发新的 AI 技术,进而反哺未来的模型迭代。

这个逻辑链条值得拆开看。数学题有明确的对错,可验证、可打分,是训练推理能力的天然试验场。模型在数学上跑通了,才谈得上在更模糊的研究任务上跑通。OpenAI 押注数学,本质上是在为"AI 做研究"这件事铺路。

Doug 这个代号透露了什么

报道里只给了一个信息点:解第一道千禧年难题时,用的是下一代预训练模型的变体,代号 Doug。没有参数规模,没有架构细节,也没有说明 Doug 和现有公开模型是什么关系。

能确定的是,"下一代预训练模型"这个说法意味着它还没正式发布。OpenAI 拿未公开的模型去攻数学难题,说明这类任务在内部被当作能力验证的试金石,而不是对外展示的演示。

至于 Hodge 猜想本身,它是代数几何领域的核心问题之一,和拓扑、复几何都有交叉。这类问题的解决通常需要极长的推理链条,对模型的持续推理能力要求很高。


时间点和信源

这条消息来自 The Information 的报道,发布时间显示为 2026 年 9 月 17 日。报道用的是"接近解决"的表述,不是"已经解决"。

这个措辞差别很重要。数学难题的验证周期往往很长,即使模型给出了候选证明,也需要数学家花时间审阅。从"接近"到"确认",中间可能还有相当距离。

目前没有更多细节披露:Doug 具体是什么形态、Hodge 猜想的进展到了哪一步、是否有外部数学家参与验证,报道都没有展开。

这件事的分量在哪

如果 OpenAI 真的在千禧年难题上连续取得进展,那它验证的不只是模型能力,还有一条路径:用 AI 加速数学研究,再用数学能力反哺 AI 自身。

这条路径一旦跑通,AI 研究的节奏可能会变。过去靠人写论文、调模型、试想法,未来可能有一部分由模型自己完成。OpenAI 把数学放在这个位置上,逻辑是自洽的。

当然,在正式结果出来之前,一切都还停留在"接近"这个状态。数学界的规矩是,证明要经得起同行审阅才算数。

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
教授夫妇双双从25楼跳下,账户查出700万流水,遗言:没有活着的希望

教授夫妇双双从25楼跳下,账户查出700万流水,遗言:没有活着的希望

悬案解密档案
2025-10-31 15:05:24
历史上唯一一张亲王腰挂佩刀骑马照,光绪皇帝的生父醇亲王!

历史上唯一一张亲王腰挂佩刀骑马照,光绪皇帝的生父醇亲王!

小豫讲故事
2026-09-19 06:00:14
博士答辩被拒回村行医30年!62岁老村医火了,回应:尽量别打扰他

博士答辩被拒回村行医30年!62岁老村医火了,回应:尽量别打扰他

华庭讲美食
2026-09-19 08:11:50
三喜临门!山东泰山队迎3个好消息,泽卡荣获最佳,梯队迎5连冠

三喜临门!山东泰山队迎3个好消息,泽卡荣获最佳,梯队迎5连冠

王大发不懂球
2026-09-19 21:29:17
太乖巧!玥儿主动下厨做麻薯,小小年纪心灵手巧,越长越懂事!

太乖巧!玥儿主动下厨做麻薯,小小年纪心灵手巧,越长越懂事!

眼底星碎
2026-09-19 02:10:08
全网骂翻!陈小春封箱退场被喷耍大牌!揭穿内娱最荒唐的双标现场

全网骂翻!陈小春封箱退场被喷耍大牌!揭穿内娱最荒唐的双标现场

情感大头说说
2026-09-17 09:53:03
CCTV5+直播!国足亚运队PK伊朗,赢球=提前出线,超龄球员继续挑大梁

CCTV5+直播!国足亚运队PK伊朗,赢球=提前出线,超龄球员继续挑大梁

绿茵舞着
2026-09-20 01:25:12
国内将逐渐停止“肠息肉手术”?做完人就废了?医生讲出实情

国内将逐渐停止“肠息肉手术”?做完人就废了?医生讲出实情

垚垚分享健康
2026-09-17 12:30:08
CCTV5直播:调整!赛程:中国女排1-4决赛时间敲定,日本女排强势

CCTV5直播:调整!赛程:中国女排1-4决赛时间敲定,日本女排强势

十三哥侃大山
2026-09-19 09:51:12
女子30万块买二手帕拉梅拉,过户时工作人员:后备箱怎么焊了夹层

女子30万块买二手帕拉梅拉,过户时工作人员:后备箱怎么焊了夹层

悬案解密档案
2025-08-04 10:34:42
几亿人的“养老钱”等来新改革!不是简单合并,是国家要动真格了

几亿人的“养老钱”等来新改革!不是简单合并,是国家要动真格了

你在偷看谁
2026-09-19 20:28:17
中网门票涨价幅度再创历史新高,网友呼吁不要再搞阶级体验消费

中网门票涨价幅度再创历史新高,网友呼吁不要再搞阶级体验消费

网球之家
2026-09-19 22:58:21
曝一位95后男星被送来送去,成为男大佬的共享金丝雀,女星当中介

曝一位95后男星被送来送去,成为男大佬的共享金丝雀,女星当中介

荒野老五
2026-09-16 22:42:33
Lisa参加肥伦秀不敢开麦演唱,以纯访谈形式进行,美国观众不惯着

Lisa参加肥伦秀不敢开麦演唱,以纯访谈形式进行,美国观众不惯着

芊手若
2026-09-18 13:18:28
665亿将公司卖给马云,33岁创业天才“激流勇退”,如今再创传奇?

665亿将公司卖给马云,33岁创业天才“激流勇退”,如今再创传奇?

闺蜜财经
2026-09-19 18:34:56
波兰竟也来插手南海?中方无需再忍,主动破局,果断收复关键岛屿

波兰竟也来插手南海?中方无需再忍,主动破局,果断收复关键岛屿

心灵的触动a
2026-09-19 05:26:34
《交锋》大结局将至!巨大转折来袭!三哥牺牲,马憩辞职甘当卧底

《交锋》大结局将至!巨大转折来袭!三哥牺牲,马憩辞职甘当卧底

老吴教育课堂
2026-09-19 10:15:09
沙特和以色列一拍即合,巴基斯坦土耳其联盟已吹了

沙特和以色列一拍即合,巴基斯坦土耳其联盟已吹了

移光幻影
2026-09-19 21:34:25
樊振东主动放弃伦敦世乒赛资格,也不参加亚运会,究竟是什么原因?

樊振东主动放弃伦敦世乒赛资格,也不参加亚运会,究竟是什么原因?

乒乓乐园
2026-09-20 00:02:21
问界之后,享界也要“单飞”?

问界之后,享界也要“单飞”?

车轱辘话V
2026-09-19 11:49:55
2026-09-20 06:11:00
摸鱼算法
摸鱼算法
致力于用最前沿的AI技术,换取更多发呆时间的三十岁青年。
201文章数 70关注度
往期回顾 全部

科技要闻

要走650亿,智谱的理想越来越贵

头条要闻

厨师被指在餐馆扎血测艾滋病 老板:有关部门已介入

头条要闻

厨师被指在餐馆扎血测艾滋病 老板:有关部门已介入

体育要闻

2026亚运会开幕式 胡明轩吴愉担任旗手

娱乐要闻

甜度爆表!许嵩冯禧晒婚纱照官宣结婚

财经要闻

江西首富破产:一张927万商票压垮千亿帝国

汽车要闻

大块头的从容 红旗G919如何兼顾豪华与越野能力

态度原创

房产
健康
艺术
亲子
军事航空

房产要闻

海口房价,降不动了!

脑动脉瘤的治疗方法,该选哪一种?

艺术要闻

国宝级!石涛书画全集大公开,搜尽奇峰打草稿,这才是中国画天花板!

亲子要闻

从“世界高品质”到“透明真安心”,好奇诠释48年品质坚守

军事要闻

特朗普再称对伊朗战争将很快结束

无障碍浏览 进入关怀版