The Verge AIAI 評分43
r/opensource 新版規禁止 AI 相關專案
r/opensource 版主發布新投稿規則：凡使用 AI、由 AI 生成或面向 AI 的專案一律不予收錄，稱當下形態的 AI 與該開源社群不相容；新規還限制非英語發帖。規則在評論區引發激烈爭論，並催生出對立的子版 r/trueopensource。版主 Wolvereness 回應稱執行上存在細微差別、可選擇性放行，例如只是附帶 AI 無障礙功能的軟體。
搜尋
依意思最接近的 30 筆
機器之心● 精選AI 評分67
AIPOCH 開源科研平台 Open-Science，推出 .science 研究過程包
AI 科研平台 Open-Science 由 AIPOCH 以 Apache License 2.0 開源發布，同時推出 .science 軟體包格式。.science 把選定的對話分支、檔案版本、Notebook 記錄與驗證證據整合成一個可移植檔案，可分享、遷移到另一臺機器，或作為只讀記錄匯入評審，相容 RO-Crate 標準，資料預設本地儲存，不會自動執行程式碼或恢復憑據。
機器之心AI 評分61
阿里 OpenSandbox 被 AAIF 收錄，成國內首個入選專案
阿里巴巴開源智慧體沙箱 OpenSandbox 正式被國際 AI 開源技術組織 AAIF 收錄，成為首個由中國企業主導進入該體系的專案，同批次入選的還有 Agent Skills。OpenSandbox 將伺服器資源切分為多個沙箱隔離執行智慧體，兼顧啟動延遲、批次吞吐與資源開銷，並支援審計追蹤；阿里內部日均建立沙箱已達百萬量級，2025 年 11 月開源後已有 582 名開發者參與共建。
NVIDIA blogAI 評分48
輝達報告：89% 電信運營商重視開源模型
輝達《State of AI in Telecommunications》報告顯示，89% 受訪者認為開源模型與軟體對公司 AI 戰略重要。運營商看重開源模型的可信任、可控與可定製，用於自主網路、客服等關鍵負載，並把閉源模型留給價值最高的場景；輝達同時發布 300 億引數的 Nemotron 3 Large Telco Model（由 AdaptKey 在開源電信資料集上微調），並提供基於 NeMo 的端到端微調流程。
OpenCode releasesAI 評分43
OpenCode v1.18.35 發布：修復 xAI 工具結果圖片傳遞
OpenCode 發布 v1.18.35，核心改進是新增 canonical redirects，並提供 JSON 與 Markdown 兩種格式的 agent 可讀統計資料。本次修復讓 xAI 的工具呼叫結果可以攜帶受支援的圖片，不支援的圖片格式會被跳過，做法是把 @ai-sdk/xai 升級到 3.0.139。文件方面，Zen 文件新增 Fledge Alpha Free，生態外掛列表加入 opencode-supabase，該版本同時致謝 3 位社群貢獻者。
Hacker News front pageAI 評分67
七位數學家撰文反對倉促用 AI 形式化全部數學
Jeremy Avigad、Kevin Buzzard 等七位數學家聯合發文，反對在 OpenAI 上週發布後興起的「儘快形式化全部數學」呼籲，認為做得不好會造成持久損害、浪費鉅額資源。文中舉例：Anthropic 稱 Claude 用 1300 萬行程式碼、11 天完成費馬大定理的形式化驗證，Buzzard 稱讚成果卻表示不會停下自己手頭的形式化工作；Math, Inc. 試圖劫持 Viazovska 球堆積形式化專案，原團隊最終棄用 AI 程式碼重做。
TechCrunch AIAI 評分64
LibreOffice 宣布預設安裝不加入任何 AI 功能
LibreOffice 背後的非營利組織 Document Foundation 表示，在可預見的未來不會把 AI 加入這款開源辦公軟體。8 月底發布的最新版已重申軟體不含任何生成式 AI 功能，這是刻意設計，以確保使用者文件不被上傳伺服器處理、軟體不依賴網路連線即可執行。該組織稱目前沒有能滿足其全部要求的 AI 整合方案，希望使用 AI 的使用者可自行安裝擴充套件，連線本地 AI 模型。
Simon WillisonAI 評分60
AI 大規模反編譯遊戲，利好儲存也帶來開源風險
獨立遊戲開發者 Popcar 指出，AI 正在推動一波對既有遊戲的大規模反編譯，讓老遊戲更容易被移植、修改，並藉助 WebAssembly 在瀏覽器中執行，利好遊戲儲存。但同樣的能力也意味著任何軟體都可能被反編譯：公司可以竊取競品程式碼，付費遊戲或應用可能在違背作者意願的情況下被開源，而且這不限於老遊戲。作者認為，在主機廠商全面轉向數字版、伺服器關停導致遊戲無法遊玩的背景下，這一進展既令人興奮也令人擔憂。
機器之心● 精選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 家。
Hacker News front pageAI 評分45
OpenAI 數學倉庫撤回 3 項結果，新增 6 項 Lean 形式化
OpenAI 更新了其 GitHub 數學倉庫，撤回了 3 項已收錄的數學結果。同一批更新還新增 6 項 Lean 形式化、修改 19 項，倉庫目前約有 42% 的 top-line 結果完成形式化。維護者 Dan Roberts 公布了這一變動，並表示會繼續補充新的形式化內容，同時記錄發現的勘誤。
Hacker News front pageAI 評分47
開源安全運營平台 Argus 發布，主打 AI 自主回應與 AI 閘道器
開源安全運營平台 Argus 發布，採用 MIT 許可、免費自託管，核心是讓 AI 代理以機器速度檢測並自動阻斷攻擊。它接入 AWS、Azure、GCP、Kubernetes、Okta、Entra、CrowdStrike 等服務，提供 27 個一鍵修復，並支援在 Slack 中一鍵批准或回滾。新版新增自主回應（未人工確認則按定時器自動回滾）、統一 AI 閘道器（用公司持有的金鑰代理 OpenAI 與 Anthropic 呼叫，含模型白名單與預算）以及影子 AI 發現。
Hacker News front pageAI 評分50
開源基準 Parsimony 按語法單元統計 AI 新增程式碼量
Parsimony 是一個開源基準，用來衡量 AI 模型在改程式碼時到底新增了多少程式碼。它複用 DeepSWE、SWE-bench Verified 與 SWE-bench Live 已公開的補丁，統計語句、呼叫、命名、字面量等「編碼單元」而非程式碼行數，並減去被刪除的程式碼，只算淨增量。GPT-6 與 Claude 5.5 尚無公開補丁，作者在自己的訂閱上跑了 3–10 個任務，結果以淺色圓圈顯示、不參與排名。作者也歡迎提交新模型的公開補丁匯出。
機器之心● 精選AI 評分91
OpenAI 一次公開 722 篇 AI 數學論文，僅 42% 完成形式化驗證
OpenAI 在 GitHub 公開了 722 篇由內部未發布前沿模型生成的數學手稿，涵蓋數論、代數幾何、分析、組合數學等方向，其中約 300 項核心結果完成 Lean 形式化驗證，佔 42%。公司稱模型共嘗試超過 4000 個問題，一項典型成果平均消耗約 3 小時 ChatGPT Pro thinking 算力，但未公開所用模型與提示詞。
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 評分39
開源設計工具 Doory 發布：全功能免費、無需帳號、可自託管
開源設計編輯器 Doory 發布，定位為可自託管的免費 Canva 替代：所有功能免費，沒有 Pro 計劃、水印和廣告，也無需帳號即可開始設計。它支援海報、簡歷、幻燈片等模板與空白頁編輯，可匯出 PNG、JPG、SVG、PDF 以及 MP4、WebM、GIF，並提供圖層、蒙版、瀏覽器內背景移除、即時協作、評論與版本歷史。自託管只需 docker compose 三條命令，附帶 10 個起始模板，訪客作品預設儲存在瀏覽器中。
Hacker News front page● 精選AI 評分86
OpenAI 公開內部前沿模型數學成果與 Lean 形式化證明
OpenAI 於 2026 年 10 月 6 日發布由內部前沿模型產出的多項數學結果，以 GitHub 倉庫形式公開，併為其中許多證明提供 Lean 形式化驗證。倉庫同時給出 10 份模型推理摘要、以 ChatGPT Pro 用量折算的算力估算，以及嘗試題目數量的統計，平均每個結果約消耗相當於 3 小時 ChatGPT Pro 思考的算力。
OpenCode releasesAI 評分43
OpenCode 1.19.2 發布：1.x 不再自動推送 2.x 升級
OpenCode 1.19.2 把 1.x 固定在 1.x 發布線上：更新檢查只讀取 npm 上 opencode-ai 的 latest 版本，1.x 安裝不會再被當作常規更新推送到 2.x。升級到 OpenCode 2 需顯式操作，走 /update 中的 2.0 入口或執行 opencode upgrade --major。
量子位AI 評分54
Open Academic Paper Gen 開源：從全文核驗論文引用
GitHub 上新開源專案 Open Academic Paper Gen，用多智慧體工作流把論文初稿生成拆成九個階段，最大特點是在拿到文獻全文後定位相關段落，核驗正文引用是否真被原文支撐，有頁碼時還會標出對應 PDF 頁碼。它從 OpenAlex、Crossref、Semantic Scholar 和 arXiv 檢索文獻，生成證據表後分析趨勢、診斷創新性、列提綱寫作，再做引用核驗與模擬審稿，可匯出 Markdown、LaTeX 與 RIS、BibTeX。
r/LocalLLaMA top of the dayAI 評分40
使用者觀察新模型寫作趨向高資訊密度與生僻詞彙
有使用者在 Reddit 發帖指出，近期開源與閉源新模型（如 GLM 5.3 Flash）的寫作風格正趨向高資訊密度和擴充套件詞彙，用更少字詞表達更多內容，類似 William Gibson 的壓縮文風。作者認為這可能與追求 token 效率有關，但代價是普通讀者難以一眼讀懂，例如輸出中出現 Baudrillardian 這類需要背景知識才能理解的詞。
X @AnthropicAI● 精選AI 評分79
@AnthropicAI: New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Anthropic 前沿紅隊部落格發布研究：與 Theorem Labs 合作，用 Claude 在數週內為一百多個真實開源庫證明安全屬性。形式化驗證過去只能用於小規模程式碼庫或需大量專家時間，AI 模型正讓大規模驗證變得可行。完整研究已在其部落格發布。
NVIDIA blogAI 評分45
NVIDIA 加入歐盟 AI 科研計劃，開放 250+ 開源模型
NVIDIA 加入歐盟委員會在都柏林 AI in Science Summit 上啟動的 AI in Science Enablers 計劃，將向歐洲科研界開放加速計算工具、算力與培訓。NVIDIA 已開源 250 多個模型、250 個資料集與 1400 多個開源專案，包括 Nemotron、BioNeMo、PhysicsNeMo、Earth-2 和 ALCHEMI NIM，可用於 agentic 推理與科學計算。
Hacker News front pageAI 評分69
OpenAI 發起 Patch the Planet，用 AI 幫開源專案修漏洞
OpenAI 在 Daybreak 計劃下推出 Patch the Planet 專案，聯合 Trail of Bits、Calif、HackerOne，用前沿 AI 與安全專家為開源專案驗證漏洞、開發並測試補丁，再與維護者協調披露。所有發現都經人工複核，程式碼與發布節奏仍由維護者掌握；專案還幫團隊補齊測試、fuzzing 與安全工作流。
機器之心AI 評分50
OpenAI 預告 Astra 6.1，主打刪減屎山程式碼
OpenAI 產品負責人 Tibo Sottiaux 發帖預告未來模型會更擅長刪除和簡化程式碼，並在評論中確認 Astra 6.1「coming soon」。負責 coding post-training 的研究員 Rajan Agarwal 轉發該帖，並公開徵集使用者遇到的 sloppy code 與程式碼品質問題。《華爾街日報》此前報導，Astra 6.1 原計劃 10 月發布，因內部安全測試中在權限邊界上表現不穩而被臨時叫停。
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 億次。
OpenCode releases● 精選AI 評分72
OpenCode 2.2.0 發布：桌面端支援外掛，新增 GPT-6.1 Terra
OpenCode 發布 2.2.0 版，桌面端可建立、安裝和共享外掛（實驗性），桌面應用介面也做了重新設計。Sign in with ChatGPT 新增 GPT-6.1 Terra 與 GPT-6.1 Terra Fast 兩個模型，外掛側新增實驗性影像與決策生成 API。破壞性變更包括：@opencode/ai 包根匯出改為 Promise API，Effect API 移至 @opencode/ai/effect；OpenCode GitHub Action 不再發布；
The Verge AIAI 評分45
AI 加速老遊戲反編譯移植，衝擊儲存社群
AI 工具正在加速老遊戲的反編譯與重編譯移植，也讓專注遊戲儲存的社群遭到衝擊。過去一個月，瀏覽器裡的《光環》、iPhone 上的《風之杖》、混合現實中的《任天堂明星大亂鬥》等非常規移植專案高頻走紅。愛好者用 decomps/recomps 逆向拆解遊戲，再為新平台重建；AI 提高了移植速度，卻撕裂了原本緊密的儲存社群。
量子位AI 評分50
範式智慧聯合睿思智聯開源生產級 AI 部署平台模域 ModelSphere
10 月 16 日，範式智慧聯合睿思智聯發布一站式生產級 AI 部署平台模域（ModelSphere），面向企業免費開源，以 Apache 2.0 協議在 GitHub 上線。平台把算力管理、模型部署與執行最佳化整合為統一流程，可統一混合排程華為昇騰、天數智芯、摩爾線程、海光 DCU 等國產晶片，無需為不同晶片重寫底層程式碼。
Hacker News front page● 精選AI 評分83
Claude 為 123 個開源庫生成彙編級形式化證明
Claude 在 123 個真實開源庫的 RISC-V 彙編層面生成了形式化安全證明，作者稱這是首次用 AI 把形式化驗證大規模應用到生產軟體。證明覆蓋所有小於 64 MB 的輸入：在單執行緒靜態二進位制、固定記憶體預算的 RISC-V 執行環境下，程式總能正常退出，不觸發記憶體安全錯誤或斷言失敗。寫證明的過程中 Claude 還發現了數萬億次測試都沒檢出的 bug；
OpenCode releasesAI 評分53
OpenCode 1.19.0 發布，更新改為手動安裝，可升級至 OpenCode 2
OpenCode 發布 v1.19.0，使用者可通過 opencode upgrade --major 升級到 OpenCode 2；TUI 內改用 /update 來安裝更新或完成升級，更新不再自動安裝。本次還允許使用 OpenAI ultrafast 服務層級，並在檢查 PTY 是否存在前先校驗 PTY 連線來源與票據。另有社群貢獻者提交 Exo 用量統計歸屬修復及 Zen 文件條目增刪。
Ars Technica AIAI 評分61
Artcraft 發布七款 Adobe 開源替代，由 Claude Opus 5.5 生成
開發者 Brandon Thomas 用 Anthropic 的 Claude Opus 5.5 生成了七款開源應用，復刻 Adobe 的 Photoshop、Illustrator、Premiere、Lightroom、After Effects、InDesign 與 Acrobat Pro 的介面和工具。Artcraft 去年以「面向藝術家的可控 AI」起步，用於 AI 生成影像與影片的精確後期編輯，本週末宣布轉向這套套件並在 Reddit 公布。