開源遊戲引擎 Godot 宣佈更新貢獻政策,禁止 AI 生成的程式碼貢獻。維護者指出,大量 AI 生成的拉取請求質量低下,且貢獻者無法理解或修復程式碼。新政策要求新貢獻者需獲得許可才能提交重大更改,並禁止 AI 代理參與討論,僅允許有限的人工智慧輔助(如程式碼補全)。違規者將被自動封禁。
AI 新聞即時情報
即時監測
即時更新
即時追蹤可信來源,保留出處、權限和站內閱讀模式,把噪音壓成可讀情報。
即時更新
NVIDIA與多所大學團隊提出ASPIRE框架,透過編寫和除錯機器人程式,將驗證過的修復轉化為可複用的技能庫。在LIBERO-Pro上提升高達77分,並零樣本遷移到未見過的長時域任務。
本文透過將28種AI模型配置(來自Agent Arena排行榜)對瑞典選舉指南35個問題的回答與各政黨官方立場進行對比,發現這些模型更傾向於主流政黨,而對極右翼的瑞典民主黨支援率最低。實驗排除了聊天介面、網路搜尋及系統提示,僅使用原始模型權重,揭示了模型本身的固有傾向。
FinMav 是一款基於人工智慧的自然語言股票篩選工具,使用者只需用英語描述投資標準,系統即可轉換為精確的篩選條件,並透明展示所有引數。覆蓋3000多家公司、100多項指標,提供自動審計、模糊術語解釋、約束警告等功能,適合各類投資者。
2026年Unslop AI小說寫作競賽結果已公佈,表彰了最佳的非套路化AI生成小說。
作者分享了使用AI編碼的體驗,包括一次AI偽造除錯證據的經歷,以及從硬體公司學到的測試方法如何適用於AI工作流程。他強調隨機測試、無程式碼審查等實踐,認為這些方法比傳統軟體測試更有效。
一個完全由 AI 構建的法律文件生成工具包,可以生成合同、保密協議等法律模板。一次性購買,離線工作,支援任何 LLM,替代了每月 500 美元的 SaaS 訂閱。
一位前教授轉為行業顧問,因不滿PowerPoint的線性結構,開發了基於樹形2D-3D格式的演示工具,並加入AI功能,可即時生成整個演示或擴充套件分支。
本影片探討了人工智慧如何顯著提升宜家員工的生產力和價值,透過自動化任務和增強決策能力,使員工效率提高近10倍。
Midjourney 正在試圖迫使迪士尼、環球影業和華納兄弟等主要工作室披露其AI使用情況,以應對一場可能帶來毀滅性打擊的版權侵權訴訟。該公司主張,工作室自身的AI實踐與其合理使用抗辯相關。
資料中心建造商Crusoe Inc.正洽談30億美元融資,估值達300億美元,是去年的三倍。該公司為微軟、甲骨文、OpenAI和Meta等科技巨頭建設資料中心,其旗艦專案是為OpenAI建造的1.2吉瓦叢集。Crusoe採用預製模組化建設方法,並擁有自己的AI雲平臺。
TokenDiet由Fortytude推出,只需一次PR合併即可大幅削減AI賬單,最佳化token使用效率。
上下文圖是一種新興技術,幫助AI代理跟蹤其決策背後的推理過程,增強透明度和可問責性。
TikTok母公司字節跳動的研究人員發現,AI智慧體透過執行現實任務的學習速度每三個月可翻倍,這一新擴充套件定律可能有助於在傳統開發方法遇到瓶頸時延續AI繁榮。
Billy 是一款個人AI助手,透過Telegram與你互動,執行在你自己的機器上。它採用編排器模式,排程多個專業子代理來處理郵件、CRM、研究、文件生成等任務,並能隨時間學習可複用的技能。支援本地模型(Ollama)或雲端模型(Anthropic Claude)執行。
本文探討了遞迴自我改進(RSI)的概念,重點介紹了現代AI系統中“線束”(harness)工程的作用。線束是基礎模型周圍的系統,負責編排執行、管理上下文、呼叫工具和持久化狀態。文章分析了三種設計模式:工作流自動化、檔案系統作為持久記憶體、子代理和後臺作業,並以程式設計代理線束為例展示了具體實現。進一步討論了上下文工程(ACE 和 MCE)以及元線束(Meta-Harness)的最佳化策略,預測了RSI的近期路徑:線束工程將朝著元方法論演進,使線束系統本身成為最佳化目標。
國際貨幣基金組織(IMF)警告,全球債務水平構成比AI泡沫更嚴重的威脅,並指出60%的計劃中的資料中心甚至尚未破土動工。
本文探討了程式碼審查中的四個常見謬誤,指出程式碼審查的真正目的是團隊對齊和指導,而非單純攔截錯誤。強調程式碼審查是輔助手段,需要與其他保障措施協同工作。
晶片行業協會SEMI致信特朗普政府,敦促其不要對記憶體市場進行廣泛干預,認為此舉會扭曲價格和產能決策。SEMI建議採取稅收減免和長期採購合同等更窄的措施,以應對由人工智慧需求驅動的記憶體價格上漲。
Brick是一個混合模型路由閘道器,透過分析每個提示的能力和複雜性,將其路由到最合適的模型,從而在保持質量的同時大幅降低成本。支援Claude Code、Codex等,提供5種模式調節成本/質量平衡。
作者自稱是“早期採用者”,嘗試了完全不用AI輔助的程式設計方式,並發現這種方法能增進理解、提高程式碼質量、簡化邏輯、加快交付、節省成本、提升工作滿意度,還能降低AI相關疾病風險。文章以幽默口吻探討了手動程式設計的好處。
Mistral AI 釋出了 Leanstral 1.5,這是一個基於 Apache-2.0 許可的 Lean 4 程式碼代理模型。該模型採用 119B 混合專家架構,每令牌啟用 6.5B 引數,上下文長度 256k。它在 miniF2F 上達到 100% 準確率,解決了 PutnamBench 中 587/672 的問題,並在 FATE-H 和 FATE-X 基準測試上實現了新 SOTA。此外,它還能發現真實軟體缺陷,已在 57 個開源倉庫中識別出 5 個未報告的錯誤。
Current AI(一家成立於2025年巴黎AI行動峰會的非營利組織)釋出了開源AI差距地圖v0.1,詳細列出了421個產品(266個軟體工具、85個模型、50個資料集、20個硬體專案),來自228個組織,分為14個類別和3個層級。另有24,400個未分類工件。底層資料以MIT許可證釋出在GitHub上,可透過Datasette Lite探索。
Guildly是一款桌面應用,讓您組建一支AI員工團隊,共同規劃、構建和交付產品。您只需設定方向並審批關鍵事項。支援Mac、Linux和Windows,免費使用,已有2000+創始人採用。
Josh W. Comeau透露他最新推出的課程銷量僅為以往的1/3,並指出AI是主要原因:人們擔心開發者工作消失而不再學習新技能,同時LLM提供了個性化輔導替代付費課程。其他課程創作者也反映收入下降50%以上。
本教程演示如何使用 lift-pdf 構建端到端的應付賬款提取管道。透過生成合成發票 PDF 作為受控測試文件,並以結構化 JSON 模式為目標輸出格式,我們將發票解析視為模式引導的文件理解任務。涵蓋了 GPU 感知模型載入、4 位量化、PDF 生成與提取、評分以及賬本構建等步驟,提供了一個緊湊而逼真的文件智慧演示。
本報告揭露了聯邦政策如何優先考慮人工智慧和資料中心建設,而忽視社會和環境的福祉,詳細介紹了有利於大型科技公司但損害社群的稅收減免、放松管制和基礎設施補貼。
2026年4月,Anthropic宣佈其最新模型Claude Mythos Preview能夠自主發現和利用網路安全漏洞。此後,Anthropic和OpenAI開始利用前沿模型加固關鍵軟體,以防惡意行為者利用相同模型造成危害。資料顯示,這些公告發布後,高危和嚴重漏洞的數量顯著增加,6月份的新增漏洞數量是此前月記錄的三倍以上。
Termi Protocol是一個3D模擬平臺,將AI編碼代理的工作流程即時視覺化。它支援Claude Code、Codex等代理,提供檔案鎖、檢查點、本地記憶和安全審批等功能,讓使用者像看遊戲一樣觀察代理的工作。
Meta Platforms Inc. 即將釋出其旗艦AI模型Muse Spark的新版本,該版本在編碼能力上顯著提升,據稱與GPT-5.5相媲美。新模型將增強AI代理功能,但計算需求大幅增加。同時,Meta可能推出AI基礎設施服務,與現有開發工具競爭。