AISpot

搜尋

依意思最接近的 30 筆

量子位● 精選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%。

量子位● 精選AI 評分75

陶哲軒轉向 AI 減速派,呼籲模型公司放慢數學研究

數學家陶哲軒在 SAIR 演講中公開呼籲模型公司放慢數學研究節奏,稱 AI 無休止加速卻對後果一無所知,並稱之為 Proof Indigestion(證明消化不良):AI 只在生成解答與 Lean 驗證上狂飆,理解、評審、寫入教科書幾乎停滯。此前他與 25 位菲爾茲獎得主聯名發表公開信,批評把數學當 benchmark 刷分。OpenAI 隨後回應,宣布在普林斯頓高等研究院設立數學與人工智慧顧問小組,但宣告寫明該小組不就數學上的內部進展提供建議。

Hacker News front pageAI 評分46

AI 數學發現快過學界消化,評論借《路邊野餐》作類比

一篇評論用斯特魯加茨基兄弟的科幻小說《路邊野餐》類比 AI 對科學的衝擊:AI 實驗室正成批產出數學發現,多到要另附導讀,速度遠超學界消化能力。作者稱這類「發現傾倒」會出現在所有能閉環快速驗證的領域;NYU 數學教授 Tristan Buckmaster 提到最近一批 AI 科學論文讓整個研究專案一夜之間被抹掉。文章的核心判斷是答案將越來越先於理解到來,理解成為瓶頸,這或許也是反加速主義少有的有效論據。

X @AIatMeta● 精選AI 評分62

@AIatMeta: We’re exploring how AI can accelerate health science research.

Meta 公布一套由人類主導的健康科學研究框架,由 Muse Spark 1.3 與 Muse Wonder 驅動,可訪問 500 萬份回顧性去標識化電子健康記錄及公開資料。一組醫學專家用該系統開展原創研究,加速假設生成、程式碼執行與論文撰寫,科學決策權仍完全由人類掌握。Meta 同時公開了由此產出的 10 篇研究論文,覆蓋心臟病學、腫瘤學、傳染病、急診醫學等領域。

X @OpenAIAI 評分58

OpenAI 推出 GPT-Rosalind 學術計劃,贊助美國高校實驗室

OpenAI 擴大 GPT-Rosalind 的學術研究存取權限,並推出新的 Rosalind Academic Plan。該計劃面向美國高校中符合條件的實驗室提供贊助訪問,用於理解生物學、探索想法並決定下一步測試什麼。OpenAI 稱,學術研究提出的問題往往需要數年才可能影響人類健康。

Hacker News front pageAI 評分45

數學家 Jeremy Avigad 談 AI 衝擊下的數學研究

數學家 Jeremy Avigad 在客座文章中寫道,過去幾個月 AI 已能輕鬆生成一年前足以發表的數學成果,數學家日常工作流程中相當一部分必然改變。他給出三個應對方向,前兩個是解更難的問題、想更大的思想,並指出目前 AI 攻克的開放問題多是把現有技術拼接而成,靠強化學習訓練的系統長於超人式機敏,卻可能缺少創造力與更高層的戰略思考。

Hacker News front pageAI 評分49

隨筆:AI 瓦解知識社群,私人知識活動難以為繼

一篇隨筆主張,AI 正在瓦解支撐個人智力活動的知識社群,使長期、複雜的私人思考越來越難維持。作者以軟體工程為例:Claude Code 發布一年多,行業討論從編譯器、型別系統轉向 prompt、harness、loop,變得狹窄膚淺;寫部落格、開源庫或設計新程式語言也不再有人類讀者,內容只會被下一代模型消化。文章稱數學領域正經歷類似過程,並認為持續的知識活動需要共享成果與他人認可這兩種無法獨自獲得的輸入。

Hacker News front pageAI 評分41

Wolfram 撰文討論 AI 時代純數學研究的未來

Wolfram 於 2026 年 9 月 28 日發文,回應 AI 不斷解出數學題後“是否還需要人類做數學研究”的討論。他認為現代 AI 的最大價值在於挖掘人類數學知識庫並建立連線,但純數學的核心是引導提問的人類想像力;計算則能通過計算不可約性不斷生成全新結果。他以 1988 年 Mathematica 問世時類似的擔憂作類比,指出工具只是提升了可做的數學層次。

Hacker News front page● 精選AI 評分77

AI 研究者對 AI 導致人類滅絕的機率中位數首次升至 10%

AI Impacts 於 2024 年 12 月調查 1,580 名頂會 AI 研究者,他們對「未來 AI 導致人類滅絕或永久喪失自主」的機率中位數首次升至 10%,高於一年前的 5%。同一調查中「極度糟糕(如人類滅絕)」的中位數仍為 5%,自 2016 年以來未變,而人類水平 AI 出現的中位年份從 2016 年的 2061 年提前到 2042 年。

Hacker News front pageAI 評分43

數學家回應學生焦慮:AI 時代還要不要讀數學博士

數學教授 Álvaro Lozano-Robledo 在客座文章中回應學生的職業焦慮:LLM 的進展正衝擊數學研究與教育,他最擔心的是學界因此失去一整代數學家。不少原本準備讀數學博士的學生正在改換方向,他們追問 AI 是否會超越人類做純數學研究、數學家是否還有用、現在該不該讀博。作者強調目前沒人知道答案,並提醒對高調預測未來的人保持警惕,同時啟動 Human Mathematicians in the Age of AI 訪談專案收集多元意見。

機器之心● 精選AI 評分67

AIPOCH 開源科研平台 Open-Science,推出 .science 研究過程包

AI 科研平台 Open-Science 由 AIPOCH 以 Apache License 2.0 開源發布,同時推出 .science 軟體包格式。.science 把選定的對話分支、檔案版本、Notebook 記錄與驗證證據整合成一個可移植檔案,可分享、遷移到另一臺機器,或作為只讀記錄匯入評審,相容 RO-Crate 標準,資料預設本地儲存,不會自動執行程式碼或恢復憑據。

r/LocalLLaMA top of the dayAI 評分26

愛爾蘭社群學院建 AI 實驗室,求教學方向建議

愛爾蘭一所公立繼續教育學院的教師發帖,稱已獲得資金建成一個小型 AI 實驗室,硬體配置尚可,目標是讓學生學到使用 ChatGPT 之外的實用技能,因此向社群徵集教學方向建議。帖子未透露具體硬體型號、課程安排或學生人數。

Latent Space● 精選AI 評分90

OpenAI 發布 722 篇數學論文,來自未公開內部模型

OpenAI 在公開 GitHub 倉庫發布 722 篇數學手稿,稱其來自一個未發布的內部前沿模型。這批結果出自約 4000 道研究問題的評估,分成 372 個結果族,平均每個結果消耗約 3 小時 ChatGPT Pro 算力,發布內容含論文、證明產物與部分推理摘要,模型本身不公開。OpenAI 稱發布方式諮詢過高等研究院的數學與 AI 獨立顧問組,Sam Altman 稱之為“發現的新紀元”。

Hacker News front pageAI 評分47

Spinellis:AI 將接管認知工作,思考會變成愛好

軟體工程學者 Diomidis Spinellis 在部落格中判斷,AI 將接管大部分認知工作,思考會像狩獵、書法和木工一樣,從謀生手段變成休閒愛好。他給出三個驅動因素:效能更高、成本更低、可用性更高,並提到 OpenAI 內部模型已解決數百個此前未解的數學問題。文中還提到到 2030 年數萬億美元的資料中心投資將帶來更多算力,政府可能以監管和稅收限制 AI,但歷史上的類似舉措未能阻止技術革命;他建議保持靈活、跟上進展,並在工作之外建立有意義的生活。

機器之心● 精選AI 評分89

OpenAI 公開 722 篇 AI 數學手稿,菲爾茲獎得主稱研究領域被摧毀

10 月 6 日,OpenAI 在 GitHub 公開 722 篇 AI 數學手稿,分屬 372 個結果族、含 377 項新證明,約三分之一涉及重要猜想,多數由一款尚未發布的內部模型生成,平均每項結果的計算量相當於 ChatGPT Pro 思考約 3 小時。發布兩天後 OpenAI 因錯誤撤回 3 篇,多位數學家指出部分手稿未必真正證明了所聲稱的結論。

X @AnthropicAIAI 評分55

@AnthropicAI: Working out how best to use AI in mathematics research—and in science more generally—will take time…

Anthropic 承諾投入 500 萬美元的資金、算力與 Claude 存取權限,幫助數學界應對 AI 帶來的巨大變化。這筆資助由 Simons Foundation 以社群驅動的方式管理,用於支援研討會、會議和領域專家的講座。Anthropic 表示,如何最好地把 AI 用於數學乃至更廣泛的科學研究,仍需時間、精力與資源。

機器之心AI 評分42

OpenAI 將 RSI 列為戰略目標,MemoraX 展示記憶驅動自進化

OpenAI 於 9 月 21 日發布官方戰略宣告,把自動化 AI 研究員與遞迴自我改進(RSI)列為下一階段重要目標,並計劃在 2028 年 3 月前打造真正的自動化 AI 研究員;Anthropic 同期披露,截至 8 月 Claude 已在約 26% 的內部 AI 研發工作中承擔主導角色。

Hugging Face blog● 精選AI 評分70

Ai2 開源 AstaBrief 8B 科學報告生成模型

Ai2 開源了 AstaBrief 8B,一個把研究問題與檢索文獻片段轉成帶引用報告的模型,基於 Qwen3-8B 訓練,已作為 Asta 的 Fast 模式上線。官方稱 Fast 模式平均 51.1 秒生成一份報告,比 Claude 驅動的 Thinking 模式 178.5 秒快約 3.5 倍。模型權重、訓練資料與範例工作流一併開放,機構可在自有基礎設施上本地生成報告。

TechCrunch AIAI 評分51

MIT 教授 Turkle 出版新書,探討人類為何把 AI 當人對待

MIT 教授 Sherry Turkle 在 MIT Future Fest 發布新書《Artificial Intimacy》,討論人類為何本能地把機器人和大模型當作有感情的物件。她引用研究稱約 70% 的人與 AI 互動時會保持禮貌,對話超過第一輪後更常說「請」「謝謝」。同校研究員 Pat Pataranutaporn 認為關鍵不是用法對錯,而是「和 AI 對話時我們在變成誰」,他曾在一名 14 歲少年自殺後其母親起訴 Character.AI 的訴訟中擔任專家。

機器之心● 精選AI 評分91

OpenAI 一次公開 722 篇 AI 數學論文,僅 42% 完成形式化驗證

OpenAI 在 GitHub 公開了 722 篇由內部未發布前沿模型生成的數學手稿,涵蓋數論、代數幾何、分析、組合數學等方向,其中約 300 項核心結果完成 Lean 形式化驗證,佔 42%。公司稱模型共嘗試超過 4000 個問題,一項典型成果平均消耗約 3 小時 ChatGPT Pro thinking 算力,但未公開所用模型與提示詞。

The Verge AI● 精選AI 評分83

OpenAI 公布 722 篇論文,未發布前沿模型解開數百數學難題

OpenAI 公開了由一款尚未發布的前沿模型產出的 722 篇論文手稿,稱其中解答了數百個長期懸而未決的數學問題。這批手稿覆蓋 372 個結果族,把相關論文歸入同一組,結果已預期數週才公布。新成立的獨立數學家顧問組 AGMAI 負責對外溝通這些成果。此前數學界對這些突破既感震動也存在爭議,並引發了關於研究倫理與學術規範的討論。

Hacker News front pageAI 評分61

數學界組織批評 OpenAI 一次性發布 700 餘份數學手稿

OpenAI 於 10 月 6 日發布了一個包含 700 多份數學手稿的倉庫,聲稱其中含有多項高知名度數學問題的解答。人類數學協會(Association for Human Mathematics)指出,OpenAI 自稱從中獲得正當性的數學與人工智慧諮詢組織,其最初宣告就明確前沿 AI 公司不應在內部模型上測試高等數學問題,OpenAI 的做法無視了這一核心前提。該協會還提到 OpenAI 正面臨抄襲、版權侵權與商標淡化的訴訟,並呼籲數學家停止與 OpenAI 合作。

The Verge AI● 精選AI 評分87

OpenAI 突然發布大量數學成果,數學家稱需數年消化

OpenAI 本週突然公布了一批數學成果,規模之大讓數十位數學家措手不及,他們用「難以置信」「前所未有」「純粹瘋狂」等詞形容這次投放。多位研究者表示,僅弄清 OpenAI 到底發布了什麼就可能需要數年,更不用說判斷數學家自身在其中處於什麼位置。學界在震驚與興奮之外,也對這批結果的含義和後續影響感到焦慮。

機器之心● 精選AI 評分66

位元組 Seed 成立安全對齊獨立部門,全球招募 10 名 AGI 研究員

字節跳動 Seed 將原 Responsible AI 團隊及部分 Chat 團隊整合,成立獨立的 Alignment & Preparedness 部門,由嚴林負責、向吳永輝彙報,並於 10 月 14 日啟動全球招聘,計劃招募 10 名頂尖 AGI 研究員。新部門聚焦智慧體自主行動時的對齊能力,以及 CBRN 等極限風險的前期防範,推動安全研究直接接入模型的訓練、評估與上線環節,並承諾提供與前沿模型研究同等規格的算力與資源。

量子位AI 評分54

Open Academic Paper Gen 開源:從全文核驗論文引用

GitHub 上新開源專案 Open Academic Paper Gen,用多智慧體工作流把論文初稿生成拆成九個階段,最大特點是在拿到文獻全文後定位相關段落,核驗正文引用是否真被原文支撐,有頁碼時還會標出對應 PDF 頁碼。它從 OpenAlex、Crossref、Semantic Scholar 和 arXiv 檢索文獻,生成證據表後分析趨勢、診斷創新性、列提綱寫作,再做引用核驗與模擬審稿,可匯出 Markdown、LaTeX 與 RIS、BibTeX。

Latent Space● 精選AI 評分69

Periodic Labs 訪談:用物理實驗訓練 AI 科學家,加速材料發現

Periodic Labs 聯合創始人 Liam Fedus 與 Ekin Dogus Cubuk 在一檔播客中介紹了其「合成超級智慧」構想:以真實物理實驗作為強化學習環境,訓練能自主發現新材料的 AI 科學家。這家成立一年的公司正搭建自動化實驗室,希望讓每臺儀器擁有「140 IQ」,並用做科學的完整過程而非僅論文結果來訓練模型。他們認為失敗的實驗可能是最有價值的訓練資料,自主實驗可把數十年的試錯壓縮到數月,目標材料涵蓋室溫超導、磁體與電池。

Hacker News front pageAI 評分67

Anthropic 稱自複製 AI 蠕蟲或數月內出現

Anthropic 週一發布研究報告,稱可自我複製的 AI 蠕蟲可能數月內就具備在 IoT 裝置上擴散的能力。報告稱 90 億引數模型在 9 類硬體中的 8 類上成功部署推理,Gemma4-26B-A4B 分散跑在 15 臺安卓電視盒上僅 0.39 tokens/秒;GLM-5.2 成功向 8 個安卓 15 模擬器節點傳播 Llama3.1-8B,5 次試驗中 4 次全部成功。