Linux of AI是一個由七個開源專案組成的生態系統,旨在幫助組織構建可移植、可審計、可衡量且不依賴於單一供應商的人工智慧基礎設施。它透過提供行動式本體、策略程式碼、模型替換基準測試、審計日誌、成本測量等工具,解決供應商鎖定、成本不可預測、治理薄弱等問題。該專案採用MIT許可證,所有核心軟體免費開源。
AI 新聞即時情報
即時監測
即時更新
即時追蹤可信來源,保留出處、權限和站內閱讀模式,把噪音壓成可讀情報。
即時更新
2026-07-12
本文深入分析了AI程式碼評審基準的侷限性,指出其未能從第一性原理定義問題,忽略了AI程式碼評審已分化為人類理解和機器驗證兩個不同問題。作者Shrijith Venkatramana認為,基準衡量的是代理指標而非軟體實際成果,並強調了生產結果和嚴重性的重要性。
AgentMint.net是一個研究出版物,幫助商家理解並最佳化AI購物代理如何選擇商品。每個事實宣告都有來源標註,並提供工具如'代理購物就緒度檢查'和'代理選擇訊號資料庫'。
《衛報》全球科技報道團隊正在調查為支撐人工智慧革命而建造的龐大數據中心的影響。他們講述了其報道領域如何日益轉向線下現實。
塔塔諮詢服務(TCS)計劃組建一支多達8900人的前沿部署工程師團隊,並尋求AI收購,押注AI將創造新業務而非破壞外包。CEO K·克里蒂瓦桑否認AI會顛覆外包模式,但AI收入增長從上一季度的28%放緩至13%。TCS每年投入約10億美元用於人才培養和AI普及。
SlimeBallBench是一個新的AI基準測試,讓AI模型在史萊姆足球遊戲中競技,評估其決策和策略能力。
AI專案在演示階段後常常停滯。康fluent的2026年資料流報告顯示,只有32%的組織將代理AI投入生產,資料基礎設施和技能短缺是主要障礙。即時資料管道和治理對於生產級AI至關重要。
近年來,AI資料中心因高能耗和環境問題引發廣泛抗議。從2015年蘋果在愛爾蘭的資料中心專案受阻,到如今美國各地社群反對新建專案,民眾、地方政府和國會都在採取行動。本文回顧了這場鬥爭的起源、現狀及未來走向。
芝加哥大學宣佈,從今年秋季開始,將在一年級法學院課堂上禁止使用手機、平板和筆記型電腦,以應對人工智慧的衝擊,確保學生學會不依賴AI進行批判性和獨立性思考。同時,學校將推行AI韌性教學和倫理使用AI的課程。
AI資料中心需求推動記憶體製造商收入激增,但產能建設滯後可能導致長期高價,若AI需求未達預期,將面臨嚴重衰退。
前沿AI實驗室正從聊天機器人轉向整合系統,模型作為執行時,頻繁釋出強大模型和代理。本週亮點包括OpenAI的GPT-5.6(Sol、Terra、Luna),具備程式化工具呼叫和並行子代理;GPT-Live全雙工音訊;ChatGPT Work用於建立工件;Meta的Muse Spark 1.1擁有百萬token上下文和主動上下文管理;Grok 4.5專注於編碼和知識工作。研究方面,OpenAI審計表明SWE-Bench Pro基準30%任務有問題;Anthropic提出GRAM方法可選擇性移除危險知識;SkillOpt-Lite最佳化代理自我進化;DSpark和Nemotron-Labs-Diffusion改進推理效率。行業新聞包括Lovable融資3億美元,Prime Intellect融資1.3億美元,SambaNova融資10億美元等。
丹麥技術大學的研究團隊將生成式AI模型與量子計算機結合,設計出能與特定蛋白質結合的新型肽,有望加速疫苗開發和個人化免疫療法,尤其適用於研究不足的人群。
本文討論AI代理如何透過自動化任務、提高效率和減少錯誤來變革支付運營領域,並介紹了一個相關的Spotify播客節目。
一項新研究發現,社交平臺上的長篇內容中,有25%完全由AI生成。領英(LinkedIn)和X平臺尤為嚴重,分別有41%和25%的長篇帖子被檢測為AI生成。該研究由AI檢測平臺Pangram進行,分析了超過100萬條帖子。
曾經穩定高薪的軟體工程職業正受到人工智慧的衝擊。工程師們透過學習新技能、專注於基礎知識和組織集體行動來適應。行業面臨裁員、就業不足以及從編寫程式碼轉向審查AI生成程式碼的變化。
Lip Sync AI 是一款免費的AI唇形同步影片生成器,支援上傳照片或影片,新增音訊後可在幾秒內生成完美同步的唇形影片,無需註冊。提供多種付費方案,包括標準版、專業版和一次性積分包,並支援多語言和商用授權。
videogenr.com,一個AI驅動的短影片生成平臺,正在Flippa上出售。該平臺專為製作TikTok和Reels等病毒式短影片內容設計,具有可擴充套件性和強大的盈利潛力。
Runeward是一個開源工具,透過宣告式配置檔案為AI代理提供受治理的執行單元(基於Docker或Kubernetes)。它採用預設拒絕的出站規則、防篡改審計賬本、人工介入策略門控以及成本/迴圈防護欄,支援REST、MCP、CLI和Web儀表板。與普通沙盒相比,它增加了策略執行、審計跟蹤和成本控制等治理層。
一項新的基準測試顯示,來自12個實驗室的18個AI模型的108個測量位置中,有97個位於左傾。結果呈現一致的進步傾向,但在經濟、外交政策和宗教方面存在例外。xAI的Grok模型最接近中心,而許多模型拒絕回答某些問題,影響了得分。
Attestor是一個開源的零信任執行邊界工具,旨在為AI代理操作提供決策點和事後審計記錄。它在代理執行前進行策略檢查、審批驗證和證據審查,返回准入、限制、審查或阻止等決策,並透過客戶擁有的閘道器強制執行,適用於支付、資料訪問、基礎設施變更等多種場景。
Inkfold 是一個專為多 AI 訂閱使用者設計的平臺,可在 ChatGPT、Claude、Gemini、Grok 等工具間共享記憶和上下文,避免重複解釋。它提供智慧、私密或隱身三種保留模式,支援訂閱或按需付費。適用於個人、團隊和組織,提供免費和付費方案。
一個可提示的 AI 代理服務,提供安全護欄和可下載的軟體包。
本文透過一個ARC-AGI謎題實驗,展示了AI如何在沒有規則的環境中自主探索、命名事物、發現數學結構並利用離線推理來高效解決問題。實驗表明,顯式的世界模型比僅依賴神經網路權重更有效。
一篇幽默且批判性的文章,列出了十條負責任地使用AI的規則,警告過度依賴AI和喪失獨立思考的危險。每條誡命都指出了常見陷阱,從使用不明程式碼到向AI詢問問題以顯得聰明。文章最後諷刺地指出,最需要這些建議的人可能會將其貼上到AI中尋求解釋。
一首由人工智慧生成的歌曲預計將在2026年走紅,目前在Spotify上可收聽,引發了廣泛關注。
MSK是一款基於iPhone的AI CTO代理應用,提供架構審查、擴充套件建議和創業策略服務。它模擬了擁有15年以上經驗、參與過300多個專案、服務過50多家初創公司的技術長Moeid Saleem Khan的思維方式。使用者可以透過聊天或語音方式諮詢技術、架構、擴充套件、AI、招聘或產品策略等問題。應用免費試用,無需賬戶,並提供高階訂閱服務。
Tablo是一隻桌面小貓部件,它可以監視你的AI程式設計代理,為你帶來有趣的視覺陪伴。
Nebula Security藉助AI工具VEGA發現Linux核心中存在15年的提權漏洞(CVE-2026-43499),可讓任何登入使用者獲取root許可權。該漏洞自2011年起預設存在於幾乎所有主流發行版中,已在4月修復,但補丁分發不均。
AsyncFutures 是一個 Ruby gem,它提供了統一的 API 來在 Ractors、Threads 和 Fibers 上執行併發程式碼,使得測試不同原語的效能更加容易。該 gem 圍繞一個靈活的 Future 類構建,所有併發原語返回的 Future 物件具有相同的 API 和行為。作者強調這是透過手動實踐學習併發程式設計的結果,並非由 AI 生成。gem 在 CRuby 4.0 上達到 100% 的行和分支覆蓋率,並以 0BSD 許可釋出。
過去五年,Alphabet、亞馬遜、Meta、微軟和甲骨文這五大美國科技公司為擴建AI資料中心,債務總額增加了約3500億美元。儘管投資者對AI前景看好,但亞馬遜本週250億美元的債券發行遇冷,顯示市場對鉅額投資的擔憂。甲骨文因AI支出增加被標普下調評級,而英特爾因債務和戰略失誤陷入困境。大型雲服務商今年計劃投入高達7250億美元,主要投向資料中心和輝達晶片。