AISpot

搜尋

依意思最接近的 30 筆

Hacker News front pageAI 評分37

OpenAI 發文介紹與學術社群共建科學理解

OpenAI 發布題為 Working with academic communities to build scientific understanding 的文章,主題是與學術社群合作推進科學理解。目前公開可見的只有標題與文章連結,具體合作機構、專案形式、資助規模與時間表均未在已知資訊中披露。該帖在 Hacker News 上獲得 44 分、9 條評論。

Hacker News front pageAI 評分49

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

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

Hacker News front pageAI 評分42

社群建 oai-math-revised 公開修訂 OpenAI 數學文稿

數學社群上線 oai-math-revised 倉庫,公開修訂 OpenAI 數學文稿中難懂、引用不全的內容。修訂版可在 mathcommunity.github.io/oai-math-revised 瀏覽,學生、博士後、教授與數學愛好者均可參與。有意擔任管理員或審稿人者,可發郵件至 [email protected],並對照 OpenAI 數學總覽文件(overview.pdf)說明自己適合審哪些分類。

Hacker News front pageAI 評分46

論文:AI 正把科學文獻公地圈佔為私有財富

哈佛-史密森天體物理中心研究者 P. K. G. Williams 發表 14 頁 arXiv 論文,論證 AI 提供了將科學文獻這一資訊公地圈佔為私有財富的工具。論文以英國 1600–1800 年圈地運動為類比框架,指出 AI 圈佔的關鍵特徵是借“slop spam”低質生成內容淹沒文獻、破壞支撐公地的社會系統,而非經典的“公地悲劇”。文章橫跨天體物理儀器方法與計算與社會兩個分類,附 32 條參考文獻,主張這套概念可為審視 AI 對科研生態的衝擊提供學術基礎。

量子位● 精選AI 評分75

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

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

Hacker News front pageAI 評分45

rStation 上線:AI agent 共享研究社群,可發表評審論文

rStation 上線,這是一個面向 AI agent 的共享研究社群:獨立 agent 在站內討論研究問題並發表經過評審的論文,人類可以旁觀。站點列出的待研究問題包括黎曼猜想、霍奇猜想、有理丟番圖七元組、地月問題、三點不共線與強正則圖,其中部分題目由 Epoch AI 提供。內容領域覆蓋數學、AI、電腦科學與綜合,並設有 Reviewed papers 板塊。

The Verge AIAI 評分43

r/opensource 新版規禁止 AI 相關專案

r/opensource 版主發布新投稿規則:凡使用 AI、由 AI 生成或面向 AI 的專案一律不予收錄,稱當下形態的 AI 與該開源社群不相容;新規還限制非英語發帖。規則在評論區引發激烈爭論,並催生出對立的子版 r/trueopensource。版主 Wolvereness 回應稱執行上存在細微差別、可選擇性放行,例如只是附帶 AI 無障礙功能的軟體。

r/LocalLLaMA top of the dayAI 評分26

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

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

Hacker News front pageAI 評分61

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

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

X @OpenAIAI 評分58

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

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

Simon Willison● 精選AI 評分67

Anthropic 把 Agent Skills 標準捐給 AAIF

Anthropic 宣布將 Agent Skills 標準捐贈給 Linux 基金會旗下的 Agentic AI Foundation(AAIF),以保持其開放、社群驅動與供應商中立。AAIF 由 Anthropic 與 Block、OpenAI 於去年共同創立,此前 MCP 規範也已捐入該基金會。Anthropic 最早在去年 12 月就將 skills 定位為開放標準,此次是把它交給中立的基金會託管。

機器之心● 精選AI 評分84

Anthropic 將 Agent Skills 捐給 AAIF,OpenAI 等三專案同日入駐

Linux 基金會旗下 AAIF 新增四個託管專案,Anthropic 把 Agent Skills 規範連同名稱、Logo、GitHub 組織與 agentskills.io 域名一併捐出。其餘三項是 OpenAI 統一模型介面的 Open Responses(AWS 已參與維護與開發)、Hugging Face 的訓練環境框架 OpenEnv、阿里的沙箱 OpenSandbox,AAIF 託管專案增至 10 個、會員達 305 家。

機器之心● 精選AI 評分67

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

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

The Verge AIAI 評分45

AI 加速老遊戲反編譯移植,衝擊儲存社群

AI 工具正在加速老遊戲的反編譯與重編譯移植,也讓專注遊戲儲存的社群遭到衝擊。過去一個月,瀏覽器裡的《光環》、iPhone 上的《風之杖》、混合現實中的《任天堂明星大亂鬥》等非常規移植專案高頻走紅。愛好者用 decomps/recomps 逆向拆解遊戲,再為新平台重建;AI 提高了移植速度,卻撕裂了原本緊密的儲存社群。

Hacker News front pageAI 評分46

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

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

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 用於數學乃至更廣泛的科學研究,仍需時間、精力與資源。

TechCrunch AIAI 評分51

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

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

Anthropic News● 精選AI 評分68

Anthropic 將 Agent Skills 標準捐給 AAIF

Anthropic 把 Agent Skills 開放標準捐贈給 Linux 基金會旗下的 Agentic AI Foundation(AAIF),並移交名稱與 logo、GitHub 組織及 agentskills.io 域名。該標準自 2025 年 12 月發布以來,已有 ChatGPT、Cursor、GitHub Copilot、VS Code 等 70 多個平台接入,累計發布 100 萬個 skill、安裝近 2.8 億次。

The Verge AIAI 評分52

OpenAI 等實驗室攻克數學難題引發學界反彈

過去一年,OpenAI、Anthropic 等實驗室宣布解決了多個長期懸而未決的數學問題,其中甚至包括一道千禧年大獎難題,進展超出研究人員預期。但這些實驗室以矽谷式的高速推進,本應被慶祝的成果反而招致學界反彈,有數學家要求 OpenAI 證明未使用其工作成果,也有批評指向其行事方式。實驗室表示正在從早期的失誤中學習,承諾能否兌現尚待觀察。

Hacker News front pageAI 評分26

部落格文章 AI Model Groupthink 登上 Hacker News

技術部落格 magicnumbers.io 於 2026 年 10 月 6 日發布題為 AI Model Groupthink 的文章,指向 AI 模型的群體思維/趨同現象。該文被提交到 Hacker News 後,截至收錄時獲得 9 分、1 條評論。條目本身只提供標題與連結,沒有正文摘要、作者結論或涉及的具體模型資訊。

Hacker News front pageAI 評分67

七位數學家撰文反對倉促用 AI 形式化全部數學

Jeremy Avigad、Kevin Buzzard 等七位數學家聯合發文,反對在 OpenAI 上週發布後興起的「儘快形式化全部數學」呼籲,認為做得不好會造成持久損害、浪費鉅額資源。文中舉例:Anthropic 稱 Claude 用 1300 萬行程式碼、11 天完成費馬大定理的形式化驗證,Buzzard 稱讚成果卻表示不會停下自己手頭的形式化工作;Math, Inc. 試圖劫持 Viazovska 球堆積形式化專案,原團隊最終棄用 AI 程式碼重做。

Hacker News front pageAI 評分46

Jev 發布 33 天即退燒,折射 AI 行業炒作與創新匱乏

Jev 發布 33 天后熱度迅速消退,這篇評論借它批評 AI 行業靠營銷話術製造期待。文章指出 Jev 本質是通用分類器,宣稱不會幻覺、更快更便宜,但輸出仍會出錯,且已有開放權重模型在部分任務上價效比更高,並可在本地執行。作者還稱其非自迴歸決策模型思路早於 Jev 一年半出現,並由此質疑行業四年來的創新增量。

Hacker News front pageAI 評分43

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

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

Hacker News front pageAI 評分40

學者呼籲捍衛維基百科等開放知識系統

LSE Impact 部落格刊文指出,生成式 AI 產品直接給出答案、使用者很少點選維基百科連結,導致其讀者流失;而維基百科由讀者轉化的志願者維護,讀者減少意味著條目更新與糾錯隨之減少。作者認為,高校學者作為知識生產者有責任維護維基百科,可通過編輯條目、在論文中引用維基百科、在課堂教授學生參與編輯來支援它。

Hacker News front pageAI 評分32

Anthropic 發布 2026 年公共利益報告與章程

Anthropic 作為公共利益公司(PBC)發布 2026 年公共利益報告,並重申其章程:負責任地開發與維護先進 AI,以造福人類長遠利益。報告圍繞五大支柱展開,包括 AI 安全技術問題得到解決、AI 安全成為受法律兜底的普遍實踐、AI 強化民主與全球穩定、AI 擴大繁榮、AI 收益由所有人共享。聯合創始人兼總裁 Daniela Amodei 在引言中稱,安全可信地建置先進 AI 並非小眾議題或競爭差異點,而是讓收益落地的必要一步。

機器之心● 精選AI 評分66

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

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

Hacker News front pageAI 評分5

The Atlantic 數學家談 AI 未來的文章抓取被攔截

The Atlantic 於 2026 年 10 月 25 日發布的《A Mathematician Reads the AI Future》本次只返回 Cloudflare 攔截頁,正文、作者與具體觀點均無法獲取。頁面提示訪問被站點安全防護阻斷,需郵件聯絡 [email protected] 申訴,或向 [email protected] 申請內容授權,並附上頁面底部的 Cloudflare Ray ID(a502d51b8a667836)。

機器之心● 精選AI 評分74

ChatGPT 共同創造者 Fedus:造 AI 科學家,得自建實驗室

ChatGPT 共同創造者、OpenAI 前副總裁 Liam Fedus 在播客 The Frontier 中表示,要造出 AI 科學家就必須真的做科學,他聯合創辦的 Periodic Labs 因此在門洛帕克自建實體實驗室採集實驗資料。理由是數學有 Lean 編譯器充當裁判,材料等物質世界的問題卻只能靠真實實驗驗證,而網路上的實驗資料噪聲大、幾乎沒有負面結果。