中國大模型迎來歷史性突破！科學家依託書生大模型成功破解困擾數學界 30 年的世界級難題
AI資訊AI新閒資訊正文中國大模型迎來歷史性突破！科學家依託書生大模型成功破解困擾數學界 30 年的世界級難題發布於AI新閒資訊時間 :Oct 15, 2026閱讀 :1分鐘中國在人工智能與基礎科學交叉領域取得重大突破。根據上海人工智能實驗室消息，困擾全球數學界長達30餘年的世界級數學難題——三維 Ghys 猜想近日被正式破解。這也是中國科學家首次利用國產大模型成功攻克世界級數學難題。本次研究由上海人工智能實驗室訪問學者、大灣區大學教授許地生團隊領銜。研究團隊依託“書生科學多模態大模型 S2”（書生-S2），基於“通專融合”的技術路徑，通過人機協同的方式最終完成了三維 Ghys 猜想的證明。
與此同時，北京大學董彬教授、劉若川院士團隊利用其自主開發的 SHEAF 框架，對本次證明過程完成了形式化驗證，從而確鑿無誤地證實了該項研究成果的正確性。作為數學動力系統領域的重要長期公開問題，三維 Ghys 猜想由法國數學家艾蒂安·吉斯（Étienne Ghys）於1995年提出。該猜想指出，每一個緊緻複流形上的全純 Anosov 系統，都雙全純共軛於某個復 infra-冪零流形上的全純仿射自同構。由於該問題兼具極高的理論難度與學科標誌性價值，長期以來被數學界公認為檢驗人工智能與人類數學推理能力的試金石。
此次中國科學家團隊通過人機協同成功攻克該項難題，不僅展現了國產大模型在應對尖端科學計算與複雜邏輯推理方面的深厚潛力，也為未來人工智能深度賦能基礎科學研究開闢了全新的實踐路徑。相關推薦騰訊又一AI產品宣佈停運，元器用戶需儘快遷移數據騰訊旗下AI智能體平臺“元器”宣佈，因業務發展需要，將於2026年11月9日停止服務。停服後，將關閉應用訪問、數據讀寫、API調用及控制檯等全部公眾服務；通過元器發佈至公眾號、服務號、微信客服等渠道的智能體也將無法繼續對話。平臺自10月29日起停止創建新智能體及API Key分發，用戶可在停服前導出智能體配置。Oct 15, 2026107.
7kAI衝擊疊加債務壓力，Getty Images啟動全面財務重組蓋蒂圖片社10月12日宣佈，已與主要財務利益相關方達成全面重組協議，擬通過美國破產法第11章預打包重組私有化退市，預計2026年底前完成。方案包括蓋蒂家族及KED最高注資5.33億美元、核銷2.7億美元高級無擔保債券、降低部分債務利率並延長期限；KED另提供最高1.43億美元重組資金。完成後公司由相關方持有。Oct 15, 202697.
4kOpenAI 擬收購 Trail of Bits：把老牌安全審計廠收編，專防 AI 出事據The Information，OpenAI正初步洽談收購紐約安全研究公司Trail of Bits。後者以審計軟件和區塊鏈系統聞名。若收購達成，將擴大OpenAI在專業網絡安全服務的佈局。目前談判仍在進行，尚未敲定，雙方未透露價格或財務結構，也拒絕證實。兩家早有交集，今年6月曾合作推出“Patch the Planet”相關項目。Oct 15, 202696.4kMiniMax 發佈 IPO 輔導第二期進展，加速推進上市合規完善MiniMax的A股上市輔導迎新進展。
中信證券發佈第二期輔導進展報告，披露輔導期為2026年7月10日至10月13日。期間，中信證券等中介機構完成全面盡職調查、集中輔導授課，並與公司保持常態化溝通，同時督促MiniMax進一步明確業務發展目標，上市進程穩步推進。Oct 15, 202682.4k單張消費級顯卡也能玩轉視頻大模型遊戲！崑崙萬維全球首發 Matrix-Game 4.0 並宣佈開源10月15日，崑崙萬維發佈全球首款可在單張消費級顯卡流暢運行的視頻大模型遊戲Matrix-Game4.0，並同步開源。
該遊戲首次跑通“代碼生成遊戲邏輯—結構畫面約束—視頻模型實時渲染”技術閉環，解決以往大模型遊戲算力要求高的痛點，為遊戲原型開發和個性化內容定製提供新可能。Oct 15, 202692.6k智啟未來，您的人工智能解決方案智庫English簡體中文繁體中文にほんご© 2026
Related
相關文章
認識 Voxel51 3.0：為實體 AI 打造的統一多模態資料平臺
Voxel51 已發布 Voxel51 3.0，這是其資料平臺的一次重大更新。Voxel51 3.0 是一個端對端的多模態資料平臺，將搜尋、篩選、標註和評估整合於單一系統中。該平臺鎖定針對機器人、車輛和工廠感測器資料進行模型訓練的團隊。此次發布新增了 Voxel51 Agent、資料溯源層及免費的自助式存取。重點摘要：規模：Voxel51 Agent 內建超過 45 個 MCP 工具、80 多個運算子及 18 個開源技能。執行環境：可於 app.voxel51.com 使用託管網頁應用程式，或於雲端、混合、地端及隔離環境中自行部署。未揭露本機 GPU 需求。效能：未發布產品基準測試。Voxel51 引用其自身調查數據作為依據。最佳亮點：免費方案包含 Voxel51 Agent、每月 30,000 次推論請求及 30 個運算小時。
本期AI資訊彙總2026年10月18日的產品更新、前沿研究、行業趨勢與開源項目，幫助讀者快速瞭解當天的重要動態
導航SecureDoc // EncryptionActive本期AI資訊彙總2026年10月18日的產品更新、前沿研究、行業趨勢與開源項目，幫助讀者快速瞭解當天的重要動態。
下一概念建模把文本生成提速最高31倍
斯坦福等聯合提出全新文本生成範式 NCM，生成速度狂飆 31 倍AIbase基地發佈於AI新聞資訊 · 1 分鐘閱讀 · Oct 16, 202633人工智能領域的文本生成技術迎來顛覆性創新。斯坦福大學與 Together AI 的研究人員近日聯手推出了一種截然不同於傳統自迴歸和擴散模型的全新文本生成範式——Next-Concept Modeling（簡稱 NCM，即“下一概念建模”）。該方法巧妙借鑑了圖像生成領域中“下一尺度預測”的思路，有望為未來的文本生成技術開闢全新的發展路線。在技術實現路徑上，NCM 模擬了人類“先構思宏觀大綱、再動筆填充細節”的寫作邏輯。整個系統通過兩階段訓練來完成:首先訓練多尺度殘差 VQ-VAE，從而得到能夠逐層補充信息的多層離散文本編碼;隨後凍結該系統，訓練 Transformer 模塊去預測下一層的編碼。在生成文本時，模型會先並行生成概念層面的宏觀大綱，接著逐層並行填充具體細節，最終組合成完整的文本內容。在實際測試表現中，NCM 交出了令人矚目的成績單。實驗數據顯示，在保持相近甚至更優生成質量的前提下，NCM 相對傳統的擴散語言模型實現了10到31倍的生成速度飛躍，並且在訓練過程中所需消耗的 token 數量也大幅減少。此外，在數獨等複雜推理任務上，它的表現也明顯優於傳統的自迴歸和擴散基線模型，同時還支持通過多生成候選挑選機制來進一步優化最終輸出效果。儘管目前該研究所使用的模型參數規模依然相對有限，其在擴大模型規模後的表現、精確文本以及長篇內容的生成能力仍有待後續驗證，但這一創新思路無疑打破了長期以來的技術慣性，為人工智能高效生成文本提供了充滿想象力的全新解法。本文來自AIbase日報掃碼查看歡迎來到【AI日報】欄目!這裡是你每天探索人工智能世界的指南，每天我們為你呈現AI領域的熱點內容，聚焦開發者，助你洞悉技術趨勢、瞭解創新AI產品應用。
Claude自主優化八類量子電路設計
ScienceDesigning more efficient quantum circuits with ClaudeOct 16, 2026Quantum computers will need carefully designed circuits to run useful algorithms on limited hardware.
12.88萬起、華為電驅+L4同源智駕，Ray7能成為埃安年輕化的答卷嗎？
12.88萬起、華為電驅+L4同源智駕，Ray7能成為埃安年輕化的答卷嗎？ 本文作者： 倪萍 2026-10-17 22:42 導語：10月17日，埃安轎跑Ray7正式開啟預售，預售價12.88 萬起。新車車長4.9米，軸距2.9米，車頭部分搭配3.25米的超長雙環燈帶，是埃安10年煥新的家族 10月17日，埃安轎跑Ray7正式開啟預售，預售價12.88 萬起。新車車長4.9米，軸距2.9米，車頭部分搭配3.25米的超長雙環燈帶，是埃安10年煥新的家族式標識。 新車採用寧德時代電池以及廣汽自研的彈匣電池2.0技術，能夠在充分釋放續航能力的同時，監控電池健康狀態。提供45.58kWh和62.98kWh兩種規格，續航可達702公里，整車風阻係數 Cd 低至 0.22。Ray7搭載華為DriveONE多合一電驅，以及華為DriveONE芯片級驅制融合架構，百公里制動僅為32.8米。底盤方面，Ray7搭載高性能前後穩定杆和後五連桿懸架，過彎極限更高，濾振更乾淨。智能化上， Ray7搭載27顆車規級全視角傳感器，採用文遠知行L4級Robotaxi同源大模型。這幫助新車能夠複用 L4 積累的海量場景經驗，在城區掉頭、繞行等複雜場景中可順利通行。自2025年廣汽推進“番禺行動”以來，昊鉑埃安BU的研發、生產、銷售等環節效率不斷提升，產品迭代和新車投放節奏明顯加快。作為埃安全新Ray車系的首款新車，Ray7是埃安開啟年輕化序列的關鍵落子，也是廣汽切入20萬級市場的重要佈局。這一細分市場競爭並不輕鬆：小鵬P7、極氪007等車型已經提前卡位。Ray7想在年輕人心中佔位，不能只堆參數，更要把智能座艙與輔助駕駛、三電安全、補能效率、用車成本和價格權益上的差異，變成用戶可感、可信、可持續的體驗，這才是埃安年輕化的分水嶺。（雷峰網(公眾號：雷峰網)） 雷峰網原創文章，未經授權禁止轉載。詳情見轉載須知。
梁聖又掀桌了！DeepSeek新模型斬殺GPT-6，許願式編程時代降臨
作者 | 楊京麗 編輯 | 李水青 10月17日報道，剛剛，DeepSeek V4.1 Flash更新至V4.1-Flash-1017版本，官方網頁端、App與API已同步更新至新模型，模型權重也已在HuggingFace和ModelScope開放下載。DeepSeek還向公眾開放自研搜索引擎的Search（搜索）與Fetch（抓取）API，兩個接口均定價為5元/千次。 此次更新距離該模型發佈僅過去一個多月。9月10日，DeepSeek正式推出V4.1-Flash，在性能上超越了DeepSeek-V4-Pro。