AISpot

搜尋

依意思最接近的 27 筆

Simon Willison● 精選AI 評分67

Anthropic 把 Agent Skills 標準捐給 AAIF

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

Hacker News front pageAI 評分72

Linus Torvalds 發布首個 LLM 輔助核心補丁系列

Linus Torvalds 發布了首個由 LLM 輔助編寫的補丁系列,共 10 個補丁,用於解決一個長期存在的問題,已提交核心郵件列表評審。該系列改進 folio 查詢:識別出熱 folio 後延遲到 RCU 週期之後再釋放,使 folio 資料訪問本身也能在 RCU 保護區內完成,快速路徑無需取引用計數,在 read() 密集的基準測試中帶來約一個數量級的加速。不過評審已指出程式碼存在競態條件,仍需繼續修改。

X @AnthropicAI● 精選AI 評分62

Anthropic 推出 Cyber Mission,保護關鍵基礎設施與開源軟體

Anthropic 宣布啟動 Anthropic Cyber Mission,一項旨在保護關鍵基礎設施與開源軟體的新計劃。該訊息由 Anthropic 官方帳號發布,並附官網公告頁面 anthropic.com/news/anthropic-cyber-mission;公告未披露具體投入金額、時間表或合作機構。

Hacker News front pageAI 評分62

西蒙斯基金會聯合 Anthropic、OpenAI 出資 1500 萬美元支援數學界

西蒙斯基金會與 Anthropic、OpenAI 共同出資 1500 萬美元,幫助數學界應對 AI 在該領域的快速興起。基金會負責管理與發放這筆資金,包括公開徵集提案,用於資助工作坊和專案,幫助研究者評估近期的 AI 輔助成果、學習使用新工具、交流看法並形成 AI 使用的集體標準。Anthropic 和 OpenAI 還將向受資助研究者提供 AI 工具與算力,範圍從數學擴充套件到基礎科學。該基金會曾資助 Lean 證明助手的開發,是機器學習用於科學的早期支持者。

TechCrunch AIAI 評分64

LibreOffice 宣布預設安裝不加入任何 AI 功能

LibreOffice 背後的非營利組織 Document Foundation 表示,在可預見的未來不會把 AI 加入這款開源辦公軟體。8 月底發布的最新版已重申軟體不含任何生成式 AI 功能,這是刻意設計,以確保使用者文件不被上傳伺服器處理、軟體不依賴網路連線即可執行。該組織稱目前沒有能滿足其全部要求的 AI 整合方案,希望使用 AI 的使用者可自行安裝擴充套件,連線本地 AI 模型。

The Verge AIAI 評分47

SpaceXAI 成為 Omarchy 基金會創始贊助方,捐 150 萬美元 Grok 額度

SpaceXAI 宣布加入監管 Linux 發行版 Omarchy 的 Omacom 基金會,成為創始企業贊助方,並捐贈價值 150 萬美元的 Grok token。據 David Heinemeier Hansson 的博文,這批 token 主要用於加速開發、審查程式碼和修復 bug。Hansson 是 Ruby on Rails 的創造者、Basecamp 聯合創始人,Omarchy 是他主導且頗具爭議的 Linux 發行版專案。

X @OpenAIAI 評分55

OpenAI 捐 500 萬美元支援數學家研究 AI 成果

OpenAI 宣布向 Simons Foundation 的一項新計劃出資 500 萬美元,用於幫助數學家審視、理解並推進 AI 產出的研究結果,包括 OpenAI 近期公開發布的成果。這筆資金由 Simons Foundation 管理與發放,將支援相關工作坊、會議和專項專案。OpenAI 還將向該基金會資助的研究者提供自家模型與算力的存取權限。

機器之心● 精選AI 評分74

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

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

Anthropic News● 精選AI 評分73

Anthropic 啟動 Cyber Mission,免費掃描開源漏洞並支援關鍵基礎設施防禦

Anthropic 啟動長期計劃 Cyber Mission,首先聚焦關鍵基礎設施與開源軟體兩個方向的防禦。其中,關鍵基礎設施防禦計劃(CIDP)把前沿 Claude 模型、駐場工程師與威脅研究交給守護電力、水務、交通等運營技術(OT)的供應商,首批夥伴包括 CrowdStrike、Dragos、Palo Alto Networks、Rockwell、PwC 等 11 家。同時推出的 OSS Scanner 使用其最強模型為開源專案免費定期掃描漏洞;

Hacker News front pageAI 評分32

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

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

TechCrunch AIAI 評分63

Anthropic 承諾捐出 5% 股份設立公益基金

Anthropic 宣布設立「公益基金」,並承諾向該基金捐出公司 5% 的股份;該基金是公司內部的全資實體。公司估值每上漲 50%,它還可選擇追加 2% 的股份。資金用途可能包括向傳統非營利組織大額捐贈,或直接向特定人群發放;針對 AI 對就業的影響,Anthropic 已投入 2 億美元研究,並表示可能需要更大膽的做法。基金的結構與治理細節將在未來幾個月公布。

X @ggerganovAI 評分45

llama.cpp 登上 Windows 活動舞臺,作者期待本地 AI 普及

llama.cpp 作者 Georgi Gerganov(@ggerganov)稱,llama.cpp 出現在了 10 月 7 日 Windows 活動的主舞臺上。他表示軟體與硬體棧終於走到一起,社群過去多年的努力得到體現,並期待更多使用者擁抱本地 AI。推文未說明該活動的具體內容,也未提及 llama.cpp 在其中的展示形式。

Cloudflare blog (AI)AI 評分42

Cloudflare 向 30 家非營利組織提供 750 萬美元額度

Cloudflare 宣布已選出首批 30 家非營利與公共利益組織,向其提供總額超過 750 萬美元的開發者服務額度,每家最高 25 萬美元。這些組織用 Cloudflare 的 Workers AI、AI Gateway 等服務建置自動化工具,涵蓋心理健康、地方新聞、人權等領域。Cloudflare 稱其無伺服器架構和 AI Gateway 可降低執行成本並控制模型呼叫費用。

Hacker News front pageAI 評分66

Anthropic 設立公益基金,承諾 5% 股份並隨估值遞增

Anthropic 宣布把部分股份投入新設的 Anthropic Public Benefit Fund,初期承諾 5% 股份(待股東批准),公司估值每較基準上漲 50%,董事會可酌情再追加 2%。該基金為全資 LLC,所持股份不用於美國境內外的遊說或政治捐款;疊加聯合創始人 80% 股權捐贈承諾與員工配捐計劃,約 20% 股份將用於公共利益。Anthropic 此前已投入 2 億美元研究 AI 對勞動力市場的影響,基金未來可用於大額捐贈或向特定人群直接發放。

TechCrunch AIAI 評分70

Lambda 擬 IPO 前融資 40 億美元,估值 145 億

AI 雲服務商 Lambda 正以 145 億美元投前估值融資最高 40 億美元,由 Coatue 和 Blackstone 領投,可能是 2027 年 IPO 前的最後一輪私募。據投資人信,其積壓訂單從 6 月的 150 億美元增至 9 月的 500 億美元,其中 350 億美元來自 8 月底與 Anthropic 簽署的協議,估值因此高度依賴 Anthropic 的持續付款能力。資料中心建設主要靠債務融資,Lambda 上週剛額外融得 10 億美元;

Hacker News front pageAI 評分43

Greg Kroah-Hartman 在 Kernel Recipes 2026 談 LLM 時代的安全

Linux 核心穩定分支維護者 Greg Kroah-Hartman 在 Kernel Recipes 2026 發表題為《Security in the LLM age》的演講,影片時長 56 分 51 秒,於 2026 年 9 月 29 日發布在 Kernel Recipes 的 YouTube 頻道,目前播放量約 9,566 次、193 個贊、32 條評論。該頻道訂閱數 8.1K,影片採用 Creative Commons 署名許可,部分語言的音軌為自動生成。

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 本教科書的大部分內容。

TechCrunch AIAI 評分65

Pluto Security 融資 4200 萬美元,監控企業 AI 工具風險

Pluto Security 結束隱身狀態,宣布獲得 4200 萬美元融資,含 Jump Capital 領投的 3400 萬美元 A 輪與 TLV Partners 領投的 850 萬美元種子輪。其平台監控員工使用的 AI 工具、agent、MCP 伺服器與擴充套件元件,並可在 agent 執行中攔截越權操作或注入指令要求確認。CEO 稱新 AI 工具發布兩小時內就會出現在企業環境裡,客戶中約 60% 的風險來自非開發者 vibe coding 出的應用,財務部門最多;

Hacker News front pageAI 評分37

新工具追蹤 AI 領袖影片言論,Amodei 累計 54 條

有人做了一款工具,追蹤 AI 行業領袖在影片中的公開表態,並展示他們觀點隨時間的變化。目前收錄了 Dario Amodei(累計 54 條)、Alex Karp(51 條)、Marc Andreessen(49 條)、Sam Altman(45 條)、Palmer Luckey(40 條)、Satya Nadella(23 條)、Elon Musk(21 條)、Yann LeCun(6 條)等人,頁面同時標註本週新增條數,例如 Alexandr Wang 本週有 5 條。

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

Hacker News front pageAI 評分69

OpenAI 發起 Patch the Planet,用 AI 幫開源專案修漏洞

OpenAI 在 Daybreak 計劃下推出 Patch the Planet 專案,聯合 Trail of Bits、Calif、HackerOne,用前沿 AI 與安全專家為開源專案驗證漏洞、開發並測試補丁,再與維護者協調披露。所有發現都經人工複核,程式碼與發布節奏仍由維護者掌握;專案還幫團隊補齊測試、fuzzing 與安全工作流。

X @AnthropicAI● 精選AI 評分63

Anthropic 設公益基金,約 20% 股份用於公益

Anthropic 宣布把部分股份投入新設立的全資實體 Anthropic Public Benefit Fund,初始注入 5% 股份。公司估值每較既定基準上漲 50%,可再追加最多 2%,具體由董事會酌情決定。加上聯合創始人已承諾捐出 80% 股權、約半數員工參與自成立以來的配捐計劃,合計約 20% 的股份被承諾用於公益。

Hacker News front pageAI 評分43

Mozilla 推出 Firefox Enterprise,支援 AI 工具管控與原生 DLP

Mozilla 發布 Firefox Enterprise,為受監管與安全敏感組織提供本地部署的瀏覽器治理。功能涵蓋集中策略控制、外部連線與遙測管控、可按域名告警或阻斷的原生 DLP、AI 工具的允許/限制/停用開關、SIEM 事件與審計匯出、Lockdown Mode 以及組織級擴充套件治理,並附帶私有分診與明確回應時限的專業支援。

llama.cpp releasesAI 評分55

llama.cpp 新增 Flint 模型支援,多平台建置同步更新

llama.cpp 建置 b11803 合併了對新模型 Flint(FlintForCausalLM)的支援,該提交由 Codex 協助完成,合作者包括 Hugging Face 的 Sigbjørn Skjæret。同版本的預編譯產物覆蓋 macOS/iOS、Linux、Android、Windows 與 openEuler,包含 CUDA 12/13、ROCm 10.0、Vulkan、SYCL、OpenVINO 等後端。