[新聞] OpenAI新模型Astra曝！攻克10道數學難題

作者thinksilver (銀白色的沉思)

看板Stock

標題[新聞] OpenAI新模型Astra曝！攻克10道數學難題

時間Sun Aug 2 18:24:33 2026

原文標題： OpenAI新模型Astra曝！攻克10道數學難題、多AI代理協作挑戰AGI 原文連結： https://reurl.cc/QNLxyq 發布時間： 2026-08-02 17:10 記者署名：鉅亨網編譯莊閔棻原文內容： 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）發布，仍是未知數。值得留意的是，儘管相關模型已進入測試階段，其公開發布腳步恐將受制於監管環境。知情人士透露，Astra 很可能成為首批必須通過川普政府新版 AI 框架審查的產品。依該框架規定，AI 業者須在模型正式對外發布前，先向聯邦政府提交備案。川普政府為此設下的最後期限，正落在本週末。依據 OpenAI 公布的內容，Astra 在數學與理論電腦科學領域一舉拿下十項重大成果，包括高維球體堆積密度上限、二進制與球面碼界限提升、非純索菲群存在性證明、康涅斯剛性猜想的推翻、算術電路複雜性新下界、量子平行重複定理、最近向量問題的多項式因子近似難度證明、埃爾哈特體積猜想、多色拉姆齊數的超指數下界，以及極值數猜想等極值數猜想等。其中不少成果直接回應了已故數學家 Paul Erd 留下的經典開放問題。在具體研究流程上，OpenAI 說明由 Astra 模型負責產出數學論證，人類研究人員則借助同一模型協助整理論文草稿，最後再將論證轉換為 Lean 程式碼進行形式化驗證。該公司特別強調，十項突破的數學論證全數由 AI 系統生成，人類研究者的角色僅限於協助撰寫手稿、進行形式驗證，並對最終結果的正確性負責。這並非 OpenAI 首度在數學領域交出成績單。今年五月，該公司在測試一款尚未發布的模型時，已讓 AI 成功推翻了「單位距離問題」，隨後學術界也陸續發表相關後續研究。隨著 AI 系統在科學研究中扮演的角色日益吃重，成果歸屬爭議也隨之浮上檯面。對此 OpenAI 表示，理解並尊重「萊頓人工智慧與數學宣言」（Leiden Manifesto on AI and mathematics）連署學者的疑慮，同時也強調，若將完全由 AI 生成的證明歸功於人類，不僅扭曲了 AI 系統的實際貢獻，也模糊了人類智識工作本身的界線。值得一提的是，OpenAI 近期同步推出面向學術界的 ChatGPT 專案，向十萬名科學家與數學家開放免費使用其最強模型，並持續以開放性數學難題作為模型開發過程中的測試指標。心得/評論：新模型攻克了十項數學難題! 雖然那些難題有寫出來而且都是中文但是我一個都看不懂....... 有沒有數學大神可以解釋一下? 看樣子AI只會越來越聰明了，連人類無法突破的東西都可以交給他了! 那...算力需求肯定是不夠用的吧? 各位數學超強的股神怎麼看? -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 180.177.56.226 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Stock/M.1785666277.A.6A9.html

推 Altair : 乖乖當電池吧 (遠目 08/02 18:41

噓 yang1026 : 就現有公式下去套用 08/02 18:44

推 quanhwe : 反觀gemini 3.5 pro還出不來 08/02 18:46

推 tyke123 : 什麼時候可以證明數論1+1 08/02 18:46

推 poeoe : 這不意外啊 AI迭代進步太快了 08/02 18:49

推 cutbear123 : 人類快下課了 08/02 18:51

推 qqq852963tw : 完啦人類等死 08/02 18:55

推 tteeccddyy : To the moon 08/02 19:01

推 treeson : 這算是oa兩家的優勢了，中國開源都在卷coding能力 08/02 19:05

→ treeson : 複雜問題推理還沒看到實例 08/02 19:05

推 Grothendieck: 要失業啦 08/02 19:17

推 vincealan : 之前有看到中國那邊有數學教授說被AI開發公司出錢 08/02 19:24

→ vincealan : 要求提供數學難題 08/02 19:25

→ GetMoney : 太好啦，快點取代人類，通通抓去做飼料 08/02 19:34

推 cercloud : 有沒有一種可能是都堆這麼多算力了，算得出來不是 08/02 19:49

→ cercloud : 理所當然嗎 08/02 19:49

推 xm3u4vmp6 : 以前是連堆算力都算不出來 08/02 19:52

推 ksjr : 兩千鎂的蒜粒有很多嗎? 08/02 19:54

推 windalso : 人類證明的話可以拿菲爾茲獎嗎？ 08/02 19:56

推 rebel : 社畜文職會說解數學對一般人有用嗎 AI就是泡沫啦 08/02 19:57

→ joygo : 之前說好五年出agi 08/02 20:06

→ ert0700 : 可以先把算力拿去硬解微分方程嗎..... 08/02 20:21

推 seemoon2000 : 我以為gemini已經只剩搜索和yt影片摘要的功能 08/02 20:25

→ seemoon2000 : Ai算數學不管什麼提醒都是寫python在後面算不是推 08/02 20:27

→ seemoon2000 : 理推理的部分還是agentic多步驟推理能解高階數學 08/02 20:27

→ seemoon2000 : 可能多步驟迭代到100次還能穩定才是他的難點 08/02 20:27

推 jackchen1025: google真的很爛，搞不好ai搞一堆花里胡哨的整合功能 08/02 20:42

推 garo546 : 用ai訓練ai太猛啦指數型成長 08/02 20:53

推 abdiascat : 奇異點現在進行式 08/02 21:16

推 bunjie : 不明覺厲 08/02 21:30

→ bunjie : 不過代表中等聰明的人也可能透過AI協作來破解困難 08/02 21:31

→ bunjie : 的問題 08/02 21:31

→ bunjie : 也讓頂尖人員的腦袋和時間放在視野更寬廣的戰略高 08/02 21:32

→ bunjie : 度 08/02 21:32

→ cicini : 還在AGI 核心算法沒改就只是再騙算力 08/02 21:34

推 watchmeisyou: 叫ai去算圓周率啊 08/02 21:46

推 lc85301 : 算圓周率不用 AI，有確定演算法可以直接算… 08/02 22:25

→ lc85301 : 你寫個 C code 就能算一億位了，要 AI 幹嘛 08/02 22:25

→ TaiwanUp : 我之前按爛給評語把LEAN接上GPT 看來已相容了 08/02 22:28

→ TaiwanUp : python matlab早就接上了 08/02 22:29

推 icosahedron : 蒸汽機發明的時候一定也有一堆鄉下人說人類要完蛋了 08/02 22:32

推 ace4 : 比較期待AI在生物、醫藥、有重大突破。 08/02 22:39

→ offstage : 汽車的出現，確實讓馬車夫們完蛋沒錯 08/02 22:39

推 ted1985 : 母體世界爽的話。尼歐請不要叫醒我 08/02 23:22

推 ayufly : 天網越來越接近了 08/02 23:29

噓 okderla : 可以先攻剋癌症嗎== 08/02 23:38

推 lunatich : 數學家很抖阿，看看萊登宣言 08/02 23:44

推 nfsong : 可以看看數學家陶哲軒上禮拜在ACM的公開討論 08/02 23:54

→ nfsong : 以後一定是AI輔助解題 08/02 23:55

→ nfsong : 但是解完題要標註AI輔助 08/02 23:55

→ nfsong : 然後AI解題人類看不懂 08/02 23:56

→ nfsong : 所以現在累積一堆驗證不了的東西因為人類看不懂 08/02 23:56

→ nfsong : 所以未來解題要特別幫人類註解 08/02 23:57

→ nfsong : 邏輯推理要幫人類畫重點 08/02 23:57

推 nfsong : https://youtu.be/sxAe4HJceFQ 08/03 00:00

→ nfsong : Terence Tao Mathematics in the Age of AI 08/03 00:01

→ nfsong : ICM 2026 08/03 00:01

推 mainsa : 馬夫完蛋了但多了計程車司機這種工作啊 08/03 00:04

噓 s1612316 : 無聊這種證明你只要有夠多人夠多時間跟算力堆起來 08/03 00:07

→ s1612316 : 是一樣 08/03 00:07

→ s1612316 : 沒辦法生出 “新東西”就只是一直在人類知識裡打轉 08/03 00:08

推 yuinghoooo : 左右腦互搏的時候 08/03 00:13

推 a420360 : 酷 08/03 00:41

→ saladim : ICM, not ACM 08/03 01:39

→ yunf : 你怎麼確定他說的完全沒錯？ 08/03 03:11

→ jasonsu449 : 奇點要到了嗎？ ai發現新理論比人類快 08/03 05:09

推 eason0216 : 又想炒一波，攻克的都是計算題一點思考都沒有 08/03 06:37

💰 股票 Stock 版：熱門文章

💰 股票 Stock 版：更多文章