AISpot

搜尋

依意思最接近的 30 筆

TechCrunch AIAI 評分33

Hugging Face 談開源 AI 的價值歸屬,中國開源模型正在崛起

Hugging Face 在一檔播客節目中討論了開源 AI 熱潮下價值究竟流向誰。開源模型正被企業、政府和初創公司採用,理由是成本更低、控制權更強、更靈活;但隨著能力越來越強的模型更自由地可獲取,公司該怎樣從中獲利成了核心問題。節目還提到中國開源模型正在取得進展,並追問美國玩家能否跟上。

NVIDIA blogAI 評分48

輝達報告:89% 電信運營商重視開源模型

輝達《State of AI in Telecommunications》報告顯示,89% 受訪者認為開源模型與軟體對公司 AI 戰略重要。運營商看重開源模型的可信任、可控與可定製,用於自主網路、客服等關鍵負載,並把閉源模型留給價值最高的場景;輝達同時發布 300 億引數的 Nemotron 3 Large Telco Model(由 AdaptKey 在開源電信資料集上微調),並提供基於 NeMo 的端到端微調流程。

TechCrunch AIAI 評分29

Hugging Face 政策負責人談開源 AI 的成本與風險

Hugging Face 政策負責人做客播客,討論企業採用開源 AI 模型的成本、風險與取捨。開源模型因成本更低、更可控、更靈活,被企業、政府和初創公司更多采用;但模型能力越強、越容易獲取,企業如何從中獲取價值就成了難題。節目還談到中國開源模型的進展,以及美國廠商能否跟上。

Hacker News front pageAI 評分58

IBM CEO:開源權重模型以十分之一成本達九成效能

IBM CEO Arvind Krishna 在第三季度財報電話會上稱,開源權重模型現已能用前沿模型 10%–25% 的 token 成本實現約 90% 的效果。他回顧差距從 2024 年的 70 分對 20–30 分,縮小到 2025 年底的 70 分對 50 分,認為企業大多數任務(總結郵件、審查合同、客服應答)用便宜模型就夠。由此 IBM 看到本地部署 AI 需求升溫,稱兩三機架即可搭建,但企業缺核心、網路與 GPU 叢集調優人才;

Hacker News front page● 精選AI 評分86

OpenAI 公開內部前沿模型數學成果與 Lean 形式化證明

OpenAI 於 2026 年 10 月 6 日發布由內部前沿模型產出的多項數學結果,以 GitHub 倉庫形式公開,併為其中許多證明提供 Lean 形式化驗證。倉庫同時給出 10 份模型推理摘要、以 ChatGPT Pro 用量折算的算力估算,以及嘗試題目數量的統計,平均每個結果約消耗相當於 3 小時 ChatGPT Pro 思考的算力。

量子位AI 評分50

範式智慧聯合睿思智聯開源生產級 AI 部署平台模域 ModelSphere

10 月 16 日,範式智慧聯合睿思智聯發布一站式生產級 AI 部署平台模域(ModelSphere),面向企業免費開源,以 Apache 2.0 協議在 GitHub 上線。平台把算力管理、模型部署與執行最佳化整合為統一流程,可統一混合排程華為昇騰、天數智芯、摩爾線程、海光 DCU 等國產晶片,無需為不同晶片重寫底層程式碼。

機器之心AI 評分61

阿里 OpenSandbox 被 AAIF 收錄,成國內首個入選專案

阿里巴巴開源智慧體沙箱 OpenSandbox 正式被國際 AI 開源技術組織 AAIF 收錄,成為首個由中國企業主導進入該體系的專案,同批次入選的還有 Agent Skills。OpenSandbox 將伺服器資源切分為多個沙箱隔離執行智慧體,兼顧啟動延遲、批次吞吐與資源開銷,並支援審計追蹤;阿里內部日均建立沙箱已達百萬量級,2025 年 11 月開源後已有 582 名開發者參與共建。

量子位● 精選AI 評分69

中國電信開源意圖理解模型 Xing4.0-29B-Intent,同步開放 275 萬條語料

中國電信星辰通用人工智慧實驗室發布並開源意圖理解專用模型 Xing4.0-29B-Intent,同時開放 275.3 萬條訓練語料、模型權重與推理映象,程式碼採用 Apache 2.0 許可。模型按統一 Schema 輸出 JSON,可同時完成意圖分類與引數抽取;官方評測總分 58,高於 18 款參評通用模型的最高分 49。類別決策總分 70,領先 Jev 的 56 和 GPT-6-Luna 的 65。

X @OpenAI● 精選AI 評分66

OpenAI 前沿模型與 Codex 將登陸 Google Cloud

OpenAI 宣布其前沿模型與 Codex 智慧體工作流將上架 Google Cloud 的 Model Garden。企業可以在已經使用的 Google Cloud 環境中呼叫 OpenAI 的模型和 Codex 工作流,不必遷出既有的建置環境。官方目前只表示「即將到來」,未披露具體上線時間、包含哪些模型以及定價方式。

X @ollamaAI 評分39

Ollama 在首爾與韓國 AI 副委員長會談,討論開源模型普及

Ollama 本週在首爾與韓國 AI 副委員長 JungWoo Ha 會談,討論開源模型在韓國的採用。雙方談到開源模型在網路安全中的關鍵作用、如何擴大韓國整體的 AI 可及性,以及 Ollama 與韓國 AI 生態夥伴的合作、壯大當地社群。原文未披露具體協議、數字或後續安排。

Hacker News front pageAI 評分73

AI 設計的開源加速卡 openTPU 跑通十餘款模型

一個由 AI 設計的開源 AI 加速器 openTPU 已在真實 PCIe 卡上跑通十餘款模型的真實權重,輸出與 bit-exact 模擬器逐位一致。硬體是 Xilinx Kintex-7 xc7k480t 加兩路 DDR3,LFM2.5-230M int8 解碼 59.0 tok/s、4-bit 達 85.8 tok/s;解碼受 DRAM 頻寬限制,實測跑到峰值的 82%-94%。

Hacker News front pageAI 評分36

HN 討論:模型這麼強,OpenAI 為何不自己開公司做應用

Hacker News 上一條 Ask HN 帖子提問:如果前沿模型已經這麼強,OpenAI、Anthropic 為什麼不自己拿模型去開一批公司、做自己的產品,而是把賣 token 當成主要收入來源。發帖者認為模型正在商品化、價格持續走低,這或許說明應用側比工具側更賺錢。該帖獲得 130 分、109 條評論。

X @ollamaAI 評分22

Ollama 稱以零資料保留推動開源模型進入企業

Ollama 宣布為企業提供完全的零資料保留(zero data retention),並稱隨著模型能力提升,開源模型將成為全球企業的預設選擇。其給出的理由是最早承擔私有文件、政府資料等敏感工作的正是開源模型。該表態未披露具體模型、上線時間或適用範圍。

機器之心● 精選AI 評分91

OpenAI 一次公開 722 篇 AI 數學論文,僅 42% 完成形式化驗證

OpenAI 在 GitHub 公開了 722 篇由內部未發布前沿模型生成的數學手稿,涵蓋數論、代數幾何、分析、組合數學等方向,其中約 300 項核心結果完成 Lean 形式化驗證,佔 42%。公司稱模型共嘗試超過 4000 個問題,一項典型成果平均消耗約 3 小時 ChatGPT Pro thinking 算力,但未公開所用模型與提示詞。

Hacker News front page● 精選AI 評分86

OpenAI 公開內部模型產出的 722 篇數學手稿

OpenAI 公開了一個倉庫,收錄其內部模型產出的 722 篇數學手稿,分為 372 個族,並附部分 Lean 形式化與 10 項結果的推理摘要。這些成果來自對開放研究問題的評估,絕大多數由同一個未發布的內部模型完成,平均每個結果消耗 3 小時 ChatGPT Pro thinking 算力,評估期間共提出約 4000 個問題。倉庫內的結果處於不同驗證階段,並非都有 Lean 形式化,未形式化的部分可能存在問題;

X @OpenAIAI 評分43

OpenAI 稱新模型強化 COBOL、Fortran 等老舊語言的遷移能力

OpenAI 表示,最新一輪模型能力提升集中在 COBOL、Fortran、Visual Basic 等低資源程式語言,增強了這類軟體的建置與遷移能力。這些語言支撐著銀行、政府和企業長期依賴的系統;OpenAI 的目標是理解數十年的業務邏輯,並在保留可用部分的前提下幫助開發者完成現代化改造。OpenAI 稱會圍繞開發者與企業客戶提出的實際難題推進,並公開徵集下一批需要支援的語言與工作流。

Simon WillisonAI 評分61

OpenAI 詳解模型命名:Luna 到 Astra 按規模排序

OpenAI 的 Ted Sanders 解釋了公司的模型命名規則:模型按規模從小到大排為 Luna < Terra < Sol < Astra,模型越大效能越可靠、冷門事實召回越好,但每 token 成本更高。版本號同時反映發布順序、與其他版本的關係和改進幅度,例如 6.1 在 5.6 之後發布、與其他 6.1 模型在訓練資料和風格上相近(所以不叫 5.7),但提升幅度不足以稱為 7。

機器之心● 精選AI 評分73

OpenAI 模型證偽近 30 年的指數時間假設 ETH

OpenAI 於 10 月 26 日宣布,其內部模型證偽了理論電腦科學中沿用近 30 年的指數時間假設(ETH):針對固定寬度的 CNF 公式,模型構造出亞指數時間的確定性演算法,可判斷是否存在滿足條件的賦值並精確計數,且已完成 Lean 形式化。ETH 的原始提出者 Impagliazzo、Paturi 與 MIT 的 Ryan Williams 將組織開放、獨立的審查。

X @OpenAI● 精選AI 評分83

OpenAI 發布內部前沿模型產出的新數學成果

OpenAI 宣布公開一批由其內部前沿模型產出的數學結果,範圍較廣。OpenAI 表示,發布前諮詢了高等研究院(Institute for Advanced Study)的數學與人工智慧獨立諮詢組,並參考其建議與公開推薦來決定發布方式。公告未披露模型名稱、成果數量與具體內容,僅附一個連結。

OpenAI NewsAI 評分33

OpenAI 用分層監控檢測前沿模型失準與 agent 越權

OpenAI 官方發文說明其如何檢測前沿模型失準:用分層監控識別模型失準與智慧體的未授權行為,使回應人員能在事件升級前介入。該機制同時關注模型行為偏離和 agent 越權操作,把分層發現與人工回應銜接起來,目標是在風險事件擴大前完成處置。

量子位● 精選AI 評分74

智譜開源法律模型 GLM-Legal,登頂 Harvey LAB 與 LegalBench

智譜推出法律專用開源模型 GLM-Legal,在 Vals AI 法律測評中以 19.2% 的任務全通過率和 86.23% 的準確率拿下 Harvey LAB 與 LegalBench 雙榜開放權重模型第一。它基於 GLM-5.3-Flash 訓練,適配中文法律實務,能處理合同審查、證據梳理和東南亞跨境合規,官方演示中可給出終止條款修改方案與交接清單。目前開放律所、法律科技公司與法務團隊申請 Beta,並計劃將相關能力接入 AutoClaw。

NVIDIA blogAI 評分45

NVIDIA 加入歐盟 AI 科研計劃,開放 250+ 開源模型

NVIDIA 加入歐盟委員會在都柏林 AI in Science Summit 上啟動的 AI in Science Enablers 計劃,將向歐洲科研界開放加速計算工具、算力與培訓。NVIDIA 已開源 250 多個模型、250 個資料集與 1400 多個開源專案,包括 Nemotron、BioNeMo、PhysicsNeMo、Earth-2 和 ALCHEMI NIM,可用於 agentic 推理與科學計算。

機器之心● 精選AI 評分84

田淵棟參與創立的 Recursive 開源 40B 本地程式設計模型 Flint

田淵棟參與創立的 Recursive_SI 發布首個模型 Flint-40B-A2B,已在 Hugging Face 以 Apache 2.0 開放權重。這是一個總引數 400 億、每 Token 僅啟用 25 億的 MoE 智慧體程式設計模型,在 M4 Pro MacBook Pro 上生成速度超過每秒 125 Token,在 64GB 記憶體的 NVIDIA RTX Spark 上超過每秒 150 Token。

Latent Space● 精選AI 評分76

OpenAI 模型連破數學開放問題,深度優先搜尋加驗證器成關鍵

OpenAI 內部模型 5 月給出 1946 年提出的 Erdős 單位距離猜想的反例,6 月證明 Cycle Double Cover,7 月再解十個開放問題,9 月給出 Navier-Stokes 證明;Anthropic 則形式化了費馬大定理並改進黎曼猜想的界。文章分析稱,LLM 以深度優先方式並行推進多條思路,再用只能校驗完整證明的自動驗證器剪枝,單條思路的試錯成本降到幾分鐘,因此普通甚至看似不可能的提示也值得投入大量算力。