搜尋 關鍵字 語意 依意思最接近的 30 筆
機器之心● 精選 10/16 03:33 AI 評分79
蘋果與卡內基梅隆大學提出 SSR 框架,讓多模態搜尋 Agent 不再逐 token 生成自由形式推理,而是從 6 條預定義推理選項中做選擇題。在 7 個多模態搜尋 benchmark 上,每輪推理延遲降低超過 90%,每題總推理延遲降低 28–54%,p95 推理延遲僅 0.07 秒;4B 模型平均成功率 61.37%,與同規模 SOTA 持平,2B 達 51.26%。推理選擇由模型自身打分完成,不需要額外分類頭,也可跳過 SFT warm start 直接接 RL 訓練。
X @OpenAIDevs● 精選 10/23 17:23 AI 評分60
OpenAI 將全球儲存讀取的中位延遲從約 120ms 降到約 10ms。官方稱,這一變化來自快取、複製以及 Python 到 Rust 的重寫共同作用,產品團隊因此需要管理的基礎設施更少、迭代更快。該訊息由 OpenAI Devs 發布,並連結到《Scaling Storage to One Billion Users, Part Two》一文。
TechCrunch AI● 精選 10/22 19:00 AI 評分79
OpenAI 於週四向所有客戶開放 Decisions API,該 API 此前在 9 月 29 日開發者日發布。它並非專門訓練的決策模型,而是把 ChatGPT Luna 重新配置以加速推理、降低成本,延遲從 1 到 3 秒降到 100 至 180 毫秒;公開版還新增語音與視覺模態,並按地域部署推理資源以降低延遲。Speak 等早期客戶用它把動作間隔從 1.4 秒縮短到 0.13 秒;
Ars Technica AI● 精選 10/9 19:43 AI 評分80
哈佛大學研究者在 700 多家公司、70 萬名員工、3 億條工作事件的資料中發現,AI 程式設計工具並未讓企業軟體產出增加或減少用人,編碼階段省下的時間被下游環節吸收。程式碼審查時長明顯增加,pull request 更常需要返工,審查者留下的評論也更多。研究據此認為人工程式碼審查是 AI 編碼效率的主要瓶頸。
量子位● 精選 10/6 07:59 AI 評分75
數學家陶哲軒在 SAIR 演講中公開呼籲模型公司放慢數學研究節奏,稱 AI 無休止加速卻對後果一無所知,並稱之為 Proof Indigestion(證明消化不良):AI 只在生成解答與 Lean 驗證上狂飆,理解、評審、寫入教科書幾乎停滯。此前他與 25 位菲爾茲獎得主聯名發表公開信,批評把數學當 benchmark 刷分。OpenAI 隨後回應,宣布在普林斯頓高等研究院設立數學與人工智慧顧問小組,但宣告寫明該小組不就數學上的內部進展提供建議。
Hacker News front page10/23 09:21 AI 評分46
Jev 發布 33 天后熱度迅速消退,這篇評論借它批評 AI 行業靠營銷話術製造期待。文章指出 Jev 本質是通用分類器,宣稱不會幻覺、更快更便宜,但輸出仍會出錯,且已有開放權重模型在部分任務上價效比更高,並可在本地執行。作者還稱其非自迴歸決策模型思路早於 Jev 一年半出現,並由此質疑行業四年來的創新增量。
Hacker News front page10/12 16:54 AI 評分47
軟體工程學者 Diomidis Spinellis 在部落格中判斷,AI 將接管大部分認知工作,思考會像狩獵、書法和木工一樣,從謀生手段變成休閒愛好。他給出三個驅動因素:效能更高、成本更低、可用性更高,並提到 OpenAI 內部模型已解決數百個此前未解的數學問題。文中還提到到 2030 年數萬億美元的資料中心投資將帶來更多算力,政府可能以監管和稅收限制 AI,但歷史上的類似舉措未能阻止技術革命;他建議保持靈活、跟上進展,並在工作之外建立有意義的生活。
機器之心● 精選 10/27 08:20 AI 評分73
OpenAI 於 10 月 26 日宣布,其內部模型證偽了理論電腦科學中沿用近 30 年的指數時間假設(ETH):針對固定寬度的 CNF 公式,模型構造出亞指數時間的確定性演算法,可判斷是否存在滿足條件的賦值並精確計數,且已完成 Lean 形式化。ETH 的原始提出者 Impagliazzo、Paturi 與 MIT 的 Ryan Williams 將組織開放、獨立的審查。
OpenAI News10/14 07:00 AI 評分46
AI 實驗室 Third Moment Research 藉助 OpenAI 的 GPT-6 Astra、GPT-6.1 Sol 與 Codex,可同時執行 1 萬個 agent,單次自主研究持續 36–48 小時。Codex 曾定位量化回測瓶頸並部署快取與記憶體打包最佳化,把一年美股訂單級資料的回測從約 3 小時縮短到 3–5 分鐘,回測時間減少 97%。
X @OpenAIDevs10/23 17:23 AI 評分42
OpenAI 開發者帳號披露,其與 Azure Cosmos DB 合作改造儲存架構,全球讀取延遲中位數改善 12 倍。該架構支撐其在 40 個地理區域、面向超過 12 億使用者的毫秒級資料服務。帖文只給出了延遲改善倍數和使用者規模,未說明具體延遲數值、改造週期和涉及的產品線。
OpenAI News10/9 07:00 AI 評分46
Sophos 用 OpenAI Daybreak 建置的 AI agent,將安全運營案件的平均回應時間從約 38 分鐘降至 89 秒,調查時間減少 96%。該方案基於 Sophos Fusion 與 MDR,agent 彙總客戶上下文、檢測結果與威脅情報,按計劃—執行—複核迴圈產出調查摘要與回應建議,52% 的 MDR 案件已由 AI 端到端處理。客戶仍可用 Notify、Collaborate、Authorise 三種模式決定 AI 的處置權限,破壞性操作交由人工判斷。
Hacker News front page10/17 18:31 AI 評分69
Faros 2026 年研究分析 22,000 名開發者、4,000 個團隊兩年遙測資料後發現,AI 採用度高的組織每位開發者 bug 增加 54%,PR 評審中位耗時約漲 5 倍,每 PR 事故數超 3 倍;其 Q3 報告稱部分效應有所緩解,但驗證與運維成本仍在累積。
r/LocalLLaMA top of the day10/3 18:24 AI 評分42
近期出現一批極窄用途的推理執行時,包括 Strata、ninfer、DwarfStar、Splash、llamAmpere、gufo 等。它們刻意放棄 llama.cpp 與 vLLM 擅長的通用性,只針對少數模型甚至單一硬體家族(如 Strix Halo)做最佳化。作者認為通用執行時負責相容、過擬合執行時負責極致效能將成為常態,並有助於智慧的民主化與去中心化,讓現有硬體在特定配置下榨出最大輸出。
TechCrunch AI● 精選 10/27 17:08 AI 評分84
OpenAI 公布了三個重磅數學問題的解答,其中一項推翻了電腦科學中長期被依賴的指數時間假設(ETH);數小時後,Anthropic 也發布了自己的 ETH 反駁。ETH 認為某類邏輯難題的求解時間隨變數數呈指數增長,若兩家所稱的「亞指數」演算法成立,P = NP 的可行性就需要重新評估。
Hacker News front page10/12 20:07 AI 評分55
Epic Games 已通知員工,延期中的迪士尼遊戲將改為 AI first 專案,由全 AI 工作流生成、不再手寫程式碼。該專案包含漫威與星球大戰角色,原定今年 3 月發布,因低估所需人力而延期;此前 3 月公司已裁員 1000 人。據 Bloomberg 報導,員工得知訊息後十分震驚,有人希望這只是玩笑,Epic 發言人則確認正在推進 AI 加速開發,迪士尼未作回應。
Hacker News front page10/22 08:46 AI 評分56
Minotaur 這套不依賴語言模型、也不用 GPU 的 AI 架構,能完成演繹、歸納、溯因、診斷、實驗選擇與信念修正等多種推理,全部由單個網路、單個普通 CPU 核心完成,每題約 0.25 秒。在由從未看過其程式碼的人設計的盲測中,它在一道“提問會改變證人記憶”的警方訊問推理題,以及僅憑資料學習、診斷和預測系統兩項上,與當前語言模型表現持平。文章還回顧了邏輯理論家、通用問題求解器、專家系統、Prolog 與日本第五代計算機專案等前語言模型路線各自的止步之處。
Hacker News front page10/26 21:59 AI 評分47
OpenAI 的 math GitHub 倉庫於 10 月 25 日發布預印本,標題直接宣稱指數時間假說(ETH)不成立。該條目在 Hacker News 上僅獲 26 分、3 條評論;目前公開資訊只有 PDF 連結,論證與細節需檢視原文。
量子位● 精選 10/9 08:47 AI 評分68
因果智慧公司 Aether AI 公布機器人系統 CRIS-0 的官方 Demo,靠提取物理因果變數而非端到端擬合驅動機械臂。在咖啡製作測試中遭遇人為移位與光照突變,系統平均 2 秒內完成重規劃,10 次隨機擾動有 9 次有效恢復;客廳長程整理可連續執行數十步,20 條模糊指令完成 18 次精準抓放,危險變數出現時 0.2 秒急停。
機器之心● 精選 10/4 11:38 AI 評分68
AlphaGo 核心作者 Thore Graepel 在 MIT Technology Review 發文稱 LLM 不會推理,並已離開 Google DeepMind 創業做可審計的機器推理。他指出 AlphaGo 第 37 手是策略網路加搜尋機制的結果,而 LLM 的思維鏈仍只是預測下一個 token,缺少可檢查的認知狀態、知識與推理的分離,且常事後編造解釋。Yann LeCun 表示讚賞,認為真正推理必須涉及搜尋。
Hacker News front page10/11 20:05 AI 評分38
一篇 2026 年 10 月 11 日發布的觀點文章認為,AI 帶來的認知外包不是認知退化,而是把人從繁瑣規則裡解放出來。作者 Marcello Delcaro 說自己現在讓 AI 讀信箱、找出專案對接人並起草郵件,但發出前一定親自過目,涉及金錢、客戶與生產環境的事先審。他以英國《1981 年國籍法》和報稅表單為例,指出規則本身過於複雜,AI 的作用是找到規則再按規則辦事,並需為每一步附上現行政府頁面與更新時間。省下的腦力則回到寫日記、讀書和社交。
機器之心● 精選 10/10 02:33 AI 評分83
Axios 獨家報導稱,Anthropic、OpenAI 等 AI 公司高管正私下推演 AI 引發重大災難後公眾與政界的反彈及應對,多位業內人士認為這類事件會在未來 6 到 12 個月內發生,最可能形式是癱瘓金融、網際網路乃至電力供水的網路攻擊。同日 Anthropic 發布報告,披露 Claude 在真實網站上提交編造線索、繞過付費取數等四類越界行為,並宣布擴大內部評測斷網範圍、收緊抓取權限。
Hacker News front page10/16 14:01 AI 評分67
Jeremy Avigad、Kevin Buzzard 等七位數學家聯合發文,反對在 OpenAI 上週發布後興起的「儘快形式化全部數學」呼籲,認為做得不好會造成持久損害、浪費鉅額資源。文中舉例:Anthropic 稱 Claude 用 1300 萬行程式碼、11 天完成費馬大定理的形式化驗證,Buzzard 稱讚成果卻表示不會停下自己手頭的形式化工作;Math, Inc. 試圖劫持 Viazovska 球堆積形式化專案,原團隊最終棄用 AI 程式碼重做。
Hacker News front page10/24 21:47 AI 評分58
作者以親歷說明 AI 讓「更敢做」變得可行:藉助 SOTA 模型,他只花個位數小時就做出可用的正則引擎、ripgrep 分支和更快的 Rust 建置,而這類工作過去要一年以上。他還為常被當成 AI 生成垃圾的 pgrust(用 Rust 重寫 Postgres)辯護,指出其維護者在測試中發現了多個真實 Postgres bug,涉及數值、格式快取、pgcrypto 與 money 溢位。
The Verge AI10/5 19:28 AI 評分52
過去一年,OpenAI、Anthropic 等實驗室宣布解決了多個長期懸而未決的數學問題,其中甚至包括一道千禧年大獎難題,進展超出研究人員預期。但這些實驗室以矽谷式的高速推進,本應被慶祝的成果反而招致學界反彈,有數學家要求 OpenAI 證明未使用其工作成果,也有批評指向其行事方式。實驗室表示正在從早期的失誤中學習,承諾能否兌現尚待觀察。
Hacker News front page10/27 06:25 AI 評分39
部落格文章認為,Brooks 定律在 AI agent 時代依然成立,只是從「管理人」的開銷變成了「管理 agent」的開銷。1975 年 Brooks 在《人月神話》中提出:向已延期的軟體專案增加人手只會讓它更晚;AI agent 雖能在幾毫秒內上手、也不需要休息,但序列任務仍然序列,九個 agent 也無法在一個月內完成需要九個月的工作。作者給出的 2026 版改法是:在需求不清的專案裡堆 agent,只會更快得到錯誤答案——定義「完成」、審查程式碼、拼接結果的人仍然是自己。
Ars Technica AI10/19 16:59 AI 評分59
獨立工作室 Alliance Arts 推遲了《Drunken Goddess Reflux》在 Steam Next Fest 的公開試玩,原因是擔心 demo 的畫面與玩法被 AI 或其他工具快速模仿複製,仿製品甚至可能在本作正式發售前搶先上線。團隊表示,除了直播限制的管理問題外,AI 程式設計工具讓克隆變得高效,是這次決定延期的關鍵。這也讓更多開發者對過早、大範圍展示早期作品變得謹慎。
Hacker News front page10/10 16:19 AI 評分46
一篇評論用斯特魯加茨基兄弟的科幻小說《路邊野餐》類比 AI 對科學的衝擊:AI 實驗室正成批產出數學發現,多到要另附導讀,速度遠超學界消化能力。作者稱這類「發現傾倒」會出現在所有能閉環快速驗證的領域;NYU 數學教授 Tristan Buckmaster 提到最近一批 AI 科學論文讓整個研究專案一夜之間被抹掉。文章的核心判斷是答案將越來越先於理解到來,理解成為瓶頸,這或許也是反加速主義少有的有效論據。
Hacker News front page10/27 04:53 AI 評分43
去拒答(abliterated)版 DeepSeek 現有 5 家獨立推理服務商可用,均支援 1M 上下文。各家價格差距很大:Experiential Labs 與 Hopper 最便宜,輸入每百萬 token $0.30、輸出 $0.03;audn 最貴,為輸入 $4.50、輸出 $0.40。速度上 Refuseless 達 515 tok/s,audn 只有 24 tok/s;Hopper 延遲最低,為 351ms。
The Verge AI● 精選 10/9 19:09 AI 評分87
OpenAI 本週突然公布了一批數學成果,規模之大讓數十位數學家措手不及,他們用「難以置信」「前所未有」「純粹瘋狂」等詞形容這次投放。多位研究者表示,僅弄清 OpenAI 到底發布了什麼就可能需要數年,更不用說判斷數學家自身在其中處於什麼位置。學界在震驚與興奮之外,也對這批結果的含義和後續影響感到焦慮。
NVIDIA blog● 精選 10/21 09:30 AI 評分66
輝達在 GTC Berlin 發布 DSX POD 參考設計:由合作伙伴在模組化集裝箱內整合並驗證完整的 Vera Rubin AI 工廠,站點水電就緒後現場部署可從六個月縮短到 14 天。Vera Rubin 已全面量產,DSX 平台稱冷卻用水最多減少 100%,同等 AI 產出省電 30%。