Hacker News front pageAI 評分54
arXiv 論文提出無注意力架構 Causal Grassmann 層
一篇 arXiv 論文提出不依賴自注意力的 Causal Grassmann 層：先用 Plücker 座標把區域性詞對編碼為 Grassmann 流形上的二維子空間，再門控融合回隱藏狀態。在 Wikitext-2 上，1300 萬至 1800 萬引數的純 Grassmann 模型驗證困惑度與同規模 Transformer 相差約 10% 至 15%；
搜尋
依意思最接近的 22 筆
機器之心● 精選AI 評分65
Manifold AI 的 R²SI 登頂 RoboDojo 榜，超越 GPT-6-Astra
Manifold AI 流形空間的 WorldScape R²SI 框架在機器人學習基準 RoboDojo 的 Agent Track 登頂，超過 GPT-6-Astra 與輝達 GR00T-N1.7。該框架由內外雙層 Agent 組成，內層執行任務，外層跨輪次復盤、修訂 Skill 並訓練 reactive model（WSP）。在 push_T 任務中，動作步數從首輪 723 步（超出 600 步預算）降至 596 步，再降至 389 步，降幅約 35%。
機器之心● 精選AI 評分73
FlowMAS 用 GFlowNet 自動學習多智慧體架構，被 NeurIPS 2026 錄用
廈門大學 ASC 實驗室的 FlowMAS 被 NeurIPS 2026 錄用：它用生成流網路（GFlowNet）把多智慧體工作流拓撲的設計變成可學習的生成問題，讓 AI 自動學出團隊的排兵佈陣。方法引入好奇心驅動與資訊引導兩個模組，在搭建每一步給中間結構發過程性獎勵，後者用資訊理論衡量多路 AI 輸出的協同與冗餘。在 6 個基準、3 種模型底座上，它比手工設計平均高 8.17 分、比自動化方法高 6.12 分；
量子位● 精選AI 評分91
OpenAI 公開兩篇掛谷猜想手稿：三維加強、四維證到 4
OpenAI 在 10 月 7 日一次性放出的 722 篇數學手稿中，編號 074 的兩篇（共 272 頁）專攻掛谷猜想：一篇聲稱證明了比王虹與 Zahl 更強的三維掛谷極大函式猜想，另一篇 175 頁聲稱把四維掛谷集的 Hausdorff 維數從 3.059 直接推到 4。三維那篇用到的區域性擬合等工具還被四維論文引用，兩篇構成一條鏈路。但兩項結果均未經同行評審、未做 Lean 形式化，OpenAI 在 README 中承認未形式化結果可能有問題，陶哲軒牽頭的 AHM 已發宣告反對這種批次發布。
量子位● 精選AI 評分89
OpenAI 公開 722 篇數學手稿，涵蓋黎曼猜想與 BSD
OpenAI 一次性公開 722 篇數學手稿，歸為 372 組結果，全部出自一個尚未發布的內部模型，涉及準黎曼猜想、霍奇猜想、BSD 猜想、π的無理性指數、卡塔蘭常數無理性、唯一遊戲猜想等。據 OpenAI 介紹，模型共嘗試約 4000 個研究問題，平均每項結果消耗算力約相當於 ChatGPT Pro 思考 3 小時；論文、原始碼與部分 Lean 證明已上傳 GitHub。倉庫註明各手稿核驗進度不一，部分成果尚無 Lean 形式化證明。
機器之心● 精選AI 評分91
OpenAI 公開 722 篇數學手稿，聲稱攻克多項名題
OpenAI 把一個尚未發布的內部模型產出的 722 篇數學手稿一次性放上 GitHub，歸入 372 個「成果族」，覆蓋數論、幾何、理論計算機、數學物理等 17 個方向。清單裡既有證明也有證偽，摘要中出現「證偽」「反例」的成果族約 50 個；約六成附有 Lean 形式化，其餘只能算聲稱，且絕大多數尚未經過同行評審。涉及的包括準黎曼猜想、BSD 公式、有理數域上的希爾伯特第十問題、唯一遊戲猜想、Hadwiger 猜想反例、埃爾德什等差數列猜想等。
機器之心● 精選AI 評分94
OpenAI 放出 722 篇數學手稿，稱攻下準黎曼猜想等難題
OpenAI 在 GitHub 倉庫 openai/math 公開 722 篇數學手稿，歸入 372 個成果族，全部由一個尚未發布的內部前沿模型產出。據 OpenAI 說明，模型被投餵約 4000 個研究問題，平均每個結果消耗約相當於 3 小時 ChatGPT Pro 思考的算力，手稿日期幾乎集中在 9 月 23 日至 10 月 5 日。372 族中有 235 族附帶 Lean 形式化，約佔六成三；OpenAI 承認未形式化的結果可能存在問題，且未公布模型名稱。
Hacker News front pageAI 評分71
Anthropic 用 Lean 自動形式化費馬大定理，11 天生成 1300 萬行
數學形式化正從人工轉錄轉為 AI 自動形式化：Anthropic 於 2026 年 9 月 4 日宣布完成費馬大定理的自動形式化，11 天生成 1300 萬行 Lean 程式碼；OpenAI 9 月 8 日公布 Navier-Stokes 強制爆破定理時也附帶了 Lean 形式化。此前 Math Inc. 在 24 維球填充問題上生成約 50 萬行程式碼，Meta 的 ATLAS 專案則自動形式化了 26 本教科書的大部分內容。
Hacker News front pageAI 評分67
GPT-6 Astra 找到首個三維非週期單瓷磚
GPT-6 Astra 在數學家 Ioannis Tsiokos 的推動下找到了 Chair44，被稱為首個三維非週期單瓷磚。Tsiokos 公開了 61 頁論文，並稱自己理解直觀的幾何論證，卻不理解其中的數學；Chaim Goodman-Strauss 隨後把論證精簡為 8 頁，用一張箭頭匹配圖呈現超級瓷磚結構，給出經典的分層非週期性證明。這一案例出現在一場關於數學插畫能否嚴格的討論中：作者指出 LLM 讓插畫製作更易得，但靠 vibecoding 會讓人離知識更遠。
機器之心● 精選AI 評分91
OpenAI 一次公開 722 篇 AI 數學論文，僅 42% 完成形式化驗證
OpenAI 在 GitHub 公開了 722 篇由內部未發布前沿模型生成的數學手稿，涵蓋數論、代數幾何、分析、組合數學等方向，其中約 300 項核心結果完成 Lean 形式化驗證，佔 42%。公司稱模型共嘗試超過 4000 個問題，一項典型成果平均消耗約 3 小時 ChatGPT Pro thinking 算力，但未公開所用模型與提示詞。
Apple Machine Learning ResearchAI 評分56
GHARP 用少量影像即時生成 3D 高斯頭部動畫
研究者提出 GHARP，基於大規模重建先驗，能從被攝者的少量輸入影像和驅動表情訊號即時生成 3D 高斯頭部動畫。該方法把任務拆成兩個階段：身份階段離線建置主體的幾何與外觀表示，動畫階段在執行時預測與表情相關的殘差。作者稱這種分離在保真度、畫質與執行時間之間取得更有利的權衡，離線階段可以更重，執行時動畫仍保持即時。
llama.cpp releasesAI 評分41
llama.cpp b11812 為全部 Granite 模型記錄層輸入
llama.cpp 發布 b11812 建置，其中提交 #30957 為全部 Granite 模型記錄層輸入；該提交由 IBM 的 Gabe Goodhart 提交，位於 GraniteSpeculatorSupport 分支，並標註為全程 AI 輔助（Claude + Sonnet 5.5）。
機器之心● 精選AI 評分89
OpenAI 公開 722 篇 AI 數學手稿，菲爾茲獎得主稱研究領域被摧毀
10 月 6 日，OpenAI 在 GitHub 公開 722 篇 AI 數學手稿，分屬 372 個結果族、含 377 項新證明，約三分之一涉及重要猜想，多數由一款尚未發布的內部模型生成，平均每項結果的計算量相當於 ChatGPT Pro 思考約 3 小時。發布兩天後 OpenAI 因錯誤撤回 3 篇，多位數學家指出部分手稿未必真正證明了所聲稱的結論。
Latent Space● 精選AI 評分90
OpenAI 發布 722 篇數學論文，來自未公開內部模型
OpenAI 在公開 GitHub 倉庫發布 722 篇數學手稿，稱其來自一個未發布的內部前沿模型。這批結果出自約 4000 道研究問題的評估，分成 372 個結果族，平均每個結果消耗約 3 小時 ChatGPT Pro 算力，發布內容含論文、證明產物與部分推理摘要，模型本身不公開。OpenAI 稱發布方式諮詢過高等研究院的數學與 AI 獨立顧問組，Sam Altman 稱之為“發現的新紀元”。
X @Zai_org● 精選AI 評分63
GLM-5.3 上線 Amazon Bedrock
@Zai_org 宣布 GLM-5.3 已在 Amazon Bedrock 上線，企業使用者可通過該平台呼叫。官方稱其為企業帶來更強的程式設計與 agentic 能力，並附上 AWS 文件中的模型卡連結作為接入入口。除上線渠道與能力定位外，本次未披露定價、上下文長度、可用區域等細節。
llama.cpp releasesAI 評分50
llama.cpp 新增啟用統計與 GGUF imatrix 支援
llama.cpp 合併 PR #14891，為 GGUF 格式 imatrix 引入基於啟用值的統計計算，新增 --activation-statistics 引數。該功能可計算啟用熵、餘弦相似度、L2 範數及歐氏-餘弦分數（ECS），並支援外部 NextN 草稿檔案（-md / --model-draft）。預設不啟用啟用統計以避免 imatrix 體積翻倍，統計報告佈局與排序也按 imatrix 型別更新。
機器之心● 精選AI 評分66
北大、VGI Labs 等提出 DynStream：無位姿流式 4D 高斯重建框架
北京大學王選計算機研究所與 VGI Labs、UC Merced 聯合提出 DynStream，這是首個面向無位姿流式動態場景的大規模 4D 高斯前饋重建框架：輸入未提供相機位姿的 RGB 線上影片流，即可前饋輸出相機軌跡與持續更新的動態場景表示。方法按時間分塊做區域性重建，再借相對位姿預測與尺度因子把各塊聚合進統一世界座標系，併為高斯預測動態機率以分離動靜，聚合無需額外計算。
Hacker News front page● 精選AI 評分86
OpenAI 公開內部前沿模型數學成果與 Lean 形式化證明
OpenAI 於 2026 年 10 月 6 日發布由內部前沿模型產出的多項數學結果，以 GitHub 倉庫形式公開，併為其中許多證明提供 Lean 形式化驗證。倉庫同時給出 10 份模型推理摘要、以 ChatGPT Pro 用量折算的算力估算，以及嘗試題目數量的統計，平均每個結果約消耗相當於 3 小時 ChatGPT Pro 思考的算力。
Simon WillisonAI 評分25
Carson Gross：即便有 AI 工具，程式設計仍是可行職業
Carson Gross 認為，即便 AI 工具已經出現，程式設計仍會是一門可行的職業。他把程式設計歸結為兩件事：用計算機解決問題，以及在解決問題的過程中學習控制複雜度；在他看來，很難想像未來懂得用計算機解決問題、並控制這些方案的複雜度會比今天更不值錢。這番話發布於 2026 年 10 月 8 日，標籤涵蓋電腦科學、職業與 AI。
量子位● 精選AI 評分88
Anthropic 實測：GLM-5.2 端到端自主複製攻陷 8 臺裝置
Anthropic 兩位安全研究員 William Zhou 與 Daniel Freeman 發布「自主複製與適應（ARA）」安全實驗：在 8 個 GCP 節點（Android 15 redroid）組成的隔離網路裡，GLM-5.2 在 5 次測試中 4 次自主攻陷並部署全部 8 臺裝置，另 1 次拿下 7 臺。研究還顯示，Qwen3.5-9B 能在 9 種硬體中的 8 種上自行排錯並部署 Llama3.1-8B；
Hacker News front pageAI 評分67
七位數學家撰文反對倉促用 AI 形式化全部數學
Jeremy Avigad、Kevin Buzzard 等七位數學家聯合發文，反對在 OpenAI 上週發布後興起的「儘快形式化全部數學」呼籲，認為做得不好會造成持久損害、浪費鉅額資源。文中舉例：Anthropic 稱 Claude 用 1300 萬行程式碼、11 天完成費馬大定理的形式化驗證，Buzzard 稱讚成果卻表示不會停下自己手頭的形式化工作；Math, Inc. 試圖劫持 Viazovska 球堆積形式化專案，原團隊最終棄用 AI 程式碼重做。
Hacker News front pageAI 評分25
JulianFlux 開源電動力學檢索程式碼，宣稱 0% 幻覺率
JulianFlux 在 GitHub 開源了一套 Python 實現，用連續電動力學場替代餘弦相似度，為 AI agent 做向量檢索與因果路由。它把 768 維嵌入投影到 128 維流形，用 NLI 邏輯閘給資料打 ±1.0 拓撲電荷、以電場斥力阻斷矛盾資訊，並借法拉第感應定律隨時間衰減過期事實。