Hugging Face 估值 130 億美元待售，社群熱議潛在買家與未來風險
繼傳出 Hugging Face 正在洽購且估值高達 130 億美元的消息後，Reddit 用戶熱烈討論了 Nvidia、Microsoft、Apple 和 Cloudflare 等潛在買家。此次猜測是基於 Stripe 近期收購 OpenRouter 的案例，突顯了 AI 基礎設施資產的激烈競爭。130 億美元的估值反映了 Hugging Face …
最新 AI 新聞
第 49 / 61 頁，依本站收錄時間整理（台灣時間），不代表原文發布時間。
llama.cpp 遷移至 llama.app 推出全新官方文件
llama.cpp 專案已將官方文件遷移至 llama.app/docs，取代過去分散的資源，為開發者提供集中的指南與參考資料。此舉旨在降低開發者在消費級硬體上運行本機大型語言模型的門檻，並提升依賴該函式庫的工具（如 Ollama 和 LM Studio）的易用性。然而，新網站在安裝說明中引用了「pi-llama」，且目前的命令列介面指令細節相當簡略，…
TielCoder 22GB 4-bit MoE 模型在編碼任務上媲美 Opus4.6
TielCoder 是一款經過 4 位元量化的 22 GB Mixture of Experts (MoE) 模型，在真實編碼任務上的表現與 Qwen3.8-27B 相當，並超越了 KAT-Coder。它在本地推理時提供更高的速度和一致性，成為受限硬體環境中的強力候選者。 該模型解決了開發者在本地運行大型語言模型時，推理速度與準確度之間的關鍵權衡。透…
Audiobookify：搭載本地 Kokoro TTS 的離線 EPUB 閱讀器
開發者 Audiobookify 推出了一款免費且優先離線運作的 iPhone EPUB 閱讀器，內建本地運行的 Kokoro 和 Supertonic 3 語音合成模型。該應用程式體積小巧（不含模型不到 20MB），並在 iOS 裝置上提供了優異的電池續航力與散熱表現。該應用程式採用手動優化的 CoreML 轉換模型（如擁有 8200 萬參數的 Ko…
開發者自製 2.5 億參數量化 LLM，部署僅需 60 MB
一位開發者使用 300 億個 token 從頭訓練了一個 2.5 億參數的語言模型，並透過低於 2 位元的量化技術，將部署體積壓縮至僅 60 MB。該模型可在一般筆記型電腦 CPU 上以每秒約 400 個 token 的速度運行，無需 GPU 或外部框架支援。此專案證明了在資源受限的邊緣裝置上也能實現高效能推論，非常適合用於遊戲 AI 和語音助手。它透…
超級智慧會維持開放存取還是限制存取？
Reddit 上的討論質疑，真正具有超級智慧的 AI 會理性地透過平價訂閱提供服務，還是為了維持相對於人類或其他公司的競爭優勢而限制存取。 這場辯論突顯了普及 AI 的經濟誘因與保留卓越智慧專屬性的戰略優勢之間的張力，影響未來科技的分配方式。 該文章引用了麥克斯·泰格馬克（Max Tegmark）的「奴役之神」框架，並將目前可由公司控制的頂尖模型與可能…
山姆·奧特曼：經濟慣性減緩 AI 破壞速度
OpenAI 執行長山姆·奧特曼承認，由於經濟慣性，2023 年 GPT-4 發布後的 AI 破壞力比預期來得慢。他指出，社會習慣與經濟結構的適應過程較為緩慢，使得過渡期比預期更長但更平穩。 這項承認標誌著業界情緒的重大轉變，緩和了對 AI 引發即時市場動盪的過度期待。這表明企業和消費者需要更多時間來整合 AI，進而影響科技領域的投資時程與採用策略。 …
Claude AI 證明六維空間中存在新族 2-環面
Anthropic 的 Claude AI 已證明六維空間中存在一族新的 2-環面，並特別指出 (3, 4, ∞) 模族是 S6 上的複結構。該證明確立了此模族 2-環面在三個特殊點處完成，並作為六維球面 S6 上的複結構。此結果涉及三角形群在上半平面的作用，為幾何解釋增添了深度。這項突破詳載於 alpo.ge 上的論文，標誌著幾何拓撲學的重大進展。
1998 經典論文：複雜系統失效與根本原因分析的局限
這篇 1998 年的經典論文指出，在複雜系統中，根本原因分析往往徒勞無功。這是因為失效通常由多個元件的互動所導致，而非單一故障點。該論文強調，複雜系統容易進入亞穩定失效狀態，其中變化的影響具有延遲和非線性特徵，使得傳統線性的根本原因追蹤變得無效。這項分析重塑了工程師在分散式系統和混沌工程中的可靠性思維，將焦點從隔離單一原因轉向理解系統性的互動。
Wi-Fi 8 轉向超高可靠性，不再單純追求速度
Wi-Fi 8（IEEE 802.11bn）保留了 Wi-Fi 7 每秒 23 Gbps 的最大理論速度，但將設計重點轉向超高可靠性（UHR），以提升實際使用時的效能。該標準旨在改善擁擠環境中的連線穩定性並減少干擾，而非追求更高的吞吐量數字。這標誌著無線標準的重大範式轉移，解決了理論規格與實際使用者體驗之間的落差。對於企業和工業應用而言，這尤為重要，因…
5 微秒即時編譯：挑戰 LLVM 傳統架構
該文章介紹了一種新的即時編譯（JIT）方法，僅需 5 微秒即可生成程式碼，大幅優於傳統的 LLVM 編譯方式。這項技術透過生成可重複使用的機器碼範本，最小化了與完整編譯週期相關的開銷，展示了專門技術如何顯著降低動態程式碼執行的編譯延遲。 這種速度提升對於需要低延遲程式碼生成的應用程式至關重要，例如 PostgreSQL 的 JIT 功能、eBPF 程…
林納斯·托瓦茲稱 AI 協助解決 Linux 核心「不可能」的除錯難題
林納斯·托瓦茲分享了一段提交訊息，指出 AI 助手協助除錯了 drm/xe 驅動程式中的一個複雜問題，儘管 AI 曾反覆聲稱該問題無法解決。他提到，雖然 AI 準備放棄，但憑藉他的固執以及 AI 忠實執行瑣碎工作，最終促成了修復。 這突顯了一種實用的工作流程：AI 處理重複性任務，而人類的堅持則攻克「不可能」的錯誤，引起許多開發者的共鳴。它強調了生成式…
Qwen 3.8 27B 在編碼與 OCR 表現上媲美前沿模型
阿里雲發布了 Qwen 3.8 27B，這是一款密集多模態模型，用戶反饋其在編碼和 OCR 任務上的表現可與 GPT-4o 和 Gemini Flash Lite 相媲美。該模型被視為本地推理的突破，估計自購硬體的成本可在兩個月內收回。Qwen 3.8 27B 擁有 262,144 個 token 的原生上下文窗口，並以 Apache 2.0 許可證發…
實測 Kimi K3 於 8 張 B300：每秒 92 Token 與成本分析
使用者在 8 張 NVIDIA B300 GPU 上使用 vLLM 和原生 MXFP4 量化技術部署了 2.8 兆參數的 Kimi K3 模型，達到每秒 92 個 token 的穩定解碼速度。部署成本約為每百萬輸出 token 190 美元，而使用 Unsloth 的 1-bit UD-IQ1_S 量化技術在 A100 上進行的比較運行則產生了顯著較低…
Nvidia 斥資 70 億美元投資 Poolside，強化 Nemotron 以對抗中國模型
Nvidia 宣布向 Poolside 投資 10 億美元，並額外支付 60 億美元以授權其技術及聘僱多數工程師。根據交易內容，超過 100 名 Poolside 員工將遷移至 Nvidia，專注於 Nemotron 專案。 此舉旨在加速 Nvidia 的開權重 AI 能力，以應對 DeepSeek 和 Qwen 等崛起的中國競爭對手。這項重大收購鞏…
開發者利用四個 AI 模型成功為 Fire HD 平板取得完整所有權
一名開發者花費 266 美元購買 Fire HD 平板，並利用四個不同的 AI 模型識別漏洞並建立根權利用程式，僅花一天時間便完成。值得注意的是，GLM-5.3 等中國模型成功達成目標，而美國模型則因安全防護機制而退縮。 這展示了多模型 AI 代理在硬體逆向工程中的實用價值，暗示未來 AI 將推動專屬裝置的開源支援。它也突顯了不同 AI 生態系（特別是…
GLM-5.3 聲稱以五分之一成本超越 Anthropic 與 OpenAI 模型
智譜 AI 的開權重模型 GLM-5.3 聲稱其效能超越 Anthropic 和 OpenAI 等主要競爭對手，且成本僅為其五分之一，特別是在編碼與代理任務中表現優異。GLM-5.3 採用與 GLM-5.2 相同的架構，其提升主要來自於後訓練而非新的基礎模型。雖然它在 Terminal Bench 3.0 等基準測試中達到了領先水準，但社群回饋指出，通…
首款針對汽車主機的 Android 惡意軟體透過 OTA 更新入侵
卡巴斯基研究人員發現首款專為感染 Android 後裝汽車主機而設計的惡意軟體，該軟體透過中國製造商 DoFun 的官方 OTA 更新進行傳播。這款多階段下載程式主要用於產生廣告詐騙流量，並將受感染的裝置招募為代理機器人網路節點。 與僅鏡像手機畫面的 Android Auto 不同，此惡意軟體在主機的作業系統上原生執行。這種特性使其能夠透過 CAN …
斯洛伐克發現交通測速相機內含俄羅斯後門
斯洛伐克國家安全局調查發現，NERO R-ONE 交通測速相機內含硬編碼後門機制。該後門允許透過特定俄羅斯手機號碼發送簡訊，授予設備殼層與網路存取權限。調查起因於序列號與俄羅斯製造的相機匹配，進而確認硬體來源。這些相機是俄羅斯公司 Semicon 生產的 CORDON PRO.M 型號之重新貼牌版本。此外，相機會向任何知道其廣播 IP 的人公開即時串流…
解析大語言模型基礎設施：「束線器」概念與社群觀點
該文章將「束線器」（Harness）定義為包裹在大語言模型周圍的關鍵軟體基礎設施層，用於賦予代理程式功能，其關係類似於電子設備與電力的關係。這個概念框架有助於區分原始模型的能力與管理狀態、工具和執行的周圍程式碼。 這一區分很重要，因為它將焦點從單純選擇模型轉向構建處理上下文、工具使用和回饋迴路的強大基礎設施。隨著生態系的成熟，束線器預計將成為 AI …
本地 LLM 表現落差：解析與量化實作細節的影響
社群討論指出，本地大型語言模型（LLM）的實際表現往往不如基準測試所顯示的那麼優秀，主要歸因於解析錯誤和量化瑕疵等實作細節。具體案例包括 llama.cpp 在處理 Step 3.7 Flash 時，因解析器捕捉到額外換行字而導致推理循環錯誤；此外，Qwen3.8 等模型在 4-bit 量化下的效能也受到影響。這些技術限制，如上下文視窗溢出及特定解析器…
MartyPC：一款基於 Rust 的跨平台早期個人電腦模擬器
MartyPC 是一款使用 Rust 編寫的跨平台模擬器，透過實體測試架與真實硬體特性進行比對，從而實現高保真度模擬。它支援早期 8088 系統的精確週期模擬，涵蓋 IBM PC 5150、PC/XT、PCjr 及 Tandy 1000 等機型。作者為真實的早期 CPU 搭建了實體測試架，以針對實際硬體建立測試套件，確保從每個時序特性到細節都達到百分之…
現代工具鏈降低門檻：通才開發者也能掌握硬核系統技術
文章指出，現代工具鏈的發展讓開發者能夠處理更底層的系統程式設計任務，例如 eBPF、DWARF 和自訂加密技術。這種轉變使得通才型開發者也能夠掌握過去僅限專家使用的技術，降低了複雜基礎設施工作的入門門檻，讓更多人能接觸到底層系統內部機制。 推動此趨勢的關鍵技術包括用於沙盒化核心程式的 eBPF，以及用於除錯資訊的 DWARF。文章也提到自訂加密技術的…
Bruce Eckel 發布免費 AI 輔助《Thinking in Python》書籍
Bruce Eckel 發布了一本名為《Thinking in Python》的免費中階 Python 書籍，該書主要使用 Claude 等 AI 工具生成。這本書可線上閱讀，並透過 GitHub 儲存庫提供使用者自行建置 EPUB 等格式檔案的功能。該書著重於心智模型、慣用法與模式，而非僅限於語法，並包含關於「Effects」和無狀態程式設計的獨特章…
家庭實驗室將 DGX Spark 叢集擴展至 36 節點，擁有 4.6TB 記憶體
一位使用者將其家庭實驗室的 DGX Spark 叢集從 16 個節點擴展至 36 個，達成了 4.6TB 的統一記憶體容量。該配置利用自建的 Hermes 和記憶體側車系統，在分散式節點間管理持久的 AI 代理程式。此配置為家庭實驗室愛好者提供了一種可擴展且具成本效益的企業級硬體（如 B200 或 B300）替代方案。它突顯了分散式推理叢集同時處理多樣…
Gemma 4 12B 微調提升工具呼叫效能 2.7 倍
一位使用者針對工具呼叫與命令列介面微調了 Gemma 4 12B 模型，效能提升了 2.7 倍，且嘗試發出工具呼叫的次數增加了 15.7%。經過量化（從 FP16 轉換為 Q4_K_M）的權重已針對 VRAM 有限的本地部署進行了最佳化。該模型採用 Q4_K_M 量化格式，在記憶體使用率與準確度之間取得平衡，並與 llama.cpp 和 Ollama …
Liquid AI 傳聞即將推出 100B Liquid Flow 模型
Reddit 用戶正在討論 Liquid AI 可能推出的 100B 參數 Liquid Flow 模型（LFM），焦點集中在第三版的可能性。這款潛在發布對本地 AI 社群具有重要意義，因為 100B 模型可能是部署在 NVIDIA RTX Pro 6000 或 Mac Studio 等消費級硬體上的理想尺寸。它突顯了 Liquid AI 的架構效率，…
機器人與奧運冠軍丁寧對打，展現球拍握持泛化能力
機器人成功與2016年奧運冠軍丁寧進行乒乓球對打，展現出適應不同球拍角度與位置的泛化能力。機器人在保持控制的情況下，交替進行正手和反手擊球，同時應對手中球拍獨特的角度與位置。這意味著該系統經過訓練，能夠處理多種握持方式，而非依賴單一完美的抓握配置。這項成就透過處理與訓練數據可能不同的精確球拍調整，突顯了灵巧操作領域的進步。這很重要，因為球拍角度的微小差…
阿里巴巴發行百億美元新股，加速全球 AI 運算佈局
阿里巴巴計劃發行價值 100 億美元的新股，以資助其 AI 運算基礎設施的大規模擴張。根據財務規劃，公司預計在今年內將額外支出 250 億美元。此舉緊接在 2026 年第二季度已投入 95 億美元用於 AI 運算之後，顯示出持續且強烈的投資力道。 這項重大的財務承諾標誌著全球 AI 基礎設施競賽中的戰略轉變，突顯了維持競爭力所需的龐大資本需求。它強調…
WHRG'26 直播史上首場人形機器人與人類雙打網球賽
在 WHRG'26 活動中，Galbot 人形機器人參與了史上首場真人雙打網球比賽的直播。該活動展示了它們靈活移動並與人類隊友配合回球的技術能力。由北京 Galaxy General Robot Co. 開發的 Galbot G1 機器人擁有 25 個自由度，重量約為 88 公斤。它利用即時人工智能決策和多模態感測技術，在物體抓取和移動方面表現出色。