搜尋 關鍵字 語意 依意思最接近的 18 筆
llama.cpp releases11/5 07:12 AI 評分35
llama.cpp 發布 b12124 建置,核心變更是 OpenCL 後端新增對非連續(non-contiguous)張量 sigmoid 的支援(#31687),由高通工程師參與提交。該版本仍是覆蓋 macOS/iOS、Linux、Android、Windows 的多平台建置,包含 CUDA 12/13、ROCm 10.0、Vulkan、SYCL、OpenVINO 以及驍龍 CPU/Adreno GPU/Hexagon NPU 與 openEuler 昇騰等目標。
llama.cpp releases10/24 02:59 AI 評分41
llama.cpp 建置 b11849 為高通 Hexagon NPU 新增 SGN(符號函式)運算元並擴充套件到 f16,同時改用符號位來最佳化該運算元實現。同一批提交還把維度摺疊(dims collapsing)移到 host 側求解器中執行,並放寬摺疊條件的判斷,使其適用更多情形。
機器之心● 精選 10/7 12:43 AI 評分72
維吉尼亞理工、威斯康辛大學麥迪遜分校與達特茅斯學院團隊在 NeurIPS 2026 提出 SAGE,用結構訊號引導長程推理的後訓練。方法以符號閉包分析(SCA)解釋探索偏差與累積偏差,訓練時用代數稀疏化和雙曲結構引導重排候選推理步,在 12 個基準、7 個模型家族上總體優於 SFT、GRPO、EMPO 與 GRPO-PRM。在 1,190 個 Andrews–Curtis 長程例項上,Qwen3 的 Lean 驗證通過率接近基礎模型的 8 倍;
Simon Willison● 精選 11/2 13:31 AI 評分70
美國人口普查局自 2026 年 10 月 19 日起,按行政令 14434 把 BTOS 企業調查中的“Artificial Intelligence/AI”改為“Super Intelligence/SI”。此前該調查已於 2025 年 11 月 17 日把“生產商品或服務”改為“任何業務職能”,使大企業 AI 採用率從 2025 年 9 月的約 12% 升至 2026 年 10 月的約 40%,前後資料不可直接比較。首批採用 SI 措辭的調查結果定於週四發布。
TechCrunch AI● 精選 11/2 22:14 AI 評分83
Anthropic 在修訂版 S-1A 的風險因素中警告,公司可能很快達到其《負責任擴充套件政策》對“遞迴自我改進”(RSI)的定義,即 AI 大幅加速自身研發進展。檔案承認過去曾用 AI 開發新模型而未及時識別能力躍升;但也強調目前沒有任何模型越過該門檻,並承諾在可預見的未來仍保持人類監督。同期披露的財務資料顯示收入快速上漲、支出同步走高。
機器之心● 精選 10/21 02:21 AI 評分73
UC San Diego、ByteDance 與 CMU 提出 RSIGame,讓 Agent 在可執行的遊戲環境裡自主試玩、診斷、修改並驗證,形成長期自我改進閉環。以 GPT-5.5 生成的遊戲為起點,多輪自主開發後品質評分從 50.26 提升到 64.53;在 GameCraft-Bench 的 140 個任務、Godot 與 Phaser 兩種引擎上,比迭代開發基線 Play2Code 高 7.2~13.8 分。
Hacker News front page10/28 15:46 AI 評分70
Surge AI 發布 DAYJOB: Tax,用 50 個專業稅務任務評測 AI agent,Claude Sonnet 5.5 以 10.8% 的 pass@1 通過率排在第一,Claude Fable 5.1 與 Claude Opus 5.5 分別為 9.6% 和 9.2%。任務覆蓋個人與家庭、小企業、合夥、房產投資、信託遺產、國際稅務等八個領域,通過標準是至少滿足 95% 的評分細則。
機器之心● 精選 10/27 02:54 AI 評分76
復旦與華為小藝提出 SAGE,面向昇騰 NPU 的運算元生成成功率達 95.5%。SAGE 把知識冷啟動、工具增強診斷和經驗學習串成閉環:冷啟動用 Ascend C 速查表、除錯指南與實現範例,並通過生成實現和專家實現的差分挖掘可複用模式;診斷階段讓 Agent 自主呼叫除錯與 profiling 工具定位中間張量異常和效能瓶頸。經驗學習用 ATU 只給實際被採用的經驗分配測試反饋,並把反覆有效的規則沉澱為熱記憶。
llama.cpp releases10/19 13:39 AI 評分45
llama.cpp 發布 b11731,ggml-cpu 後端將 ggml_v_silu 與 ggml_v_expf 向量化,提交者為 IBM 的 Aaron Teo,可加速 CPU 推理中的 SiLU 啟用與指數運算。該版本照例更新了各平台預編譯產物,覆蓋 CUDA 12/13、Vulkan、ROCm、SYCL、OpenVINO、Android 及 Windows arm64 等。
X @Bot10/20 20:42 AI 評分16
xAI 於 2026 年 10 月 20 日在官網新聞頁發布了一篇題為 incident-sweep 的公告。該帖僅給出全文連結 x.ai/news/incident-sweep,未在正文中說明事件性質、影響範圍或處理進展。具體內容需要開啟原文檢視。
機器之心10/13 02:11 AI 評分58
據 The Information 報導,OpenAI 正與一家新成立的 AI 影片初創公司談判,計劃讓已關停的 Sora 重新投入商業化,OpenAI 將獲得該公司部分股權。這家公司由夢工廠動畫聯合創始人 Jeffrey Katzenberg、Sora 前研究負責人 Bill Peebles 和 Dropbox 前 CFO Sujay Jaswa 共同創辦,面向電影製作人開發 AI 影片軟體與服務,可能獲得對 Sora 深度定製的權限,但模型權重是否開放尚未確定。
Hacker News front page10/29 00:30 AI 評分43
MicroZig 與 Zig Embedded Group 自 2026 年 10 月 28 日起實施嚴格的無 LLM、無 AI 政策,適用於其 GitHub 組織與 Discord 伺服器。政策禁止一切 LLM 生成內容,無論程式碼還是文字;也禁止改寫這類內容、用 LLM 校對拼寫語法、翻譯、頭腦風暴後分享結果、用 LLM 找 bug,甚至禁止談論聊天機器人或 LLM 服務的使用。專案方表示英文被鼓勵但非必需,歡迎使用母語發言、由他人自選翻譯工具理解;
Hacker News front page10/12 16:54 AI 評分47
軟體工程學者 Diomidis Spinellis 在部落格中判斷,AI 將接管大部分認知工作,思考會像狩獵、書法和木工一樣,從謀生手段變成休閒愛好。他給出三個驅動因素:效能更高、成本更低、可用性更高,並提到 OpenAI 內部模型已解決數百個此前未解的數學問題。文中還提到到 2030 年數萬億美元的資料中心投資將帶來更多算力,政府可能以監管和稅收限制 AI,但歷史上的類似舉措未能阻止技術革命;他建議保持靈活、跟上進展,並在工作之外建立有意義的生活。
Hacker News front page10/23 09:21 AI 評分46
Jev 發布 33 天后熱度迅速消退,這篇評論借它批評 AI 行業靠營銷話術製造期待。文章指出 Jev 本質是通用分類器,宣稱不會幻覺、更快更便宜,但輸出仍會出錯,且已有開放權重模型在部分任務上價效比更高,並可在本地執行。作者還稱其非自迴歸決策模型思路早於 Jev 一年半出現,並由此質疑行業四年來的創新增量。
Hacker News front page11/4 14:10 AI 評分43
電腦科學家、未來學家 Jaron Lanier 在《泰晤士報》Tech Podcast 節目中表示,AI 公司正在重蹈社交媒體的覆轍,而把聊天機器人當作一個新物種,正把行業帶向錯誤方向。他同時質疑「AI 帶來富足」的承諾,並提出替代成癮式聊天機器人的設想;節目還討論了一些科技從業者必須辭職才能公開表達擔憂的現象。該期節目於 11 月 2 日發布。
Hacker News front page10/25 17:52 AI 評分21
Hacker News 上有人發帖徵集討論:Agentic AI 進入生產的主要瓶頸在哪裡。發帖者引用兩項資料作對照——agent 產生的流量已超過人類流量,但已建置的 agent 中只有 10% 真正上線生產,他覺得這很諷刺。他由此追問是什麼卡住了這些 agent,以及要讓 agent 流量繼續增長還缺哪些基礎設施。帖子目前 3 分、5 條評論。
Hugging Face blog● 精選 11/3 17:15 AI 評分73
Ai2 推出 StateBench,一個按四檔難度衡量語言模型在長文件中追蹤實體狀態變化的基準。結果顯示:迴圈與混合架構(如加入 Gated DeltaNet 層的 Olmo Hybrid)在直接訓練後泛化能力遠超 transformer,而 Gemini 3.8 Flash、Claude Opus 5.5、GPT-6 Sol/Luna 等前沿模型在輸入變長、依賴鏈變複雜時仍會失效。
機器之心10/16 03:39 AI 評分48
南大系初創公司南芥智慧(SinapisAI)發布首份技術報告,其 Mio 1.0 Lite 在九個公開 benchmark 上平均分 77.15/100 排名第一,平均每請求成本 0.06 元為全場最低,比分數最高的對手 GPT 6.1 Sol 高 6.35 分、成本低 94.0%。系統先為模型建立可量化的能力畫像,再結合任務需求與資源預算做模型選擇與協作,底層模型倉庫已收錄 484 個模型,產品平台於 10 月 8 日開啟公測。