依意思最接近的 30 筆
哈佛-史密森天體物理中心研究者 P. K. G. Williams 發表 14 頁 arXiv 論文，論證 AI 提供了將科學文獻這一資訊公地圈佔為私有財富的工具。論文以英國 1600–1800 年圈地運動為類比框架，指出 AI 圈佔的關鍵特徵是借“slop spam”低質生成內容淹沒文獻、破壞支撐公地的社會系統，而非經典的“公地悲劇”。文章橫跨天體物理儀器方法與計算與社會兩個分類，附 32 條參考文獻，主張這套概念可為審視 AI 對科研生態的衝擊提供學術基礎。
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%。
AAAI 期刊論文《How to make System 1 LLMs show System 2 competencies?》在 Wiley Online Library 上線，研究如何讓直覺式（System 1）大模型表現出慢思考（System 2）的能力。全文需經 Wiley 連結檢視，Hacker News 同期討論帖僅 7 分、1 條評論。原文未披露所用方法、模型與實驗資料。
作者僅用免費版 ChatGPT（GPT-5.3/5.2 Mini）與 Gemini（3 Flash）進行多輪提示，生成了一篇描述從未進行過的光學孤子研究的完整假論文，並與 IEEE Access 合作測試其期刊防線。他把論文拆成摘要、方法、圖表和參考文獻逐段生成，經過十幾次提示後成品看起來相當可信，並按 IEEE Access 格式排版，且全程未直接編輯輸出。
UniPat AI 發布 PaperBenchX，稱其為國際上首個多學科端到端論文結果復現基準，從 93 篇論文建置 93 個復現任務，橫跨電磁、光子、化學、材料、生物、機器人等 12 個研究方向和 10 種領域原生科學環境，含 3168 條專家校驗評分項。在這 93 個任務上，表現最強的 GPT-6 Astra 完整復現率只有 13.98%，建模與執行階段平均得分約 62%，驗證階段僅 42.8%。
一位寫了 20 年程式碼的軟體工程師撰文主張，AI 生成的程式碼仍要逐行讀、逐行審，不能因為能跑就盲信。他承認這類工具寫得比自己快，經審查後品質往往也不差，但它的做法主要是不斷做加法：堆砌覆蓋錯條件的單元測試、重複實現已有函式、每行都加無用註釋，出問題後還會編造一套語氣篤定的根因分析。他認為 95% 的正確率不等於 100%，靠提示詞“配方”解決不了問題，行業還缺少可重複的驗證流程；只要 PR 上署著自己的名字、自己還在值班，就該讀懂這段程式碼。
Ai2 發布 Old Ideas, Novel Problems 研究與配套基準，結論是用 LLM 當新穎性評審並不可靠：只改 prompt 裡幾處措辭，模型分辨兩個想法哪個更新的準確率就變動超過 50 個百分點。測試涵蓋 GPT-5.1、GPT-5.2、GPT-5.4 與 Claude Sonnet 4.5、Opus 4.5/4.6，檢索與額外推理都不能穩定改善判斷，兩個專門建置的新穎性評估系統還不如直接用 prompt 呼叫的 Claude Opus 4.6 基線。
OpenAI 公開了由一款尚未發布的前沿模型產出的 722 篇論文手稿，稱其中解答了數百個長期懸而未決的數學問題。這批手稿覆蓋 372 個結果族，把相關論文歸入同一組，結果已預期數週才公布。新成立的獨立數學家顧問組 AGMAI 負責對外溝通這些成果。此前數學界對這些突破既感震動也存在爭議，並引發了關於研究倫理與學術規範的討論。
一位電腦科學家在這篇評論中指出，AI agent 結合 Lean 等互動式證明助手，正在把希爾伯特百年前設想的「證明機器」變為現實，其對數學界的衝擊甚至超過希爾伯特綱領的失敗。他同時警告，程式設計領域已把不讀 AI 生成程式碼當成常態；而在 Curry-Howard 對應下程式與證明本質相同，放棄閱讀就等於放棄理解。他主張像數學家反覆簡化 AI 證明那樣，用抽象、重構與更高層語言把程式碼簡化到能裝進腦中。
GitHub 上新開源專案 Open Academic Paper Gen，用多智慧體工作流把論文初稿生成拆成九個階段，最大特點是在拿到文獻全文後定位相關段落，核驗正文引用是否真被原文支撐，有頁碼時還會標出對應 PDF 頁碼。它從 OpenAlex、Crossref、Semantic Scholar 和 arXiv 檢索文獻，生成證據表後分析趨勢、診斷創新性、列提綱寫作，再做引用核驗與模擬審稿，可匯出 Markdown、LaTeX 與 RIS、BibTeX。
OpenAI 在公開 GitHub 倉庫發布 722 篇數學手稿，稱其來自一個未發布的內部前沿模型。這批結果出自約 4000 道研究問題的評估，分成 372 個結果族，平均每個結果消耗約 3 小時 ChatGPT Pro 算力，發布內容含論文、證明產物與部分推理摘要，模型本身不公開。OpenAI 稱發布方式諮詢過高等研究院的數學與 AI 獨立顧問組，Sam Altman 稱之為“發現的新紀元”。
OpenAI 在 GitHub 公開了 722 篇由內部未發布前沿模型生成的數學手稿，涵蓋數論、代數幾何、分析、組合數學等方向，其中約 300 項核心結果完成 Lean 形式化驗證，佔 42%。公司稱模型共嘗試超過 4000 個問題，一項典型成果平均消耗約 3 小時 ChatGPT Pro thinking 算力，但未公開所用模型與提示詞。
博主 AIL 與開發者 Matt Pocock 就 spec driven development 展開爭論，他認為 AI 專案的事實來源應是寫作所表達的意圖，而非程式碼；在他看來，程式碼只是執行與表示，寫作才是最接近人腦想法的載體。他提出 Ideal State Artifact（ISA）文件，用散文式的理想狀態、約束與決策記錄，加上可原子化測試的 Ideal State Criteria（ISC）及各自的 eval 來承載需求。
一位作者在部落格中稱，自己閱讀 AI 生成文字的速度至少慢三分之一，即便篇幅相同。他把原因歸為兩點：AI 會平均化寫作風格，讀者難以感知作者本人及其語境；AI 為把文字拼接通順必須自行假設，傾向選擇更模糊的措辭，從而損失精度。他還指出多數模型輸出囉嗦，讀者需自行替換含糊詞，寫作者省下的時間會轉嫁到讀者一側，並帶來更多追問、更多迭代與信任下降。
10 月 6 日，OpenAI 在 GitHub 公開 722 篇 AI 數學手稿，分屬 372 個結果族、含 377 項新證明，約三分之一涉及重要猜想，多數由一款尚未發布的內部模型生成，平均每項結果的計算量相當於 ChatGPT Pro 思考約 3 小時。發布兩天後 OpenAI 因錯誤撤回 3 篇，多位數學家指出部分手稿未必真正證明了所聲稱的結論。
ACM 發表論文《The Impact of Generative AI on Critical Thinking》，研究生成式 AI 對批判性思維的影響。目前公開條目只提供論文標題與連結，未披露研究方法、樣本或結論。
Artificial Analysis 將模型智慧指數升級到 v5.0，評測集換成 9 項新基準。Knowledge Work、Coding、Science、General 四類各佔 25%，單項權重最高為 15%，分別是 AA-Briefcase v1.1、FrontierCode 2.0、Terminal-Bench-Science 0.1 和 AA-Omniscience v1.1；
Ai2 與賓夕法尼亞大學合作推出 LitPivot，把文獻檢索與批評嵌入研究想法的撰寫過程。系統把提案拆成問題、貢獻與評估計劃三部分，用 Asta Paper Finder 檢索論文，按正在編輯的部分分組並高亮相關文獻，再給出附原文摘錄的批評和可接受、編輯或拒絕的改寫建議。17 名研究者的實驗室研究中，兩名不知情的領域專家評定 LitPivot 產出的想法更紮實地依據文獻，參與者自評的新穎性與有用性提升也更大。論文將在 UIST 2026 報告。
數學家陶哲軒在 SAIR 演講中公開呼籲模型公司放慢數學研究節奏，稱 AI 無休止加速卻對後果一無所知，並稱之為 Proof Indigestion（證明消化不良）：AI 只在生成解答與 Lean 驗證上狂飆，理解、評審、寫入教科書幾乎停滯。此前他與 25 位菲爾茲獎得主聯名發表公開信，批評把數學當 benchmark 刷分。OpenAI 隨後回應，宣布在普林斯頓高等研究院設立數學與人工智慧顧問小組，但宣告寫明該小組不就數學上的內部進展提供建議。
arXiv 新論文指出，用 Lean 機械驗證 AI 自動形式化的數學證明，並不能保證原始自然語言證明本身正確。作者 Bastounis、Circelli 與 Hansen 證明，要做到語義忠實的翻譯必須消解自然語言數學文字的歧義，而該問題在可解複雜度指數（SCI）層級中為無窮，比停機問題（SCI=1）更難。
OpenAI 於 10 月 7 日撤回 3 篇數學論文：起因是《Algebraicity of Weil classes on split abelian eightfolds》中的符號錯誤，使 stabilization-trace 消去論證及所用構造失效，另兩篇依賴該構造的論文一併撤回，現已附說明並連結存檔版本。同期還修訂了 14 篇論文的證明、陳述與假設，另有 13 篇論文更新引用；新增 6 項形式化後，核心結果形式化比例為 300/719，約 42%。
小紅書與復旦大學等機構提出的 DR-Rubric 已被 NeurIPS 2026 接收，論文與程式碼公開。該方法先讓模型圍繞任務做多輪檢索收集證據，再把證據轉成原子化、可逐條檢查的評分細則，作為 GRPO 的獎勵訊號，已在小紅書業務中實際使用。六個基準上每輪僅用 1000 條 RL 資料即取得有競爭力的表現，其中 GPT-5 生成的細則在 ResearchQA 達 73.7、DeepResearchBench 達 43.0；
OpenAI 於 10 月 6 日發布了一個包含 700 多份數學手稿的倉庫，聲稱其中含有多項高知名度數學問題的解答。人類數學協會（Association for Human Mathematics）指出，OpenAI 自稱從中獲得正當性的數學與人工智慧諮詢組織，其最初宣告就明確前沿 AI 公司不應在內部模型上測試高等數學問題，OpenAI 的做法無視了這一核心前提。該協會還提到 OpenAI 正面臨抄襲、版權侵權與商標淡化的訴訟，並呼籲數學家停止與 OpenAI 合作。
OpenAI 於 10 月 6 日發布 700 餘篇數學研究論文，數學家 Frank Calegari 撰文稱這是數學史上的分水嶺，AI 已能在多個數學領域做出突破性貢獻。他承認這些論文寫作粗糙、部分結論有誤、也違反學界署名慣例，但認為數學界更該在自己可控的招聘、發表與人才培養上著力。他以有限單群分類為歷史先例：Gorenstein 1972 年提出綱領，1983 年宣布完成，之後學科熱度下降，但深層問題依然存在；因此“著名問題被解決”並非終點，反而是新起點。
一位專攻選擇公理的數學家公開批評 OpenAI 的預印本，該文聲稱證明了分拆原理不蘊含選擇公理這一懸置逾百年的問題。他指論文結構混亂、術語不當，引用至少三份未發表、未經評審、也未上傳 arXiv 的講義，還包含他認為不該被證明的引理 7.4 與 8.1，若投稿期刊應被直接拒稿。他並批評 OpenAI 一次放出數百個表述難懂的「解答」，讓研究者疲於應付，也擔心資助方與政策制定者據此以為數學家可被機器人取代。
Jeremy Avigad、Kevin Buzzard 等七位數學家聯合發文，反對在 OpenAI 上週發布後興起的「儘快形式化全部數學」呼籲，認為做得不好會造成持久損害、浪費鉅額資源。文中舉例：Anthropic 稱 Claude 用 1300 萬行程式碼、11 天完成費馬大定理的形式化驗證，Buzzard 稱讚成果卻表示不會停下自己手頭的形式化工作；Math, Inc. 試圖劫持 Viazovska 球堆積形式化專案，原團隊最終棄用 AI 程式碼重做。
一篇 arXiv 論文證明，AI 模型可把加密神經網路嵌入自身權重，只在收到秘密觸發時解密執行，且在密碼學假設下即使拿到全部權重也難以誘導或解讀。作者用 PyTorch 實現概念驗證，在化學反應預測任務（CBRN 相關能力的替代任務）上測試微調、權重加噪、梯度觸發搜尋與潛空間對抗訓練，均未能誘匯出隱藏能力。該文被 NeurIPS 2026 接收，共 22 頁，作者已公開模型以支援防禦研究。
一篇評論用斯特魯加茨基兄弟的科幻小說《路邊野餐》類比 AI 對科學的衝擊：AI 實驗室正成批產出數學發現，多到要另附導讀，速度遠超學界消化能力。作者稱這類「發現傾倒」會出現在所有能閉環快速驗證的領域；NYU 數學教授 Tristan Buckmaster 提到最近一批 AI 科學論文讓整個研究專案一夜之間被抹掉。文章的核心判斷是答案將越來越先於理解到來，理解成為瓶頸，這或許也是反加速主義少有的有效論據。
軟體基礎設施部落格 The Consensus 上線自研「AI tells」檢測器，用靜態規則比對 2023 年前後的寫作差異，處於第 99 百分位的文章將失去首頁 At a Glance 板塊、社交媒體和每週 newsletter 的推薦資格。該檢測器不判斷文章是否由 AI 撰寫，只提示讀起來像 AI 寫作，作者稱它偶爾也會誤判自己的文章。讀者仍可在 feed 搜尋中用 aitells<90 過濾，作者也承認規則可被繞過，但認為這反而會促使各家寫出自己的風格。
Simon Willison 在部落格的引語欄目裡摘錄了 Armin Ronacher 的一句話：AI 雖然好玩，但過去 30 年業界寫下了太多糟糕的軟體，現在等於在為此付出代價。這條引語發布於 2026 年 10 月 22 日；該條目被歸入 security、AI、LLM 與 AI 安全研究等標籤。正文只有這一句引語，沒有進一步論證或資料。