OpenAI представила модель следующего поколения Astra с десятью математическими результатами

... 鉅亨網 # OpenAI新模型Astra曝！攻克10道數學難題、多AI代理協作挑戰AGI OpenAI新模型Astra曝！攻克10道數學難題、多AI代理協作挑戰AGI · 鉅亨網 鉅亨網編譯莊閔棻 OpenAI 正在開發代號「Astra」的全新模型家族，主打多個人工智慧（AI）代理長時間協同運作、共同解決高難度問題的能力。這項技術若順利問世，將是該公司邁向通用人工智慧（AGI）的重要里程碑，同時也可能成為美國川普政府新版 AI 監管框架上路後，第一批接受審查的產品。 根據《The Information》引述三名知情人士報導，OpenAI 執行長奧特曼（Sam Altman）本週親自前往華盛頓特區，向政策制定者與監管官員展示 Astra 的實際運作。 簡報中特別強調該模型能調度多個智能體長時間分工合作，處理從專案管理到高階數學證明等複雜任務。 與此同時，OpenAI 也發布一份報告，公布其最先進 AI 系統成功攻克十道長年懸而未解的數學難題，範圍橫跨高維幾何、程式設計理論、群論、量子複雜性與極值組合學等尖端領域。 這些問題各自懸置學界超過十年，而 OpenAI 僅耗費約兩千美元的運算成本便完成全部求解。 今年一月加入 OpenAI 的研究員 Lijie Chen 在社群平台上證實，這十道題目的證明正是出自旗艦模型 Astra 之手。 根據知情人士說法，Astra 將自成一個獨立的模型類別，與 OpenAI 現有的 Sol、Terra、Luna 系列並列。 目前公司內部尚未拍板該模型上市時間，也還沒決定其命名方式，究竟會掛牌為外界期待已久的 GPT-6，或僅作為 GPT-5 系列的子版本（如 GPT-5.7）發布，仍是未知數。

就在OpenAI公布Astra成果后，Anthropic的研究员Levent Alpöge公开表示，他们已公开的Claude Fable模型在不到24小时内，独立解决了OpenAI所列十个难题中的五个。 　　Alpöge称Claude Fable仅使用了通用提示词，且未接入互联网就完成了这些任务。不过截至报道时，Anthropic尚未发布正式的验证论文，OpenAI也未对此作出公开回应。 当下，大模型公司正在两头下注。一头是商业化应用场景，各个场景都在尝试；另一头是基础科研，步子越迈越大。大家都在赌一件事：AI能不能成为科学发现的主导力量。 　　上个月，OpenAI在科研领域有一个大动作，其推出“ChatGPT学术研究人员计划”，将向全球选定学术机构的10万名研究人员免费开放前沿模型使用权限，帮助科研人员解决复杂问题、验证研究假设并提升科研效率。该计划今年夏季将从1万名研究人员启动，覆盖高等研究院（IAS）、巴黎高等师范学院（ENS）等机构，预计2027年扩大至10万人规模。 　　而此次Astra的技术演示并未局限于学术圈，而是被安排在美国联邦政府前沿AI监管框架即将落地的关键窗口期之前。OpenAI CEO Sam Altman在华盛顿国会山的一场闭门会议上，向多位参议员及政策制定者现场展示了Astra的多智能体协同能力，及其在攻克复杂数学问题上的出色表现。 　　在专业圈层，Astra带来的震动源于一个现实：顶尖数学难题不再只属于少数人类天才——一套推理成本仅数千美元的系统，已能在多个分支领域同时取得菲尔兹奖级别的突破。 在产业层面，Astra被普遍视为通往通用人工智能道路上的重要里程碑。它以约2000美元成本完成十项高难度突破，这一案例被广泛解读为“前沿模型正大规模进入创造性科研领域”的信号。 　　原文链接： [...] 新浪新闻客户端 新浪新闻客户端 # 新浪看点 新浪新闻客户端 新浪新闻公众号 新浪新闻视频号 新浪新闻抖音 新浪新闻快手 新浪新闻小红书 新浪新闻B站 热搜时代小宇宙 # OpenAI宣布：下一代大模型攻克十个悬而未决的数学难题 avatar 　　（来源：多知） 此次求解推理过程折算约花费2000美元。 来源|多知 　　多知8月3日消息，近日，OpenAI宣布其下一代大模型Astra的内部版本在数学研究领域取得重大

# OpenAI新一代旗舰模型Astra成功破解十项困扰数学界多年的重大难题 cnBeta.COM 科技巨头OpenAI近日对外预览了其下一代前沿大模型Astra。据官方公布的信息，内部版本的Astra模型展现出了惊人的学术推理与探索能力，成功在数学及理论计算机科学领域取得了重大突破，一举攻克了十项悬而未决且至少已有十年以上历史的传统难题。 值得注意的是，实现这些里程碑式的突破并未消耗海量的算力资源。OpenAI表示，模型在推导出全部十个解决方案过程中所消耗的 Token 总量，按 GPT-5.6 Sol 的 API 算力标准折算，成本仅在 2000 美元左右。在模型自行发现解法后，研究人员进一步利用该模型将推理过程整理为学术论文，并成功使用 Lean 形式化证明系统对每一个论证步骤进行了精细化验证，确保了逻辑与证明的绝对严密。 此次被Astra模型破译的十项重大难题涵盖高维几何、编码理论、群论、量子复杂度、格密码学、算子代数以及极值组合学等多个前沿领域。 在大维几何与编码理论方面，模型在高维球体填充问题中给出了靠近 Cohn–Elkies 阈值的新上界；同时指数级提升了任意预定最小距离下二进制编码最大规模的界限，并将其成功推广至高维球面编码。 在代数与群论结构研究中，模型通过构造性证明确立了非索菲克群（Non-sofic groups）的存在性，解答了群论中的核心疑问；此外还推翻了关于特定群可由其冯·诺依曼代数唯一确定的康奈斯（Connes）刚性猜想。 针对计算复杂度与量子博弈，模型提出了使用算术线路和公式计算永久性（Permanent）的新下界，其中算术公式下界达到 $n^4/\\log n$ 阶；同时将传统复杂度理论中的基础原理扩展至通用双人量子博弈，实现了量子并行重复定理的指数级推广。

OpenAI还有大招！ 奥特曼刚演示的内部模型Astra，一口气在10个数学难题取得重大突破！ 这249页的PDF，在整个数学圈都是非常炸裂的程度。 论文： 证明： Github开源Lean证明： 数学家、美国数学学会Fellow、罗格斯大学杰出教授Alex Kontorovich难掩震惊，只留两个惊叹号。 这是一个足以载入史册的分水岭时刻：无论在数学领域，还是AGI的征程上。 说得直白些：如果这些结果经受住整个学界的检验，那么单是今天的这一轮发布，便堪称现代史上相关领域单日跨度最大的一次飞跃！ Claude Fable 5更是直言：「按照菲尔茨奖标准，任何一项都足以获奖」! 最令人震惊的是，破解这十大难题，OpenAI竟然只用了2000美元。 ## 数学界地震！载入AI史册的一刻 五月份，OpenAI公布了AI发现的埃尔德什单位距离猜想的反例。 但现在确认了，这是OpenAI的下一代模型Astra破解的，也是奥特曼现在正在给美国国会演示的那个模型。 现在，OpenAI又分享了Astra在至少十年没有进展的难题上的最新成果。 这些问题涉及高维几何、编码理论、算术电路复杂度、群论、算子代数、量子复杂度、格密码学和极值组合学等广泛领域。 消息一出，数学圈瞬间炸锅！ 其中，最出色的成果，可能是Astra终结了Gromov自1999年提出的非sofic群问题。 钱学森母校加州理工学院的某位数学博士称：「这是菲尔茨奖级别的成果」！ 按照Epoch AI的OpenMath的评分标准，GPT-5.6 Sol Pro和Fable 5 Max认为： 大部分结果都能得到同行的高度认可，被评为「Major Advance」(重大进步)。 唯独第三项，具有破圈的潜质，有望成为全年数学领域最佳成果之一，被评为「突破」。 第三项结果也是一个反例： [...] 唯独第三项，具有破圈的潜质，有望成为全年数学领域最佳成果之一，被评为「突破」。 第三项结果也是一个反例： OpenAI Astra构造出无限有限呈现的非sofic群，否定「所有可数群都是sofic」的猜想。 曼彻斯特大学皇家学会大学研究员、数学家Thomas Bloom直言：这次突破比此前OpenAI证伪单位距离猜想更重要。 而且，生成这10项突破性成果证明的总成本，如果按Sol AP

[]( 首页 资讯 快讯 行情 日历 APP VIP会员 大师课 生活家 登录 / 注册 824 收藏 Image 1: qrcode []( # OpenAI确认下一代模型Astra存在，以2000美元算力成本破解十项数学未解难题，正向监管层展示 Image 2: 潘凌飞潘凌飞 08-01 11:46 OpenAI酝酿全新多智能体模型Astra，仅耗两千美元算力，即史无前例攻克十道尘封逾十年的顶尖数学难题。该模型现已赴华盛顿演示，即将迎来特朗普政府新版AI监管框架的首批大考。 OpenAI正准备推出一个名为"Astra"的全新模型家族，其核心能力在于驱动多个AI智能体长期协同运作以解决高难度问题。这一进展标志着该公司在通用人工智能路线上迈出实质性一步，同时也将成为特朗普政府新版AI监管框架落地的首批试验案例。 科技媒体The Information援引三位知情人士透露，OpenAI首席执行官Sam Altman本周亲赴华盛顿特区，向政策制定者和监管机构演示了Astra模型。OpenAI重点展示了该模型让多个智能体协同工作、长时间处理复杂任务的能力，应用场景涵盖项目管理乃至高阶数学难题求解。 与此同时，OpenAI发布了一份报告（报告下载地址点这里），详述其最先进AI如何成功解决了十道此前从未被攻克的数学难题。这批问题横跨高维几何、编码理论、群论、量子复杂性及极值组合学等多个前沿领域，每道题的学术积压时间均超过十年，而完成全部求解的算力成本仅约2000美元。 清华姚班毕业生、今年1月开始进入OpenAI工作的Lijie Chen今天在其社交媒体上发言，证实了这10个证明是由其旗舰模型Astra所做。 Image 3 ## Astra定位：全新模型家族，发布时间未定 [...] Image 3 ## Astra定位：全新模型家族，发布时间未定 据上述知情人士介绍，Astra将作为一个独立的模型类别存在，与OpenAI现有的Sol、Terra和Luna并列。目前尚不清楚OpenAI计划何时正式发布Astra，公司内部也尚未决定该模型将被标记为GPT-6，还是GPT-5系列中的一个子版本（如GPT-5.7）。 尽管相关模型已进入测试阶段，其正式发布节奏将受到外

Log inSign up ## Post user avatar 歸藏(guizang.ai) @op7418 OpenAI 感觉翻身了啊，已经在预热他们的下一代模型Astra。 他们用这个模型解决了 10 个至少存在了十年的数学问题。 这些问题如果是数学家解决的话，感觉这数学家已经相当牛逼了； 而解决这一堆非常难的问题，算力成本居然只有 2000 美元。 Sam 亲自飞到华盛顿去跟美国政府沟通这个模型的发布，感觉这玩意儿会很顶，不知道是 GPT-6 还是 GPT-5.7 user avatar Sebastien Bubeck @SebastienBubeck Aug 1 yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model. We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann 3:44 PM · Aug 1, 202666.9KViews user avatar Clark @xinyang193293 Aug 1 这是OpenAI刻意的策略吗？貌似只有GPT一直在解决数学问题，a社那边如此寂静。 3.2K user avatar Rkeyxo @AmeyoruMoekyo Aug 1 [...] 3.2K user avatar Rkeyxo @AmeyoruMoekyo Aug 1 天天在这炒作，请问 Sora 最近在哪里发财啊，我还记得当时当时你们这帮人到处发码来着 1.3K user avatar \_ @FUCK\_CCTV Aug 1 如果攻克癌症、艾滋病、阿尔兹海默症、渐冻症、自闭症等，可能比解数学题更有现实意义。 930