GPT-6 Astra 聯手人類攻破重大進展級數學難題：AI 不再只是解題機，成了規律發現者
AI資訊AI新聞資訊正文GPT-6 Astra 聯手人類攻破重大進展級數學難題：AI 不再只是解題機，成了規律發現者發佈於AI新聞資訊發佈時間 :2026年9月20號 14:52閱讀 :1分鐘在全球頂級 AI 數學基準 FrontierMath 上，一道懸了九年、自2017年就被拋出的"重大進展"級開放難題被拿下——而這次的功臣是 GPT-6Astra 與三位人類研究員的人機組合。題目問的是批准式委員會選舉裡"核是否為空"，本意是尋找"核為空"的反例，GPT-6Astra 卻反過來證明:這樣的反例根本不存在，也就是說絕對公平的委員會在任何情況下都必定存在。
更漂亮的是，模型還順手發明了一套基於"調和熵"的全新投票規則，給出多項式時間的算法，證明局部最優解就已經滿足"核"的要求。在這輪協作裡，人類負責定方向、把邏輯關，AI 則頂起知識庫、計算演練和那些跳躍式的靈感——分工像極了一個配合默契的研究組。這是 AI 頭一回摘下"重大進展"級數學難題，意義不只是多解了一道題。它把大模型從"解題機器"的位置往前推了一格，變成了能參與發現數學規律的合作者;連維護榜單的 Epoch AI 都為此新增了"Human + AI"狀態標籤，專門給這種人機聯名的研究成果留了位置。當數學家開始扮演"提示詞工具人"的角色，科研這條路的寫法，正在被悄悄改寫。
相關推薦B 站上線“AI 無限競技場”：百大模型同臺 PK，GPT-6 Astra 暫居榜首B站上線“AI無限競技場”大模型測評榜並公佈首輪結果：GPT-6 Astra在10位UP主測評中登頂，力壓GLM-5.3獲“榜首次數冠軍”；前五名中國產大模型佔三席。該榜由各領域UP主對上百個大模型進行真實場景實測，覆蓋代碼、推理、協作、知識等主題，不設固定命題。2026年9月20號 14:1981.4kB站上線"AI 無限競技場"測評榜：上百模型同場廝殺，GPT-6 暫坐頭把交椅B站推出“AI無限競技場”測評榜，彙總10位UP主對上百個大模型的真實場景實測，覆蓋代碼、推理、協作、知識等。
首輪榜單中GPT-6Astra居首並獲“登頂次數冠軍”，GLM-5.3次之；前五國產佔三席，與海外模型貼身競爭。該榜單不同於傳統跑分，更強調真實應用表現。2026年9月20號 14:13122.6kUnity 官宣 Claude Code 與 Codex 插件：31 項開發技能把 AI 代理綁上游戲引擎Unity發佈官方Claude Code與OpenAI Codex插件，為AI編程代理配備開發技能；Codex版含31項技能，支持新建項目及遷移至URP，適配Unity6及以上。此舉針對通用AI寫Unity代碼常參照過時教程的問題。2026年9月20號 11:18128.
3k馬斯克放豪言：AI 將使明年美國 GDP 增速翻番至 4%馬斯克預測AI將使美國明年GDP增速從約2%翻倍至4%或更高，與主流機構觀點相悖。晨星認為2027年經濟增速將放緩，美聯儲加息增加不確定性；阿波羅預計2027至2029年AI資本支出或達GDP的3%；穆迪關注2027年美國科技企業芯片相關投入。2026年9月20號 10:39123.6k特朗普宣佈組建“人工智能部隊”：AI 未來或佔美國 GDP 的 25%據央視新聞報道，美國總統特朗普9月19日在社交媒體宣佈將組建“人工智能部隊”，並將任命一名人工智能事務“總管”。
他稱人工智能代表下一場工業革命或互聯網浪潮，規模與影響力更大，甚至可能佔美國GDP的25%。他還抨擊民主黨人“企圖摧毀AI”。2026年9月20號 10:35149.8k智啟未來，您的人工智能解決方案智庫English簡體中文繁體中文にほんご© 2026
Related
相關文章
用自家大模型造自己的“芯”：Anthropic 組建 15 人芯片設計團隊，Claude 助陣讓研發提速
在實際的內部測試與應用中，Anthropic 的工程師團隊發現，與英偉達、超威半導體（AMD）等傳統大型芯片設計企業的常規工作流程和耗時估算相比，藉助 Claude 模型進行輔助設計，能夠顯著縮短芯片整體設計所需的週期。這一探索不僅展示了大模型在底層硬件研發中的輔助潛力，也為整個人工智能行業通過 AI 提升芯片研發效率提供了全新的實踐樣本。
17秒驗明AI“真身”！Anthropic開源可證明推理系統，能抓模型調包
編譯 | 孫小雯 編輯 | 程茜 11月4日消息，今天凌晨，Anthropic開源大模型可證明推理系統FlashProve，詳細技術報告於11月2日發佈。服務商可通過該系統為模型回答生成密碼學證明，用戶無需獲取模型權重或自行運行大模型，就能在CPU上核驗輸出是否符合指定模型的計算結果。
一個人一天搞定：Windows 11 原生測速工具背後的"AI 副駕"模式
早先微軟與 Ookla 合作推過早期版本，本質只是 Bing 網頁的包裝；直到上月，真正貼合 Windows 風格的原生工具才正式上線。人定方向、AI 跑腿，業餘時間一天出原型據 Ash 介紹，項目起點是用戶反饋"不想離開系統就能測網速"。
OpenAI 員工的"副業"硬件：GPT-6 Astra 一週出圖、一月出樣
據稱，兩名團隊成員利用業餘時間，不到一週就借 Astra 完成一款能與 Codex 交互的測試設備設計——模型一口氣包辦了外觀、外殼結構、電子元件選型、電路板佈局到固件生成，把原本需要多方協作的活兒收進一個對話窗口。代工廠隨後不到一個月便造出小批量原型機，從一張草圖到可把玩的真機，週期被壓到驚人地短。
給 AI 輸出蓋"數字指紋"：Anthropic 研發 FlashProve 讓換模型無處遁形
公司週二博客稱，它要做的"可證明推理"，是用密碼學為每條輸出出具數學保證，證明確實出自指定模型——就像加密郵件簽名幫收件人確認發件人，FlashProve 專門防備"把甲模型偽裝成乙模型"。堵住成本作弊暗門，也拆穿"注水"成績單研究人員點破長期潛規則：有了它，AI 公司難以為省成本在後臺偷偷把貴模型換成廉價版；反過來，企業也沒法暗中將便宜模型偽裝成高價型號、人為抬高跑分。
百度首次發佈物理AI世界模型Apollo World，蘿蔔快跑近百輛無人車搭載新架構運營
百度智能駕駛事業群組首席架構師王亮表示，目前約百輛蘿蔔快跑無人車已搭載新一代端到端架構參與運營，累計全無人運營安全里程接近百萬公里。新一代架構採用端到端模型，從駕駛數據中直接學習駕駛策略，預測轉向、油門和剎車等控制信號。為驗證模型安全性，百度推出Apollo World，將車輛、行人等交通參與者構建為具備自主決策能力的AI智能體，模擬複雜交通場景及完整行程，每天可完成約10萬公里虛擬路測。