X @elonmuskAI 評分35
馬斯克：Grok Bot 按問題複雜度分流大小模型
馬斯克在 X 上表示，Grok @Bot 會採用對使用者效果最好的方案：簡單問題路由給小型、快速的模型，答案複雜的問題則交給大型模型。他沒有說明具體呼叫哪些模型、複雜度如何判定，也未給出上線時間。
搜尋
找到 15 筆
Hacker News front pageAI 評分32
OpenAI 發布整數乘法低於 n log n 的數學預印本
OpenAI 於 2026 年 9 月 23 日發布數學預印本 Integer multiplication below n log n，作者署名 OpenAI。該文歸入 OpenAI Math Release preprint 系列，PDF 託管在 GitHub 倉庫 openai/math 的 preprints 目錄下，並隨文給出 BibTeX 引用條目。標題指向整數乘法複雜度低於 n log n 的結果，但原文未附摘要、演算法細節與具體複雜度常數。
X @OpenAIDevs● 精選AI 評分65
@OpenAIDevs: You can now send a marked-up image to the API to show exactly where you want an edit.
OpenAI 開發者帳號宣布，API 現在可以接收帶標註的影像，用來精確指定希望修改的位置。呼叫時建議大多數編輯從低複雜度起步，場景包含多個元素或約束時可改用中或高複雜度，讓模型有更多規劃空間；影像品質可單獨設定以匹配所需細節程度。
Hacker News front pageAI 評分51
Codex 生成程式碼觸發 SonarQube 告警，作者反思代理寫碼時代的系統所有權
一位工程師復盤：Codex 把約 30 行的 App.tsx 寫成 15 個各佔一行的完整元件，CI 被 SonarQube 的圈複雜度規則攔下。他逐行審查後確認邏輯正確、複雜度確有業務依據，只是略顯過度設計，於是讓 Codex 自行重構拆成 10 個檔案，CI 通過併合入。作者由此提出，維護系統將不再依賴親手寫過程式碼，而取決於是否具備「看出哪裡不對、必要時深挖」的判斷力；代理產出速度遠超人類消化速度，失序會隨之下潛深度放大。
Simon WillisonAI 評分25
Carson Gross：即便有 AI 工具，程式設計仍是可行職業
Carson Gross 認為，即便 AI 工具已經出現，程式設計仍會是一門可行的職業。他把程式設計歸結為兩件事：用計算機解決問題，以及在解決問題的過程中學習控制複雜度；在他看來，很難想像未來懂得用計算機解決問題、並控制這些方案的複雜度會比今天更不值錢。這番話發布於 2026 年 10 月 8 日，標籤涵蓋電腦科學、職業與 AI。
TechCrunch AIAI 評分45
Rivian 擬讓車輛執行 Anthropic 等第三方 AI agent
Rivian 創始人兼 CEO RJ Scaringe 在 TechCrunch Disrupt 上表示，未來 Rivian 車輛將能執行 Anthropic 等外部公司開發的 AI agent，具體時間未定，更多細節留待 12 月的 AI & Autonomy Day 公布。Rivian 自研車載軟體與 agentic 框架，按問題複雜度在端側本地模型與雲端模型之間路由，今年 5 月起該 agent 已可接入 Google Calendar 等外部應用。
Hacker News front page● 精選AI 評分76
論文：Lean 驗證 AI 形式化證明不等於原證明正確
arXiv 新論文指出，用 Lean 機械驗證 AI 自動形式化的數學證明，並不能保證原始自然語言證明本身正確。作者 Bastounis、Circelli 與 Hansen 證明，要做到語義忠實的翻譯必須消解自然語言數學文字的歧義，而該問題在可解複雜度指數（SCI）層級中為無窮，比停機問題（SCI=1）更難。
X @MistralAIAI 評分45
Mistral 與 CERN 合作探索大型物理模型
Mistral AI 與歐洲核子研究中心（CERN）宣布合作，探索用大規模 AI 模型應對粒子物理日益增長的複雜度。雙方的目標是訓練一個單一的大型物理模型（Large Physics Model），訓練資料為數十億次模擬對撞。目前公開的只有合作意向與這一目標，模型規模、時間表與開放方式均未披露。
量子位● 精選AI 評分65
openJiuwen X-Router 首發，實測減少 50%+ Token 消耗
openJiuwen 團隊發布自演進模型路由技術 X-Router，在 PinchBench 全量 147 個任務實測中，靜態路由得分 66.3%、成本 $8.25，相比全量呼叫 Kimi-K2-Thinking 的 71.36%、$11.11，成本降低 44.6%。該技術基於五檔複雜度分檔路由，用本地 Qwen3-0.6B 做程序內分類器，支援端雲分級與 Bandit 自演進，並已接入 WorkSwarm 的 MoA 多模型協同。
Hacker News front page● 精選AI 評分95
OpenAI 單日發布 372 項數學成果，含 Unique Games 猜想證明
OpenAI 於 10 月 6 日一次性發布 372 項數學成果，其中包括 Subhash Khot 的 Unique Games 猜想證明，部分結果附有 Lean 證書，但並非全部。截至目前似乎還沒有人類讀懂這些證明，理解它們的競賽才剛剛開始。作者妻子、複雜度理論家 Dana Moshkovitz 長期研究 UGC，她稱論文寫得極差、必須靠 AI 輔助才能閱讀，證明構造出一種全新的遞迴編碼與噪聲測試。
Hacker News front pageAI 評分60
美光放棄 4F² DRAM，轉向 3D DRAM
美光宣布不再推進 4F² DRAM 商業化，未來繼續沿用 6F² 架構，把資源投向 3D DRAM。CTO Scott DeBoer 稱，公司投入超過二十年研發 4F²，但從 6F² 縮到 4F² 對密度提升有限，成本和複雜度卻大幅上升；而三星、SK 海力士與長鑫仍在推進 4F²。美光短期路線是提升 1δ 良率、開發採用晶圓鍵合的 1ε，再往後規劃 ζÅ 與 ηÅ 平面 DRAM，最終目標是垂直堆疊儲存單元的單體 3D DRAM。
OpenAI NewsAI 評分46
LegalOn 按任務分派 GPT-6 三款模型，Codex 日成本降 65%
法律 AI 公司 LegalOn 通過在 GPT-6 Luna、GPT-6.1 Sol 和 GPT-6 Astra 之間按任務複雜度選型，把 Codex 的預估日成本降低約 65%，同時保持開發速度。此前開發者可無限使用 GPT-5.5 的 Fast 模式，公司隨後預設限制 Fast 模式，並按部門、小組和個人設定月度用量與預算上限。輕量任務交給 Luna 寫程式碼，Sol 負責常規設計、資料分析與文件，Astra 處理架構設計等複雜判斷；
Hacker News front pageAI 評分45
密碼學家 Matthew Green 擔憂 AI 數學能力威脅公鑰密碼
約翰斯·霍普金斯大學密碼學家 Matthew Green 發文稱，人類有可能失去公鑰密碼學。他的理由是：機器已在人類攻關多年的數學問題上超越人類，因此沒有理由相信 Module-LWE、ECDLP 以及本就呈次指數複雜度的因數分解，已被人類的分析徹底釘死。他認為，在涉及全球網際網路安全時，押注人類這次同樣判斷無誤是一種過於主觀的賭注，並不安全。
Hacker News front pageAI 評分46
工程師提出 Brain Sandwich 工作法：先思考、再交給 AI、最後自己審查
一位工程經理轉述同事 Emily 的做法，提出與 AI 協作的 Brain Sandwich 框架：先用自己的大腦，再把實現交給 AI，最後再回到自己的大腦。開始前要自己讀懂問題、明確大致方向，否則 AI 可能把方向帶偏，甚至讓人去解決本來不存在的問題；中間階段可以毫無顧慮地完全委託給 agent。收尾時必須自己讀 diff、判斷增加的複雜度是否值得、寫好 PR 描述——如果說不清改了什麼、為什麼改，就不該交給別人審查。
OpenAI NewsAI 評分44
Jump Trading 用 GPT-6 Astra 讓 agent 承擔數天級量化研究
Jump Trading 的 LLM 研發負責人 Lucas Baker 表示，引入 OpenAI GPT-6 Astra 後，可交給 agent 的量化研究工作流在規模與複雜度上大幅提升，從日常寫程式碼擴充套件到需要執行數天、跨多資料來源的完整分析。過去需要頻繁人工指導與干預，現在團隊只需定義安全、可監控的環境與明確目標，讓 agent 自行尋找路徑，並在長任務中自我評估、遞迴改進。在受監管的金融行業，agent 產出的交易訊號仍按普通訊號處理，需人工稽核並納入嚴格控制的執行環境。