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

OpenAI下一代模型Astra攻克10道数学难题

0
分享至

OpenAI下一代模型Astra攻克10道数学难题与AI科研新范式

OpenAI最新披露的下一代模型Astra,内部版本已攻克10项长期悬而未决的数学与理论计算机科学难题,涉及高维几何、编码理论、群论、算术电路复杂性等方向。这一成果不仅刷新了AI在基础科学研究中的能力边界,也为大模型从"对话工具"向"科研伙伴"的演进提供了关键注脚。


数学突破:10项菲尔兹奖级成果

Astra公布的成果中,最具里程碑意义的是高维球体堆积问题的新上界,将结果推进至Cohn-Elkies阈值。这是自1978年以来球体堆积指数48年来首次改进。另一项重大突破是构造出明确的非sofic群,推翻了群论中2000年前后提出的核心猜想。此外,Astra在二进制码和球面码、格密码学、量子复杂性等6个方向均取得进展。

数学家、美国数学学会Fellow Alex Kontorovich评价称:"这是足以载入史册的分水岭时刻。按照菲尔兹奖标准,任何一项成果都足以获奖。"Epoch AI的OpenMath评分显示,大部分结果被评为"Major Advance",第三项成果被评为"突破"。

成本革命:2000美元破解十年难题

令人震惊的是,破解这10道难题,Astra仅消耗约2000美元Token成本。按照Sol API费率计算,模型在评估期间自主探索、论证整理,最终输出249页论文及62页解题思路。这一成本效率远超传统科研团队的算力投入。

AI参与数学研究的模式正在从"辅助工具"升级为"独立发现者"。2026年5月,OpenAI曾公开AI发现的厄尔多什单位距离猜想反例,此次Astra的成果进一步验证了大模型在复杂推理领域的潜力。数学问题需要严格的逻辑推导和跨领域知识整合,Astra的成功表明,AI已具备处理长链条推理和抽象思维的能力。


技术落地的关键在于模型架构的持续优化。Astra采用的混合专家架构与投机解码技术,使其在推理效率与成本之间实现了更优平衡。对于科研团队而言,AI可以作为"第一版假设生成器",大幅缩短探索周期,将人类研究者的精力集中在验证和深化环节。

政策与产业:从实验室到全球竞争

Astra并非首次进入政策制定者视野。此前OpenAI CEO萨姆·奥尔特曼已向白宫官员、内阁成员和国会议员展示该模型。这一动向反映了AI基础研究能力已成为国家科技竞争的核心变量。

从产业视角看,Astra的成果正在重塑大模型能力的评估标准。过去,模型评测主要聚焦对话质量、代码生成、常识推理等应用层面;如今,基础科学的突破能力成为新的竞技场。这一趋势将推动模型训练数据、架构设计和算力投入的结构性调整。

对于企业用户,Astra的数学突破意味着AI在复杂决策场景中的可靠性显著提升。金融风控、药物研发、材料科学等领域,均可借助此类能力构建更智能的分析框架。建议相关团队关注OpenAI后续发布的正式版本,评估其在垂直场景中的适配潜力。

【信源】智东西 | OpenAI官宣下一代模型Astra!取得10大未解难题突破 | 2026-08-02

【信源】新智元 | 突发!OpenAI下一代AI攻克10项菲尔兹奖级难题 | 2026-08-02

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

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.

相关推荐
热点推荐
重庆0-2深圳遭5轮不胜!杜月徵2球被吹+姚浩洋扑点 +姜至鹏破门

重庆0-2深圳遭5轮不胜!杜月徵2球被吹+姚浩洋扑点 +姜至鹏破门

乒烧泳球
2026-08-02 22:02:43
中国最大的蚊子工厂,用羊血喂养蚊子,每个月释放3000万只

中国最大的蚊子工厂,用羊血喂养蚊子,每个月释放3000万只

抽象派大师
2026-07-31 18:56:27
殡葬师实话讲:遗体装上接运车,家属没必要一路跟着去殡仪馆

殡葬师实话讲:遗体装上接运车,家属没必要一路跟着去殡仪馆

椰青美食分享
2026-07-31 03:18:26
连云港母女坠楼事件发酵!女子39岁才生的女儿,率先逃生的父亲被网暴

连云港母女坠楼事件发酵!女子39岁才生的女儿,率先逃生的父亲被网暴

火山詩话
2026-08-01 07:38:46
中央批准,唐屹峰履新

中央批准,唐屹峰履新

大风新闻
2026-08-01 18:24:04
郑智:很可惜两队无法派出最强阵容;我们朝着目标更近一步

郑智:很可惜两队无法派出最强阵容;我们朝着目标更近一步

懂球帝
2026-08-02 21:25:09
莱万主场首秀梅开二度献绝杀

莱万主场首秀梅开二度献绝杀

体坛周报
2026-08-02 14:58:14
邮报:库库雷利亚把自己的世界杯冠军奖牌借给当地邮递员试戴

邮报:库库雷利亚把自己的世界杯冠军奖牌借给当地邮递员试戴

懂球帝
2026-08-01 22:47:11
月薪上万却没人来?我国四大行业陷入“用工荒”,年轻人为啥不干

月薪上万却没人来?我国四大行业陷入“用工荒”,年轻人为啥不干

小叨娱乐
2026-08-02 08:40:41
东体:海港队明日将赴大连备战,然后从大连直接前往重庆客场

东体:海港队明日将赴大连备战,然后从大连直接前往重庆客场

懂球帝
2026-08-02 16:48:07
8岁小儿问朱元璋:我爷爷救了你,为何要抄我家?朱元璋如何回复

8岁小儿问朱元璋:我爷爷救了你,为何要抄我家?朱元璋如何回复

长风文史
2026-08-02 21:07:05
小米澎程体验店门前怒斥友商:不要骚扰我们的顾客!而对面就是华为门店,评论区全在阴阳华为!

小米澎程体验店门前怒斥友商:不要骚扰我们的顾客!而对面就是华为门店,评论区全在阴阳华为!

谭谈社会
2026-08-02 18:29:31
保时捷:中国买家变心了!中国车主:求求了,您先把导航做明白吧

保时捷:中国买家变心了!中国车主:求求了,您先把导航做明白吧

铭记历史呀
2026-07-31 18:54:56
湖北安陆交警副大队长王仁科,凌晨趁妻子熟睡时用哑铃将其杀害,连夜弃尸于三百里外的荒山,最终因一个枕头在2004年被抓捕归案

湖北安陆交警副大队长王仁科,凌晨趁妻子熟睡时用哑铃将其杀害,连夜弃尸于三百里外的荒山,最终因一个枕头在2004年被抓捕归案

人生录
2026-07-21 00:10:03
2‑1力克浙江!国安球迷赛后不肯走,他们在等一个迟到的答案

2‑1力克浙江!国安球迷赛后不肯走,他们在等一个迟到的答案

林子说事
2026-08-02 14:04:01
房价又跌了!这次不太一样

房价又跌了!这次不太一样

大川东山再起
2026-08-01 20:42:40
前男友的DNA,可能永远留在你体内?别再被短视频误导,真相讲透

前男友的DNA,可能永远留在你体内?别再被短视频误导,真相讲透

网络易不易
2026-08-01 10:30:37
日本两大巨头同日倒下,特朗普亲自求情也没用——一场迟来的报应

日本两大巨头同日倒下,特朗普亲自求情也没用——一场迟来的报应

奇思妙想生活家
2026-08-02 06:08:40
难怪遗产一点不取,73岁迟重瑞近况曝光,原来他和翁帆是一类人

难怪遗产一点不取,73岁迟重瑞近况曝光,原来他和翁帆是一类人

动物奇奇怪怪
2026-08-02 16:32:32
人体有5个器官可以“拿掉”,不会影响正常生活,是不是真的?

人体有5个器官可以“拿掉”,不会影响正常生活,是不是真的?

新时代的两性情感
2026-08-02 14:07:55
2026-08-02 22:20:49
奇葩锅
奇葩锅
做个闲人,自由,惬意
117文章数 0关注度
往期回顾 全部

科技要闻

零跑月销10万破纪录!比亚迪奇瑞海外卖爆

头条要闻

女子花10万请明星带货仅卖1单 3公司"坑位费"收2600万

头条要闻

女子花10万请明星带货仅卖1单 3公司"坑位费"收2600万

体育要闻

常规赛MVP可以衡量常规赛成就吗?

娱乐要闻

徐克和多位港星送别施南生

财经要闻

长鑫科技四万亿市值背后的资本与周期

汽车要闻

历史性里程碑时刻 零跑7月交付达101267台

态度原创

健康
艺术
旅游
公开课
军事航空

中风易复发!谈中风康复与二级预防

艺术要闻

自然与艺术|奥杜邦《美洲鸟类》

旅游要闻

发现宝藏山东|山东籍著名演员邵峰打卡仙境蓬莱,体验一天神仙生活,邀请全国游客朋友来山东过神仙日子!

公开课

李玫瑾:为什么性格比能力更重要?

军事要闻

特朗普:在伊朗和中东多国请求下 同意取消打击伊朗

无障碍浏览 进入关怀版