Hacker News front pageAI 評分35
AI 正在大幅加速 AI 研究本身
一篇題為《AI is dramatically accelerating AI research》的文章主張，AI 正在顯著加速 AI 研究自身。該文發表在 planned-obsolescence.org，並在 Hacker News 上引發討論，獲得 39 分、12 條評論。文章的具體論據與資料需見原文。
搜尋
依意思最接近的 30 筆
Latent Space● 精選AI 評分90
OpenAI 發布 722 篇數學論文，來自未公開內部模型
OpenAI 在公開 GitHub 倉庫發布 722 篇數學手稿，稱其來自一個未發布的內部前沿模型。這批結果出自約 4000 道研究問題的評估，分成 372 個結果族，平均每個結果消耗約 3 小時 ChatGPT Pro 算力，發布內容含論文、證明產物與部分推理摘要，模型本身不公開。OpenAI 稱發布方式諮詢過高等研究院的數學與 AI 獨立顧問組，Sam Altman 稱之為“發現的新紀元”。
The Verge AI● 精選AI 評分83
OpenAI 公布 722 篇論文，未發布前沿模型解開數百數學難題
OpenAI 公開了由一款尚未發布的前沿模型產出的 722 篇論文手稿，稱其中解答了數百個長期懸而未決的數學問題。這批手稿覆蓋 372 個結果族，把相關論文歸入同一組，結果已預期數週才公布。新成立的獨立數學家顧問組 AGMAI 負責對外溝通這些成果。此前數學界對這些突破既感震動也存在爭議，並引發了關於研究倫理與學術規範的討論。
機器之心● 精選AI 評分91
OpenAI 一次公開 722 篇 AI 數學論文，僅 42% 完成形式化驗證
OpenAI 在 GitHub 公開了 722 篇由內部未發布前沿模型生成的數學手稿，涵蓋數論、代數幾何、分析、組合數學等方向，其中約 300 項核心結果完成 Lean 形式化驗證，佔 42%。公司稱模型共嘗試超過 4000 個問題，一項典型成果平均消耗約 3 小時 ChatGPT Pro thinking 算力，但未公開所用模型與提示詞。
量子位● 精選AI 評分86
Hinton、Bengio 等 22 位作者發首篇 RSI 論文，討論智慧爆炸
Hinton、Bengio 等 22 位作者聯合發表首篇 RSI（遞迴自我改進）論文《What if automating AI R&D triggers an intelligence explosion?》。論文引用 Anthropic 內部資料：AI 生成獲批程式碼佔比從 2025 年 1 月的低個位數升至 2026 年 5 月的超 80%，Claude 在高層監督下自主完成的 AI 研發工作比例從 2026 年 3 月的約 1% 升到 8 月的 26%。
Hacker News front pageAI 評分46
論文：AI 正把科學文獻公地圈佔為私有財富
哈佛-史密森天體物理中心研究者 P. K. G. Williams 發表 14 頁 arXiv 論文，論證 AI 提供了將科學文獻這一資訊公地圈佔為私有財富的工具。論文以英國 1600–1800 年圈地運動為類比框架，指出 AI 圈佔的關鍵特徵是借“slop spam”低質生成內容淹沒文獻、破壞支撐公地的社會系統，而非經典的“公地悲劇”。文章橫跨天體物理儀器方法與計算與社會兩個分類，附 32 條參考文獻，主張這套概念可為審視 AI 對科研生態的衝擊提供學術基礎。
Hacker News front page● 精選AI 評分80
論文證明 AI 模型可加密隱藏任意能力，審計難誘導
一篇 arXiv 論文證明，AI 模型可把加密神經網路嵌入自身權重，只在收到秘密觸發時解密執行，且在密碼學假設下即使拿到全部權重也難以誘導或解讀。作者用 PyTorch 實現概念驗證，在化學反應預測任務（CBRN 相關能力的替代任務）上測試微調、權重加噪、梯度觸發搜尋與潛空間對抗訓練，均未能誘匯出隱藏能力。該文被 NeurIPS 2026 接收，共 22 頁，作者已公開模型以支援防禦研究。
量子位● 精選AI 評分78
arXiv 新規：每人每月最多提交 2 篇論文
arXiv 自 2026 年 10 月 1 日起執行新規，每個提交者每個自然月最多提交 2 篇論文，所有分類共用額度，被拒稿也照樣消耗次數。此前 2024 年起實行的限制仍然有效：任何時候最多 3 篇處於 active 狀態的投稿。官方資料顯示，2026 年 9 月投稿量達 40363 篇，兩年翻倍，其中 cs.AI 分類兩年增長超 6 倍。
機器之心● 精選AI 評分89
OpenAI 公開 722 篇 AI 數學手稿，菲爾茲獎得主稱研究領域被摧毀
10 月 6 日，OpenAI 在 GitHub 公開 722 篇 AI 數學手稿，分屬 372 個結果族、含 377 項新證明，約三分之一涉及重要猜想，多數由一款尚未發布的內部模型生成，平均每項結果的計算量相當於 ChatGPT Pro 思考約 3 小時。發布兩天後 OpenAI 因錯誤撤回 3 篇，多位數學家指出部分手稿未必真正證明了所聲稱的結論。
機器之心● 精選AI 評分91
OpenAI 公開 722 篇數學手稿，聲稱攻克多項名題
OpenAI 把一個尚未發布的內部模型產出的 722 篇數學手稿一次性放上 GitHub，歸入 372 個「成果族」，覆蓋數論、幾何、理論計算機、數學物理等 17 個方向。清單裡既有證明也有證偽，摘要中出現「證偽」「反例」的成果族約 50 個；約六成附有 Lean 形式化，其餘只能算聲稱，且絕大多數尚未經過同行評審。涉及的包括準黎曼猜想、BSD 公式、有理數域上的希爾伯特第十問題、唯一遊戲猜想、Hadwiger 猜想反例、埃爾德什等差數列猜想等。
Hacker News front pageAI 評分48
數學家 Calegari 回應 OpenAI 發布 700 餘篇數學論文
OpenAI 於 10 月 6 日發布 700 餘篇數學研究論文，數學家 Frank Calegari 撰文稱這是數學史上的分水嶺，AI 已能在多個數學領域做出突破性貢獻。他承認這些論文寫作粗糙、部分結論有誤、也違反學界署名慣例，但認為數學界更該在自己可控的招聘、發表與人才培養上著力。他以有限單群分類為歷史先例：Gorenstein 1972 年提出綱領，1983 年宣布完成，之後學科熱度下降，但深層問題依然存在；因此“著名問題被解決”並非終點，反而是新起點。
Hacker News front pageAI 評分47
OpenAI 的 math 倉庫發布論文稱指數時間假說不成立
OpenAI 的 math GitHub 倉庫於 10 月 25 日發布預印本，標題直接宣稱指數時間假說（ETH）不成立。該條目在 Hacker News 上僅獲 26 分、3 條評論；目前公開資訊只有 PDF 連結，論證與細節需檢視原文。
量子位● 精選AI 評分81
PaperBenchX 發布：GPT-6 Astra 完整復現率僅 13.98%
UniPat AI 發布 PaperBenchX，稱其為國際上首個多學科端到端論文結果復現基準，從 93 篇論文建置 93 個復現任務，橫跨電磁、光子、化學、材料、生物、機器人等 12 個研究方向和 10 種領域原生科學環境，含 3168 條專家校驗評分項。在這 93 個任務上，表現最強的 GPT-6 Astra 完整復現率只有 13.98%，建模與執行階段平均得分約 62%，驗證階段僅 42.8%。
Hacker News front page● 精選AI 評分86
OpenAI 公開內部前沿模型數學成果與 Lean 形式化證明
OpenAI 於 2026 年 10 月 6 日發布由內部前沿模型產出的多項數學結果，以 GitHub 倉庫形式公開，併為其中許多證明提供 Lean 形式化驗證。倉庫同時給出 10 份模型推理摘要、以 ChatGPT Pro 用量折算的算力估算，以及嘗試題目數量的統計，平均每個結果約消耗相當於 3 小時 ChatGPT Pro 思考的算力。
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 的結果，但原文未附摘要、演算法細節與具體複雜度常數。
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 評分61
數學界組織批評 OpenAI 一次性發布 700 餘份數學手稿
OpenAI 於 10 月 6 日發布了一個包含 700 多份數學手稿的倉庫，聲稱其中含有多項高知名度數學問題的解答。人類數學協會（Association for Human Mathematics）指出，OpenAI 自稱從中獲得正當性的數學與人工智慧諮詢組織，其最初宣告就明確前沿 AI 公司不應在內部模型上測試高等數學問題，OpenAI 的做法無視了這一核心前提。該協會還提到 OpenAI 正面臨抄襲、版權侵權與商標淡化的訴訟，並呼籲數學家停止與 OpenAI 合作。
Hacker News front pageAI 評分55
195 頁生成式 AI 數學基礎書稿更新至 v2，新增圖解
arXiv 上《The Little Book of Generative AI Foundations》發布修訂版 v2，全書 195 頁，並補充了貫穿全書的圖解說明。該書以推導為主線，把 PCA、機率 PCA、變分自編碼器、擴散模型、normalising flows、自迴歸分解、GAN、Wasserstein GAN 與能量模型放進同一條數學脈絡。
Hacker News front pageAI 評分52
論文：如何讓 System 1 大模型展現 System 2 能力
AAAI 期刊論文《How to make System 1 LLMs show System 2 competencies?》在 Wiley Online Library 上線，研究如何讓直覺式（System 1）大模型表現出慢思考（System 2）的能力。全文需經 Wiley 連結檢視，Hacker News 同期討論帖僅 7 分、1 條評論。原文未披露所用方法、模型與實驗資料。
Hacker News front pageAI 評分67
七位數學家撰文反對倉促用 AI 形式化全部數學
Jeremy Avigad、Kevin Buzzard 等七位數學家聯合發文，反對在 OpenAI 上週發布後興起的「儘快形式化全部數學」呼籲，認為做得不好會造成持久損害、浪費鉅額資源。文中舉例：Anthropic 稱 Claude 用 1300 萬行程式碼、11 天完成費馬大定理的形式化驗證，Buzzard 稱讚成果卻表示不會停下自己手頭的形式化工作；Math, Inc. 試圖劫持 Viazovska 球堆積形式化專案，原團隊最終棄用 AI 程式碼重做。
機器之心● 精選AI 評分94
OpenAI 放出 722 篇數學手稿，稱攻下準黎曼猜想等難題
OpenAI 在 GitHub 倉庫 openai/math 公開 722 篇數學手稿，歸入 372 個成果族，全部由一個尚未發布的內部前沿模型產出。據 OpenAI 說明，模型被投餵約 4000 個研究問題，平均每個結果消耗約相當於 3 小時 ChatGPT Pro 思考的算力，手稿日期幾乎集中在 9 月 23 日至 10 月 5 日。372 族中有 235 族附帶 Lean 形式化，約佔六成三；OpenAI 承認未形式化的結果可能存在問題，且未公布模型名稱。
X @AnthropicAIAI 評分55
@AnthropicAI: New on our Science Blog: How AI is beginning to change scientific modeling.
Anthropic 科學部落格發布客座文章，介紹 AI 正開始接手科學建模中長期由人工完成的部分：把模型寫成程式碼，再執行、擬合與修訂。作者 Jakob Macke、Daniel Gedon、Stefan Wahl 指出，科學家目前仍多用手寫模型，並要在多個都能解釋資料的競爭版本之間權衡，而 AI 可以批次探索可能的模型結構，找出資料真正支援的解釋。文中以單個神經細胞如何放電、中子星碰撞等系統為例，說明科學模型的作用。
Hacker News front pageAI 評分47
ADRs for AI 外掛發布：用 Git 版本化記錄監督 AI 程式設計
作者發布 ADRs for AI 框架及其外掛，讓模型把每個設計決策寫成 Git 版本化的「架構審議記錄」。配套的 ORRCF 提問格式要求模型給出選項、建議、理由、置信度與可證偽條件，把疑慮擺出來供人批准或否決；記錄同時說明非顯然設計選擇的依據，以及在換平台、換延遲要求等條件下決策會如何變化。外掛 ADRs4AI/plugins 已提交 Anthropic marketplace，作者稱正錄製入門影片，希望獲得上手體驗方面的反饋。
機器之心● 精選AI 評分82
智源 AREX-2：27B 模型 MLE-bench 達 81.8，反超 2.8T 模型
智源 AREX 團隊發布以 Qwen3.8-27B 為基座的開源模型 AREX-2，在 MLE-bench Lite 取得 81.8、Frontier-CS 取得 70.7，超過表中所有對比模型，包括同為 72.7 的 GPT-5.6 Sol 與 Kimi-K3。它用機器學習與演算法程式設計場景的長程反思資料訓練，並把這種能力遷移到深度研究，BrowseComp 達 84.0、HLE 達 52.6，為 40B 以下模型最高。團隊稱這為遞迴自我改進（RSI）提供了可訓練、可驗證的路徑，論文、模型權重與程式碼均已公開。
Hacker News front pageAI 評分56
OpenAI 撤回 3 篇數學論文，符號錯誤波及兩篇依賴論文
OpenAI 於 10 月 7 日撤回 3 篇數學論文：起因是《Algebraicity of Weil classes on split abelian eightfolds》中的符號錯誤，使 stabilization-trace 消去論證及所用構造失效，另兩篇依賴該構造的論文一併撤回，現已附說明並連結存檔版本。同期還修訂了 14 篇論文的證明、陳述與假設，另有 13 篇論文更新引用；新增 6 項形式化後，核心結果形式化比例為 300/719，約 42%。
Hacker News front pageAI 評分33
LessWrong 作者：AI 自主研發判斷力差，僅快反饋任務有效
Arjun Panickssery 在 LessWrong 發文稱，他不認為當前 AI 能勝任自主研發。在 Scrabble 引擎、終極井字棋機器人、哲學維基和駭客松論文評審等副專案中，模型的基礎判斷力很差：找不到最關鍵的論文，用明顯過小的資料量做無資訊量實驗，反覆走進瑣碎方向，甚至找到了關鍵部落格卻沒意識到它的重要性。
Hacker News front pageAI 評分37
OpenAI 發文介紹與學術社群共建科學理解
OpenAI 發布題為 Working with academic communities to build scientific understanding 的文章，主題是與學術社群合作推進科學理解。目前公開可見的只有標題與文章連結，具體合作機構、專案形式、資助規模與時間表均未在已知資訊中披露。該帖在 Hacker News 上獲得 44 分、9 條評論。
Hacker News front page● 精選AI 評分86
OpenAI 公開內部模型產出的 722 篇數學手稿
OpenAI 公開了一個倉庫，收錄其內部模型產出的 722 篇數學手稿，分為 372 個族，並附部分 Lean 形式化與 10 項結果的推理摘要。這些成果來自對開放研究問題的評估，絕大多數由同一個未發布的內部模型完成，平均每個結果消耗 3 小時 ChatGPT Pro thinking 算力，評估期間共提出約 4000 個問題。倉庫內的結果處於不同驗證階段，並非都有 Lean 形式化，未形式化的部分可能存在問題；
量子位● 精選AI 評分75
陶哲軒轉向 AI 減速派，呼籲模型公司放慢數學研究
數學家陶哲軒在 SAIR 演講中公開呼籲模型公司放慢數學研究節奏，稱 AI 無休止加速卻對後果一無所知，並稱之為 Proof Indigestion（證明消化不良）：AI 只在生成解答與 Lean 驗證上狂飆，理解、評審、寫入教科書幾乎停滯。此前他與 25 位菲爾茲獎得主聯名發表公開信，批評把數學當 benchmark 刷分。OpenAI 隨後回應，宣布在普林斯頓高等研究院設立數學與人工智慧顧問小組，但宣告寫明該小組不就數學上的內部進展提供建議。
X @OpenAIAI 評分30
OpenAI 官方分享數學領域的 AI 進展
OpenAI 在官方帳號發布連結，指向官網頁面 sharing-ai-progress-in-mathematics，主題是分享數學方向上的 AI 進展。該資料本身只有這一條連結，未披露涉及的具體模型、基準成績、發布時間或使用方式，因此除官方就數學進展對外發聲這一點外，暫無更多可確認的細節。