GPT-6 Astra 聯手人類攻破重大進展級數學難題：AI 不再只是解題機，成了規律發現者

AI資訊AI新閒資訊正文GPT-6 Astra 聯手人類攻破重大進展級數學難題：AI 不再只是解題機，成了規律發現者發布於AI新閒資訊時間 :Sep 20, 2026閱讀 :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主對上百個大模型進行真實場景實測，覆蓋代碼、推理、協作、知識等主題，不設固定命題。Sep 20, 202681.4kB站上線"AI 無限競技場"測評榜：上百模型同場廝殺，GPT-6 暫坐頭把交椅B站推出“AI無限競技場”測評榜，彙總10位UP主對上百個大模型的真實場景實測，覆蓋代碼、推理、協作、知識等。

首輪榜單中GPT-6Astra居首並獲“登頂次數冠軍”，GLM-5.3次之；前五國產佔三席，與海外模型貼身競爭。該榜單不同於傳統跑分，更強調真實應用表現。Sep 20, 2026122.6kUnity 官宣 Claude Code 與 Codex 插件：31 項開發技能把 AI 代理綁上游戲引擎Unity發佈官方Claude Code與OpenAI Codex插件，為AI編程代理配備開發技能；Codex版含31項技能，支持新建項目及遷移至URP，適配Unity6及以上。此舉針對通用AI寫Unity代碼常參照過時教程的問題。Sep 20, 2026128.

3k馬斯克放豪言：AI 將使明年美國 GDP 增速翻番至 4%馬斯克預測AI將使美國明年GDP增速從約2%翻倍至4%或更高，與主流機構觀點相悖。晨星認為2027年經濟增速將放緩，美聯儲加息增加不確定性；阿波羅預計2027至2029年AI資本支出或達GDP的3%；穆迪關注2027年美國科技企業芯片相關投入。Sep 20, 2026123.6k特朗普宣佈組建“人工智能部隊”：AI 未來或佔美國 GDP 的 25%據央視新聞報道，美國總統特朗普9月19日在社交媒體宣佈將組建“人工智能部隊”，並將任命一名人工智能事務“總管”。

他稱人工智能代表下一場工業革命或互聯網浪潮，規模與影響力更大，甚至可能佔美國GDP的25%。他還抨擊民主黨人“企圖摧毀AI”。Sep 20, 2026149.8k智啟未來，您的人工智能解決方案智庫English簡體中文繁體中文にほんご© 2026