OpenAI 內部 Astra 解決十項長期未解數學與理論計算機科學問題,並以 Lean 證書形式化
OpenAI 表示,內部版本的下一代模型 Astra 已為十項至少十年未有主要進展的數學與理論計算機科學問題提出新結果,涵蓋高維幾何、編碼理論、群論、算術電路複雜度、量子複雜度、格密碼學與極值組合學。OpenAI 估算,模型尋找這些解答所需的總 token 量,按 Sol API 費率計算約值 2,000 美元。
57 則值得知道的變化
OpenAI 表示,內部版本的下一代模型 Astra 已為十項至少十年未有主要進展的數學與理論計算機科學問題提出新結果,涵蓋高維幾何、編碼理論、群論、算術電路複雜度、量子複雜度、格密碼學與極值組合學。OpenAI 估算,模型尋找這些解答所需的總 token 量,按 Sol API 費率計算約值 2,000 美元。
鴻海科技集團旗下亞灣超算宣布,首座採用 NVIDIA HGX B300 系統建置的 5MW AI 集群正式上線,採用水冷、2N 高可用架構與 NVIDIA Quantum-X800 InfiniBand 網路,已簽下首批客戶長期租賃合約,並以超過九成使用率投入商業營運。
MiniMax 表示,影片生成模型 H3 已由 Hailuo AI 登陸 Magnific,使用者可提供最多 9 張圖片控制角色與風格、3 段影片控制動態與攝影機,生成 5 至 15 秒、最高 2K 解析度的影片。MiniMax 另宣布 H3 權重即將開放,社群將可研究模型、進行微調,並在其上建立新的創作工作流程。
Google AI 在 X 貼文中回顧近期產品更新,包括 Google DeepMind 的 Gemini Robotics 2,主打將全身智慧帶進機器人;Gemini 3.5 Flash-Lite,定位為最快且最具成本效益、適合高速 AI 代理工作流程的模型;以及 Gemini 3.6 Flash,宣稱能以更少的 token,在各項任務中提供更快且更準確的效能。
thinkymachines 的 Inkling-Small 首次進入 Text Arena,在 AutoEval 取得 1431 分,整體排名約第 88、開放模型排名約第 21;模型僅啟用 12B active parameters,總參數量為 276B。
DeepSeek宣布 DeepSeek-V4-Flash Official API 開放公測,並大幅升級模型的 Agent 能力;官方表示,基準測試分數已大幅超越 V4-Pro-Preview,且原生支援 Responses API 格式並完整適配 Codex。
Imagine Video 1.5 在上月發布後,新增文字生成影片、影像參考與聲音參考功能,並支援原生 1080p 輸出;官方稱其動態與聲音表現更逼真。該模型已正式開放於 xAI API,模型識別名稱為「grok-imagine-video-1.5」。
據《The Information》引述消息人士報導,OpenAI 本週向美國政策制定者與監管機構展示一系列暫名為「Astra」的新模型,強調其完成長時間任務的能力有所提升。消息人士稱,OpenAI 正準備發布這個新模型家族,但正式名稱與發布時間尚未公開。
Skywork AI 旗下音樂 AI 平台 Mureka 發布旗艦模型 Mureka V9,在 Artificial Analysis Music Arena 的器樂與人聲排行榜均排名第 2;其中器樂榜距第 1 名 Suno V5.5 不到 1 Elo,人聲榜則落後 Suno V5.5。
據《AI 科技評論》報導,Boogu-Image-0.1 在 Qwen-Image-Bench 取得 53.58 分,超過 20B 的 Qwen-Image-2512(52.06)與 80B 的 Hunyuan-Image-3.0(50.81),以不到對手一半、甚至八分之一的參數規模實現跑分反超。
Reddit r/LocalLLaMA 一則未經證實的貼文稱,Meituan 推出了 LongCat-Flash-Lite-Sparse。該模型採用 MoE 架構,約有 3B active parameters,另配備約 30B 的 n-gram 查找表,並將查找表卸載至 RAM,以在 24GB GPU 上支援 256K context。
據報導,美國部分大型企業開始採用中國大模型以降低 AI 成本。加密貨幣交易所 Coinbase 表示,正轉向使用中國人工智慧模型;Airbnb 則已採用阿里巴巴的 Qwen 模型,並稱其「快速且便宜」。
Reddit r/LocalLLaMA 貼文稱,audio.cpp 0.5 已發布,新增 DramaBox、Confucius4-TTS、RVC、BS-RoFormer、GLM-TTS、Kroko ASR、Parakeet-TDT、Inflect Micro v2 與 Fun-ASR-Nano 等模型或功能;官方目前尚未證實這項發布。
Reddit r/LocalLLaMA 有貼文稱,Antirez 已將 DeepSeek V4 Flash 新權重悄然上傳至 Hugging Face 的既有資料夾:`antirez/deepseek-v4-gguf`。
密西根州立大學(MSU)研究團隊以 Avida 電腦程式建立虛擬生物模型,先訓練 AI 分辨可自我複製與不可自我複製的數位生物,初步準確率達 99.97%。但研究人員持續微調非生命程式碼、製造更逼真的假樣本後,AI 最終幾乎百分之百將這些從未展現複製特徵的樣本判定為生命,顯示模型可能只是在套用訓練資料中的模式,而非理解生命本質。
量子位報導,2026年7月召開的計算機圖形學會議 SIGGRAPH 公布時間檢驗獎(Test-of-Time Award),香港大學計算機科學系教授 Taku Komura 與團隊於2016年發表的《A Deep Learning Framework for Character Motion Synthesis and Editing》獲獎;官方資訊未見於本文佐證來源,消息目前仍屬報導性質。
據《AI 科技評論》報導,Andrej Karpathy 於 2026 年 4 月 4 日在 GitHub 發布 llm-wiki 技術 Gist,提出將原始文件預先編譯成結構化 Markdown 維基的架構。
據 Ars Technica AI 報導,印度 Amrita Vishwa Vidyapeetham、義大利 Foscari University of Venice、澳洲 University of Melbourne 與以色列 Ben Gurion University of the Negev 的研究人員,研究生成式 AI 聊天機器人是否能自主完成「殺豬盤」(pig butchering)詐騙中長期建立信任的階段。
36Kr 報導,成立於 2025 年 11 月的丘腦智能已完成數千萬元種子輪,投資方包括深圳一線基金與產業資本,資金將用於技術研發與人才補充。公司創辦人兼 CEO 張源具北京大學電子與經濟雙學科背景,團隊成員主要來自阿里達摩院、騰訊、商湯及多所高校,平均年齡約 26 歲。
Reddit r/LocalLLaMA 一則尚未獲證實的貼文稱,OpenAI 已將 GPT-5.6 Luna 價格下調 90%;即使降價後,在相同智慧等級下,Luna 仍約為 DeepSeek DS4F 的 3.3 倍成本。
一篇發表於 Quanta Magazine、由 Hacker News 收錄的文章指出,大型推理模型(LRM)在推理任務上的準確率確實優於一般大型語言模型,但模型生成的思維鏈(chain of thought)未必忠實反映內部運作,也不一定是模型得出答案所必需的資訊。
據 Reddit r/LocalLLaMA 貼文(未經驗證),一項針對「Kubernetes issue → SIG triage」分類任務的預註冊消融實驗,使用同一個 4B 模型、相同的 250 筆標註資料集與評分器,僅改變 agent harness 設計,準確率便在 60% 至 82% 間波動,差距達 22 個百分點;實驗在配備 6GB GPU 的筆記型電腦上執行。
Google AI Studio 表示,原先在 iOS 與 Android 上預訂其行動 App 的人數約 80 萬,但團隊決定不再要求使用者下載另一個獨立 App,改讓應用程式在日常 Gemini 對話過程中自然產生。
xAI 推出 Grok Build 終端機程式設計代理與 CLI,現可免費試用,並改由 Grok 4.5 驅動。
高通宣布完成對 AI 原生軟體基礎架構公司 Modular 的收購,雙方將整合高通的高效能、節能運算能力與 Modular 的軟體平台,支援資料中心、邊緣基礎設施,以及個人與工業 AI 等領域,加速生成式 AI 與代理式 AI 從邊緣到雲端的部署。
Google、亞馬遜、微軟與 Meta 自 2023 年初至 2026 年 6 月底的累計資本支出已達 1.1 兆美元,主要投入 AI 資料中心、先進半導體、伺服器與電力基礎設施。市場預估四家公司 2026 年全年資本支出將攀升至約 7,450 億美元,其中 Google 與亞馬遜已在最新一季上調全年投資計畫。
據報導,Lumentum 執行長 Michael Hurlston 在法國巴黎舉行的 RAISE Summit 表示,磷化銦是 AI 資料中心雷射元件不可或缺的化合物半導體,當前供應危機甚至比記憶體更嚴重。
據《紐約時報》報導,Larry Ellison 正透過與 Donald Trump 建立聯繫、支持 Project Stargate,以及與 OpenAI 合作,推動以債務支撐的 Oracle AI 擴張策略。
聯發科公布 2026 年第二季合併財報,營收為新台幣 1,521.83 億元,季增 2.0%、年增 1.2%;毛利率 46.2%,營業利益 228.68 億元,營業利益率 15.0%,本期淨利 246.05 億元,季增 0.9%、年減 12.3%,EPS 為 15.28 元。
WAIC 2026 展示出 Agent 從模型競賽轉向大規模產品落地的趨勢。IDC 在大會期間發布的《DAA 研究報告》預計,全球活躍 Agent 數量將從 2025 年的 2,860 萬個增至 2026 年的 7,940 萬個,接近一年三倍;但產品供給快速增加,使用者成長、付費意願與商業模式仍相對疲弱。
QM 是面向新創團隊的多人協作 AI agent harness,讓員工在 Slack 頻道、群組訊息、專案與 Web 介面中共同使用 agent;每位使用者都有獨立工作區,彼此不會互相影響。
Uber 的「零增長技術棧」(Zero Growth Stack)以基礎設施擴展與業務需求脫鉤為目標,透過自動化執行環境最佳化與嚴格的 AI 生命週期管理,降低服務規模擴大對實體硬體的需求。
據 INSIDE 報導,前線部署工程師(Forward Deployed Engineer,FDE)正成為 AI 產業爭搶的人才。FDE 直接與企業客戶合作,將 AI 模型、資料與既有工作流程整合成可在正式環境運作、並能衡量營收或成本效益的系統。
DigiTimes 分析指出,過去三年人工智慧產業的主要限制在於超大規模業者想購買多少算力;但七家公司公布的六月季度財報顯示,產業瓶頸已轉向供應與執行能力。該分析認為,AI 基礎設施週期的關鍵已不再只是需求規模。
據 Simon Willison 7 月 31 日撰文,2026-07-28 Model Context Protocol 規格被描述為 MCP 自 2024 年 11 月推出以來最重大的變更,核心是改採無狀態協定。
《華爾街日報》引述消息人士報導,OpenAI 在優先發展消費者聊天機器人及其他花俏副業後,收入成長與估值落後 Anthropic。報導稱,OpenAI 對消費者聊天機器人的押注掩蓋了 AI 程式碼工具的商機,而 Anthropic 藉此取得領先。
據 Simon Willison 於 2026 年 7 月 31 日發布的內容,datasette-agent 0.4a0 新增 await context.browser_task() 機制,讓 Datasette Agent 外掛提供可在使用者瀏覽器直接執行自訂 JavaScript 的工具。
Google 撤回前一天在 Google Earth 推出的 AI 影像生成功能。該功能由 Nano Banana 2 驅動,使用者輸入文字提示後,就能以 Google Earth 的衛星、空拍與 3D 影像為基礎,在真實地理位置上生成擬真場景。
YouTube 創作者 Gossip Goblin(本名 Zack London)執導的 AI 輔助科幻恐怖長片《Gods Don’t Give Gifts》,由製片公司 Fable 製作,將於 10 月 30 日在美國院線上映。
以 AI 影像生成服務聞名的 Midjourney 於 7 月 24 日宣布收購占星應用程式 Co-Star,並同步開發旗下首款獨立圖片生成 App。這是 Midjourney 繼上月推出全身超音波掃描設備、進軍醫療科技後的又一次跨域布局,也代表公司將從長期依賴 Discord 的服務模式,擴展至行動 App、社群與更完整的創作平台。
AI 科技評論報導,礪算科技在 2026 年 ChinaJoy 以獨立展商身分參展,並同步開售首款全自研消費級顯卡 LX 7G100 零售版;報導稱,這是中國首家國產自研 GPU 廠商以獨立展商身分參展 ChinaJoy。該展於 7 月 31 日至 8 月 3 日在上海新國際博覽中心舉行,礪算科技展位位於 N1 館 G303。
Snapchat 據報導宣布調整 Spotlight 推薦政策,完全由 AI 生成的影片將不再符合 Spotlight 推薦資格;平台將調整推薦系統,優先分發由真人創作、展現原創觀點與個人故事的內容。Snapchat 並未全面禁止 AI,創作者仍可使用平台的 AI 工具強化或編輯影片。
美國地方法官 Paul A. Engelmayer 週五大致駁回 Perplexity AI 與三家資料抓取服務商要求撤銷訴訟的聲請,允許 Reddit 指控 SerpApi 與 Perplexity AI 合謀,透過 Google 搜尋結果非法抓取受著作權保護內容的案件繼續審理。
據36Kr報導,由浙江省數位經濟發展中心等單位編制的《人工智能OPC術語》團體標準,將於2026年8月1日起實施。標準將人工智能OPC(One Person Company,一人公司)定義為由1名核心自然人主導控制、員工一般不超過10人,且以AI技術研究、開發、應用或服務為主要業務的公司。
據報導,OpenAI 可能將 IPO 延後至明年。參與相關討論的人士透露,近幾個月部分 OpenAI 大型投資者私下擔心,公司相較於成長速度過快消耗現金;另一些投資者則轉而投資 Anthropic,以分散對 OpenAI 的押注。
據《量子位》報導,李飛飛創辦的 World Labs 於7月21日宣布收購機器人模擬公司 SceniX;約一週後,雙方公布 Real-to-Sim-to-Real(R2S2R)最新成果,將真實機器人任務搬入模擬環境,擴展場景、訓練與評測策略,再部署回真實機器人。
據 iThome 報導,Google 擴大 Gemini Spark 的開放範圍,並將這項 AI 代理功能整合至 Chrome;取得使用者同意後,Spark 可利用 Chrome 中已登入的帳號及儲存的密碼,執行跨網站多步驟工作。使用者可要求 Spark 替已收藏的租屋物件安排看房,或搜尋、比較航班並推進訂票流程。
據報導,Apple 計畫以 Siri AI 作為新一代智慧家庭產品核心,推出 HomePod mini、新一代 Apple TV 與全新智慧家庭中樞 Home Hub,產品預計於 2026 年 10 月至 2027 年初陸續上市。
36Kr 報導,曾愛玲已加入哔哩哔哩(B站),擔任 AI 視頻生成業務負責人,直接向 CEO 陳睿匯報;B站未回應 36Kr 的求證。B站此前公開表示,AI 投入主要聚焦視頻理解、視頻推薦與輔助視頻創作,曾愛玲加入後可能參與相關業務。
據報導,GCC 指導委員會近日採納新的 AI 貢獻政策,原則上不接受由大型語言模型(LLM)生成,或依據 LLM 產出改寫且在著作權上屬於重大貢獻的內容;LLM 生成的測試案例,以及未達重大貢獻門檻的少量修改則可依一般審查程序處理。
據 TechCrunch AI 報導,Apple 執行長 Tim Cook 在任內最後一次財報電話會議表示,升級版 Siri AI 可能透過 iCloud+ 設定付費使用限制,但方案尚未定案。Cook 表示,使用者未來可能可藉由既有的 iCloud+ 訂閱購買更多 Siri AI 運算資源;iCloud+ 目前主要提供額外雲端儲存空間。
據 DigiTimes 報導,Lite-On Technology 宣布投資 3,430 萬美元,取得新加坡磷化銦(InP)光元件製造商 DenseLight 21% 股權。這項投資將 Lite-On 的光學核心能力延伸至面向 AI 資料中心的系統級光通訊。
據 The Verge AI 報導,Universal Music Group、Sony Music 與 Warner Music Group 提議,生成式 AI 製作的歌曲除非符合特定條件,否則不得列入國際官方音樂排行榜。提案要求歌曲必須清楚標示 AI 參與,並符合「主要由人類製作」的標準,但目前尚未說明這項標準的具體定義。
據報 AUO 在兩天內出售三座工廠,預計取得新台幣 177 億元(約 5.48 億美元)處分收益;董事長彭双浪表示,資金將再投入高價值產品、新技術及 AI 相關計畫,布局 TGV、玻璃核心與 CPO 擴展。
據 DigiTimes 報導,聯發科於 2026 年 7 月 31 日舉行投資人說明會,執行長 Rick Tsai 重申 ASIC 營收將在 2026 年達到 20 億美元。聯發科並以 2027 年取得 ASIC 市場 20% 市占為目標,同時瞄準高個位數營收成長。
據報導,Meta 近期在蘋果 App Store 低調上架 iPhone 應用程式「StoryKit: personalized stories」,目前僅限墨西哥 App Store 下載,尚未進入美國等主要市場。StoryKit 可利用 AI 生成客製化兒童故事,並同步產生插圖、語音旁白與原創音樂。
據 Zvi 報導,美國眾議員 Trahan(D-Mass)與 Obernolte(R-Cal)提出 FRONTIER Act,核心是將 SB 53/RAISE framework 聯邦化,納入公共安全框架、模型報告、內部使用風險報告、事故通報、資訊刪節與災難性風險定義。