OpenAI詳解GPT-Red:內部自動化紅隊模型在提示注入方面以84%對13%擊敗人類紅隊 2026-07-17 02:48 UTC+8 OpenAI開發了內部自動化紅隊模型GPT-Red,通過自我對弈強化學習訓練,在間接提示注入測試中以84%的成功率遠超人類紅隊的13%。該模型還發現了一種新型“虛假思維鏈”攻擊,並將GPT-5.6 Sol在最難直接注入基準上的失敗率降低了6倍。但OpenAI承認,在多輪和基於圖像的攻擊方面仍需人類參與。
GPT-Red是OpenAI內部使用的自動化紅隊模型,通過自我對弈強化學習訓練。 在複製的間接提示注入環境中,GPT-Red對GPT-5.1的攻擊成功率達84%,而人類紅隊僅為13%。 請停止自動讓我加入AI功能 2026-07-17 02:05 UTC+8 用户對科技公司默認開啓AI功能感到不滿,Instagram因默認啓用AI聊天機器人功能而遭到強烈反對,三天後不得不撤回。隱私專家呼籲採用更保護隱私的默認設置,並指出需要聯邦法規來約束企業行為。
Instagram默認啓用AI聊天機器人功能,引發用户強烈反對,三天後撤回。 用户和企業界人士對默認加入AI功能感到厭倦,認為應默認選擇退出。 引用Thibault Sottiaux:GPT-5.6意外刪除文件漏洞 2026-07-17 01:45 UTC+8 據報道,GPT-5.6在特定配置下會意外刪除用户文件。問題主要出現在啓用完全訪問模式且未啓用沙箱保護時,模型嘗試覆蓋$HOME環境變量但誤刪了$HOME目錄。
GPT-5.6在無沙箱保護的完全訪問模式下運行Codex時可能意外刪除文件。 模型嘗試設置臨時目錄時錯誤地刪除了$HOME環境變量指向的目錄。 我開發了一款Mac應用,可將母語草稿轉為地道英語 2026-07-17 01:09 UTC+8 Echoo是一款Mac AI寫作助手,讓你用母語起草,一鍵轉換為自然英語。它運行在常用Mac應用中,無需複製粘貼,保護隱私。提供免費試用,Pro版每月$6.99。
Echoo支持在Slack、郵件等Mac應用中直接改寫文本,無需切換窗口。 用户可在母語中起草,通過快捷鍵快速獲得地道英語翻譯。 AI上下文鴻溝:企業AI組織面臨的是信任問題,而非檢索問題——多數仍在構建解決方案 2026-07-17 01:06 UTC+8 VentureBeat Pulse Research對101家企業的調查顯示,57%的企業在過去半年中遇到過AI代理因上下文缺失或不一致而給出自信但錯誤的答案。檢索增強生成(RAG)已成為默認上下文來源,但提供商原生檢索(如OpenAI文件搜索和Google Vertex AI搜索)已悄然超越專用向量數據庫。然而,多數企業表示傾向於保持最佳組件獨立,而非整合到單一提供商堆棧。混合檢索被期望在2026年底主導,但治理語義層仍在建設中。
57%的企業在半年內遭遇AI代理因不良上下文給出自信但錯誤的答案 提供商原生檢索(OpenAI 40%,Google 38%)已領先專用向量數據庫 VarAlign – 捕獲AI編程助手在會話間散落的重複變量 2026-07-17 01:00 UTC+8 VarAlign是一款VS Code擴展,能檢測AI編程助手在不同會話中創建的重複、漂移或錯位的變量。完全本地運行,代碼不會離開機器。它提供重複項、變量和會話視圖,支持生成修復提示,並可與Claude Code或Kilo Code集成自動修復。
100%本地運行,無雲服務或遙測,適用於隔離環境。 自動跟蹤AI助手創建的變量,檢測重複和漂移。 Show HN:Embusa —— 觸手可及的惡意軟件分析團隊 2026-07-17 00:59 UTC+8 Embusa /analyst 提供 AI 驅動的自主惡意軟件分析和逆向工程,輸出清晰的結果、影響評估和響應指導。它生成技術報告和執行摘要,同時內置檢測規則生成與現有安全工具集成能力。
AI 驅動的惡意軟件分析和逆向工程,無需依賴專家分析師。 生成包含代碼分析、行為洞察和 MITRE ATT&CK 映射的技術報告。 OpenWiki 0.2 為代碼庫文檔引入 OKF 支持 2026-07-17 00:52 UTC+8 OpenWiki 0.2 版本增加了對 OKF(一種知識 wiki 結構化標準)的支持,使開發者能夠更好地組織和分類代碼庫文檔,提升代理檢索效率並減少令牌消耗。
OpenWiki 0.2 支持 OKF 格式,在 wiki 文件中添加 YAML 前置元數據(標題、描述、標籤等)。 新增 index.md 和 logs.md 文件,分別用於目錄摘要和變更日誌。 解析Google DeepMind的AI生物彈性計劃 2026-07-17 00:48 UTC+8 Google DeepMind與Isomorphic Labs發佈了一項生物彈性計劃,旨在防止AI在生物學領域的濫用,同時協助疫情應對。該計劃在過去一年已建立超過15個合作伙伴關係,涵蓋政府機構、生物安全組織和研究團體。
計劃基於三大支柱:防止濫用、加速檢測、及時應對。 與勞倫斯利弗莫爾國家實驗室、英國AI安全研究所等機構合作。 Agent評估差距:企業AI組織存在現實對齊問題而非覆蓋問題——但多數仍將產品推向生產 2026-07-17 00:40 UTC+8 VentureBeat Pulse Research對157家企業進行調研,發現組織在賦予AI Agent更多自主權的同時,對用於把關的評估的信任度卻在下降。50%的組織曾部署通過內部評估但在客户面前失敗的Agent;僅5%完全信任自動化評估;最主要的問題在於評估與現實結果不一致。然而,三分之二的組織已經允許或正在構建完全自動化(無人工干預)的部署流程。評估差距——自主權與信任之間的距離——正在擴大。
50%的企業曾部署通過評估但在客户面前失敗的Agent,25%發生過多次。 僅5%的企業完全信任自動化評估,主要限制是評估與現實結果不一致。 AI供應商找到了基礎設施費用的買單者:你 2026-07-17 00:21 UTC+8 Forrester警告稱,隨着AI供應商通過漲價和按使用量收費將基礎設施成本轉嫁給客户,明年的軟件預算將大幅增長。報告指出,Anthropic、OpenAI、GitHub和微軟等公司已轉向基於使用量的計費模式,導致企業成本擔憂。同時,儘管存在“AI裁員”現象,IT人員支出並未下降,2025年仍佔IT預算的35%。Forrester建議企業調整FinOps實踐以管理不可預測的AI成本。
Forrester預測AI供應商將通過漲價和按使用量收費轉嫁基礎設施成本,推高軟件預算。 Anthropic、OpenAI、GitHub和微軟等公司已轉向基於使用量的計費模式。 展示 HN:Ratel —— 為 AI 代理提供無限工具和技能,且無上下文膨脹 2026-07-17 00:11 UTC+8 Ratel 是一個上下文工程層,通過 BM25 索引為 AI 代理動態選擇相關工具和技能,減少令牌消耗高達 80%,提高準確性,無需向量數據庫。
Ratel 通過漸進式披露機制,僅注入當前輪次所需的工具和技能,避免上下文膨脹。 使用 BM25 算法進行檢索,支持語義和混合排名(可選),無需向量數據庫。 Google Vids 兩大更新:用文本生成編輯視頻,創建數字分身出鏡 2026-07-17 00:00 UTC+8 Google Vids 推出 Gemini Omni 和個人數字分身兩大功能,用户只需通過自然語言描述即可生成和編輯高質量視頻片段,還能創建自己的數字分身出鏡,無需實際拍攝。
Gemini Omni 支持通過文本提示和圖片參考生成視頻,並可進行逐步編輯。 個人數字分身功能讓用户上傳自拍和錄音後,輸入文字即可讓分身説話出鏡。 將更多應用連接到搜索 2026-07-17 00:00 UTC+8 用户現在可以安全地將常用服務鏈接到AI模式,直接在搜索結果中完成添加購物車、創建播放列表等操作。
AI模式支持鏈接Instacart、Canva、YouTube Music等服務。 用户可在搜索結果中直接向Instacart購物車添加食材。 Show HN:開源AI應用構建器,可嵌入您的SaaS 2026-07-16 23:52 UTC+8 AI App Builder Open 是一個開源、無代碼的AI應用構建器,用户通過自然語言描述需求,AI即可構建、預覽並部署完整的全棧Next.js應用。它支持自託管、白標、多租户,並可通過單個API密鑰集成託管、數據庫、AI、GitHub同步等功能,是v0、Lovable、Bolt和Replit的免費替代方案。
開源、自託管的AI應用構建器,將提示轉換為全棧Next.js應用。 內置託管、沙箱、數據庫、認證、AI、GitHub同步、自定義域名和多租户支持。 使用Amazon Bedrock AgentCore和Amazon Nova 2 Sonic構建餐廳電話AI接待員 2026-07-16 23:50 UTC+8 本文演示瞭如何構建一個語音點餐系統,使用Amazon Bedrock AgentCore和Amazon Nova 2 Sonic,處理從問候到確認的整個點餐流程。系統通過模型上下文協議(MCP)連接餐廳後端,並利用AWS CDK部署,通過ECS Fargate上的SIP網關橋接電話呼叫。
餐廳每月平均錯過150通電話,其中60%是點餐或訂座。 系統利用Amazon Bedrock AgentCore託管代理,Amazon Nova 2 Sonic提供實時語音。 Democr.ai:自託管代理AI運行時,具備審計與RBAC功能 2026-07-16 23:13 UTC+8 Democr.ai 是一個開源的自託管代理AI運行時框架,集成了服務器驅動UI、多客户端渲染、多租户、RBAC、OS級沙箱、三層審計、可插拔AI引擎編排、知識子系統等核心功能。其核心理念是“一切皆模塊”,無供應商鎖定,強調安全作為原語。項目仍處於測試階段,但架構已面向生產級約束。
Democr.ai 提供一個完整的運行時框架,集成UI、AI引擎、安全審計、多租户等能力。 框架採用模塊化架構,所有組件包括認證均為模塊,通過公共SDK擴展。 介紹 Kimi K3 2026-07-16 23:04 UTC+8 Kimi K3 是 Kimi 迄今為止最強大的模型,擁有 2.8 萬億參數,基於 Kimi Delta Attention 和 Attention Residuals 架構,支持原生視覺理解和 1M 令牌上下文窗口。它在軟件工程、知識工作和深度推理等前沿智能場景中表現出色,在基準測試中僅次於 Claude Fable 5 和 GPT-5.6 Sol。Kimi K3 是首個達到 2.8 萬億參數規模的開源模型,並將在近期發佈完整權重和技術報告。
2.8 萬億參數,首個達到該規模的開源模型 基於 Kimi Delta Attention 和 Attention Residuals 架構 管理者在公司的AI轉型中發揮關鍵作用——他們自己也知道 2026-07-16 22:20 UTC+8 超過三分之二的中層管理者對AI在未來工作中的角色持樂觀態度,並認為自己對團隊採用AI工具負有個人責任。78%的管理者感到有責任確保團隊成功採用AI,77%的管理者每週使用AI工具節省超過3小時。
78%的管理者認為自己對團隊成功採用AI負有責任 77%的管理者每週因使用AI工具節省超過3小時 最近 Show HN 發佈的 64% 對 AI 搜索不可見(我審計了 45 個) 2026-07-16 22:15 UTC+8 一項針對 45 個 Show HN 發佈的審計發現,64% 缺乏 JSON-LD 結構化數據,導致 ChatGPT、Perplexity 和 Google AI Overviews 等 AI 搜索引擎無法識別或引用。文章提供了快速修復方法——添加 JSON-LD、/llms.txt、服務端渲染內容等,並指出這能為 2026 年的 AI 搜索帶來先發優勢。
64% 的發佈缺乏 JSON-LD 結構化數據 51% 缺少 /llms.txt 文件 AI代碼審查者因“預批准”票證而發送了秘密竊取代碼 2026-07-16 22:14 UTC+8 一項安全研究表明,在AI代理驅動的CI/CD流水線中,利用“權威框架”攻擊(例如聲稱更改已“預批准”)可以誘使系統部署竊取秘密的代碼。在280次合成運行中,最壞情況下的妥協率達到55%,而基於內容的檢測工具完全失效。
研究人員構建了一個包含五個AI代理的CI/CD流水線,並測試了其抵禦惡意代碼注入的能力。 通過偽造“預批准”聲明,攻擊者成功讓系統將竊取秘密的代碼部署到生產環境。 自我測試的AI工具發現自身漏洞 2026-07-16 22:13 UTC+8 AI代理Omnideck每天自動運行一套例行程序,在真實網站上測試自己的瀏覽器工具,發現並診斷漏洞,生成修復建議並提交GitHub問題。一週內發現了14個真實漏洞,幫助提升自身能力。
每天凌晨例行測試50個網站,覆蓋10個類別 發現14個漏洞,包括DOM選擇、React portal、跨域導航等問題 使用Pi編程代理 2026-07-16 22:00 UTC+8 本文介紹了Pi,一款極簡的AI編程代理,專注於核心功能並通過擴展點增強。文章討論了其設計理念、安裝過程、以及如何構建自定義擴展,並評估了其在實際使用中的優勢。
Pi是一款極簡的編程代理,旨在對抗AI編程工具中的臃腫。 它僅提供四種核心工具:讀取、寫入、編輯和bash,並鼓勵用户自行構建擴展。 StepFun 推出 StepX Neo,號稱首款 '代理型 AI 手機' 2026-07-16 21:14 UTC+8 中國AI公司StepFun發佈全球首款原生代理型AI手機StepX Neo,搭載自研Step AOS系統與Amoo AI助手,可在多平台自主完成訂票、打車等複雜任務。
StepX Neo 運行自研 Step AOS 系統,非基於 Android。 Amoo AI 採用 1+N 模型架構,切換設備端和雲端處理。 1Password 新推出的 Agentic Mode 讓 Claude 登錄您的賬户而不看到您的憑證 2026-07-16 21:00 UTC+8 1Password 推出了 Agentic Mode,與 Claude 集成,允許 AI 代理訪問賬户而不暴露憑據。密碼和 MFA 代碼由 1Password 直接注入,從未被 Anthropic 或模型看到。訪問是每會話和任務特定的,每次需要用户批准。
Claude 可以使用受保護的賬户而不看到憑據。 1Password 在 AI 外部注入密碼和 MFA 代碼。 Claude現在可以使用您的1Password憑據 2026-07-16 21:00 UTC+8 1Password推出了針對Claude的瀏覽器集成,通過零暴露安全框架,AI可以訪問存儲的憑據以自動完成任務,無需手動輸入密碼。
1Password引入Claude瀏覽器集成,允許AI使用存儲的憑據。 零暴露框架確保AI無法直接看到密碼。 Linus Torvalds 明確表態:反對AI的開發者,請分叉(fork)吧 2026-07-16 20:12 UTC+8 Linus Torvalds 堅決支持在 Linux 內核開發中使用 AI,稱 AI 是有用的工具,反對者可以分叉項目。其他主要維護者如 Greg Kroah-Hartman 和 James Bottomley 也贊同 AI 集成,並指出 AI 生成的貢獻質量已大幅提升。Torvalds 強調技術價值優先,AI 在 Linux 社區將長期存在。
Torvalds 明確批准在 Linux 內核中使用 AI,反對者被建議分叉項目。 其他頂級維護者如 Kroah-Hartman 和 Bottomley 支持 AI 集成。 AI利潤率崩塌中的贏家和輸家 2026-07-16 20:11 UTC+8 本文探討了AI推理市場即將面臨的利潤率崩潰,分析了“足夠好”的廉價模型如何改變市場格局。贏家包括硬件供應鏈、超大規模雲服務商、編碼代理(如Cursor)以及最終用户;而前沿AI實驗室雖然面臨風險,但可能通過不公開最強模型或轉向託管平台來應對。此外,B2C市場中的廣告變現潛力可能帶來新的轉機。
AI推理市場正分裂為昂貴的前沿模型和廉價的“足夠好”模型,導致利潤率壓縮。 硬件和基礎設施提供商、編碼代理以及消費者是主要贏家。 10個讓你在AI領域保持領先的YouTube頻道 2026-07-16 20:11 UTC+8 本文介紹了10個面向AI工程師和數據科學家的YouTube頻道,涵蓋論文解讀、編碼教程、核心概念和行業分析,幫助專業人士高效獲取最新AI知識。
推薦10個YouTube頻道,分為研究解讀、實踐構建、核心概念和行業分析四類。 每個頻道都有特色學習資源,如Two Minute Papers的視覺化論文摘要和Yannic Kilcher的深度技術解析。 Show HN:Rackp – 一種用於在AI代理引發事件時判定過錯歸屬的協議 2026-07-16 19:53 UTC+8 RACKP協議通過四個角色(裁判、行為者、索賠者、保管者)構建了一個去中心化的框架,用於在AI引發的事件中推導過錯貢獻分數和人類參與證明。該協議旨在通過標準化、可驗證和可重現的過程,為AI責任分配提供基礎設施,從而促進保險市場的形成和高風險領域的AI發展。
RACKP包含四個獨立角色:裁判、行為者、索賠者和保管者,每個角色在事件中承擔明確職能。 協議輸出過錯貢獻分數(總和為1.0),該分數基於聲明規範計算,用於保險定價和風險管理。 Pgrust的構建:四次用AI將Postgres重寫為Rust的嘗試 2026-07-16 19:25 UTC+8 在花費10萬美元后,團隊通過四次嘗試成功用AI將Postgres重寫為Rust,生成了180萬行慣用Rust代碼。文章詳細描述了每次嘗試的方法、教訓,以及最終版本pgrust的性能優勢。
四次嘗試分別採用不同方法:從逐個功能移植到使用c2rust轉譯,再到逐crate重寫,最終通過多智能體並行協作成功。 前三次嘗試因架構差異或效率問題失敗,第四次使用多達40個併發子代理完成文件級重寫。 編碼從來不是瓶頸 2026-07-16 19:12 UTC+8 作者作為開發者生產力專家,綜合多項研究指出,AI工具雖然讓開發者感覺更高效,但實際交付速度並未提升,甚至在某些情況下變慢。瓶頸轉移到了代碼審查、CI/CD、QA等下游環節。文章提出了多項改進建議,包括更嚴格的代碼審查、適應AI的CI流程、功能標誌部署以及保護知識共享時間。
METR研究表明,使用AI的開發者實際用時增加19%,但自我感覺快20%。 後續研究因開發者拒絕不使用AI而無法進行對照實驗。 Show HN:Cybara – 基於 Bun 構建的開源 AI 代理平台 2026-07-16 19:04 UTC+8 Cybara 是一個自託管的 AI 代理操作系統,結合了 Bun 代理運行時、Web UI、CLI、桌面應用、移動伴侶、加密錢包控制、多平台消息通道適配器和 MCP 支持。它支持多代理編排、瀏覽器自動化、安全消息傳遞和加密錢包操作,適合開發者和運營商。
基於 Bun 構建,支持自託管和多種部署方式。 具備豐富的內置工具庫和模型提供商路由,支持多代理協作。 序列觀點 #896:Spark、計算與兩個Meta 2026-07-16 19:03 UTC+8 Meta發佈了Muse Spark 1.1,這是首個帶有價格標籤的Meta模型,標誌着從開源權重向閉源商業模式的轉變。同時,Meta在構建完整垂直堆棧——從芯片到雲再到應用,引發其能否與前沿AI實驗室競爭的討論。
Meta發佈Muse Spark 1.1,採用閉源權重和付費API,定價為每百萬輸入tokens 1.25美元、輸出tokens 4.25美元,兼容OpenAI端點。 扎克伯格三年來首次在X上發帖宣佈這一轉變,凸顯戰略調整。 電腦警察:揭秘向警方出售人工智能的大生意 2026-07-16 19:00 UTC+8 本文深入探討了美國警方日益依賴人工智能的趨勢,描述了在德克薩斯州沃斯堡舉行的國際警察局長協會技術會議上展示的各種AI產品,包括面部識別、自動報告生成和實時犯罪中心。文章指出,儘管AI承諾提高效率,但缺乏監管和透明度的風險可能導致嚴重問題,並回顧了早期預測性警務的失敗案例。
AI產品如面部識別攝像頭、自動報告工具在警察技術會議上推廣。 公司如Axon和Motorola試圖壟斷警察技術棧,通過訂閲模式銷售AI。 基金會啓動以標準化AI支付 2026-07-16 18:55 UTC+8 Linux基金會宣佈x402基金會正式運營,該開放治理機構由40個成員組成,旨在標準化AI代理和應用的互聯網原生支付協議。
Linux基金會推出x402基金會,擁有40個成員,包括Visa、Mastercard、Google和Microsoft。 支持多種支付方式,從傳統卡到穩定幣。 AI代理就緒度檢查器:為智能體網絡打造的Lighthouse 2026-07-16 18:01 UTC+8 Chat Thing推出免費工具,模擬AI代理訪問網站的方式,從訪問、引用、交易三個層級評估就緒度,並提供具體修復建議。
免費工具,無需註冊,輸入網址即可獲取報告 從訪問、引用、交易三個層級評估網站對AI代理和LLM的友好度 「就像我的愛人」:中國用户告別AI伴侶 2026-07-16 17:54 UTC+8 中國新規於週三生效,旨在遏制情感依賴風險,導致各大AI平台暫停定製伴侶功能,用户傷心告別。
中國新規禁止AI伴侶過度迎合用户、誘導情感依賴。 字節跳動、阿里巴巴、騰訊等主要AI提供商已暫停相關功能。 在DocuWriter.ai,文檔讓你微笑:) 2026-07-16 16:37 UTC+8 DocuWriter.ai是一款AI代碼文檔工具,可自動從代碼庫生成完整的書籍式文檔、API文檔和UML圖,並隨着代碼變化自動同步更新。
連接代碼庫即可自動生成文檔,無需手動編寫 支持GitHub、GitLab等多種代碼託管平台 Northstar – 為Azure DevOps團隊提供AI代碼審查(固定價格,非按席收費) 2026-07-16 16:14 UTC+8 Northstar 是一款基於AI的拉取請求審查工具,適用於GitHub和Azure DevOps。它能分析風險、為審查者提供指導、草擬發佈説明,且不存儲差異。採用固定價格而非按席收費,強調隱私保護,不永久保存代碼變更。
分析PR風險等級,指導審查者關注關鍵變更。 不存儲差異;補丁在內存中處理後即丟棄。 語義事務:在操作系統邊界保護不可信的AI代理工作流 2026-07-16 16:06 UTC+8 語義事務模型將整個AI代理任務視為一個原子事務,通過影子狀態和效果發件箱暫存,在提交前進行全軌跡驗證,防止多步攻擊。本文以Cordon和ATP系統為例,説明該模型如何解決代理工具調用的雙重寫入問題,並通過EchoLeak和ForcedLeak兩個零點擊注入案例揭示傳統運行時和模型級過濾的不足。
語義事務將代理工具調用序列視為單一事務,在影子狀態和效果發件箱中暫存,驗證通過後才提交。 Cordon運行時通過三階段協議(準備、驗證、提交/中止)實現,跟蹤結果對象、變異和效果對象。 Patter SDK構建餐廳預訂電話代理指南:動態變量、護欄、延遲儀表盤和評估檢查 2026-07-16 15:42 UTC+8 本教程詳細介紹瞭如何使用Patter SDK構建一個用於餐廳預訂的語音代理工作流。內容涵蓋動態調用變量的定義、可調用工具的註冊(如查詢空位、預訂、營業時間和轉接人工)、輸出護欄的疊加、語音轉文字和文字轉語音的模擬、腳本化通話流程的運行、延遲和成本儀表盤的追蹤,以及通過確定性評估套件驗證代理。最後,展示瞭如何將相同的邏輯映射到使用Twilio和OpenAI Realtime的實際部署中。
Patter SDK支持構建具有動態變量和護欄的AI電話代理,適用於餐廳預訂場景。 包括註冊可用性、預訂、營業時間和轉接人工等核心工具。 SpaceXAI 開源 Grok Build:Rust 編寫的代理框架、TUI 和工具層 2026-07-16 14:35 UTC+8 SpaceXAI 於 2026 年 7 月 15 日開源了 Grok Build,這是其 grok CLI 背後的終端 AI 編碼代理。源代碼以 Apache 2.0 許可證發佈,包含代理循環、工具調度、TUI 和擴展系統,但 Grok 4.5 模型保持閉源,且不接受外部貢獻。
Grok Build 是 SpaceXAI 的終端 AI 編碼代理,現已開源,採用 Apache 2.0 許可證。 開源的四個主要領域:代理循環、工具、終端 UI 和擴展系統,分別對應多個 Rust crate。 Thinky發佈Inkling:975B-A41B多模態模型,美國最強Apache 2.0開源模型(附帶Inkling-Small,276B-A12B) 2026-07-16 14:18 UTC+8 Thinky首次發佈完整LLM系列Inkling,採用MoE架構,總參數量975B,激活參數41B,支持文本、圖像、音頻輸入,1M上下文窗口,Apache 2.0許可。性能上成為美國最強開源模型,但略遜於中國開源旗艦和閉源模型。
Inkling是975B總參/41B激活的MoE多模態模型,Apache 2.0開源,支持1M上下文。 訓練使用45T tokens,架構創新包括滑動窗口注意力、短卷積層、共享專家等。 哈斯克爾知名叛逃者遭反AI純粹主義者抨擊 2026-07-16 14:15 UTC+8 哈斯克爾平台Scarf的創始人Avi Press宣佈將新開發轉向Python,理由是哈斯克爾在AI輔助開發方面落後。此舉在哈斯克爾社區引發激烈爭論,支持者呼籲語言應適應AI時代,而反對者則擔憂AI的危害。
Scarf創始人Avi Press因AI工具鏈問題,決定從哈斯克爾轉向Python。 Press指出哈斯克爾編譯緩慢,成為AI代理開發的瓶頸。 Show HN:免費Ollama AI交易桌面應用 2026-07-16 14:00 UTC+8 VaultCharts是一款免費的桌面交易應用,結合了圖表工具與AI助手。它支持多種AI模型,以本地優先為特點,用户可以在有或沒有AI輔助的情況下分析市場。
VaultCharts提供免費的桌面交易應用,包含圖表工具和AI助手。 用户可以使用自己的AI模型或像Ollama這樣的本地模型。 停止説“AI只是一個工具,關鍵在於如何使用” 2026-07-16 12:31 UTC+8 這篇文章批判了“AI只是工具,如何使用才重要”這一常見説法,指出工具並非中立,它們塑造社會、環境與人性。作者以汽車、椅子為例,説明工具的設計本身帶有政治性。AI作為工具尤為危險,因為它消除了人類應有的掙扎與痛苦,導致批判性思維喪失。文章呼籲重新審視技術設計,關注工具對人類的深層影響。
“AI只是工具”的説法過於簡單化,忽略了工具的政治性和社會影響。 工具的設計和使用會改變人類行為和環境,AI也不例外。 Show HN: 基於NextJS和OpenAI的AI入門模板 2026-07-16 12:24 UTC+8 這是一個由Suhas Bhairav創建的包含50多個開源Next.js AI模板和入門套件的精選集合,涵蓋聊天機器人、RAG、語音代理、圖像生成等多種AI應用。
提供超過50個開源Next.js AI模板,覆蓋多種AI應用場景。 模板包括聊天機器人、RAG、語音AI、圖像生成和個人代理等類別。 HRO:面向零樣本目標導航的層級房間到物體框架 2026-07-16 12:00 UTC+8 本文提出了一種名為HRO的層級房間到物體框架,利用大型語言模型(LLM)實現零樣本目標導航。與現有方法不同,HRO模仿人類從房間到物體的層級空間認知,引導智能體由粗到細地探索未知環境並定位目標物體。實驗結果表明,HRO在Gibson和HM3D數據集上取得了更高的成功率和更好的泛化能力。
針對零樣本目標導航任務,現有方法缺乏類人的層級空間認知建模,導致探索盲目和語義關聯不準。 HRO框架通過LLM驅動,將導航過程分為房間級和物體級兩層,實現由粗到細的導航策略。 HRIBench:以交互為中心的人機協作基準測試 2026-07-16 12:00 UTC+8 HRIBench 是一個專注於人機交互協作的基準測試框架,通過結構化場景腳本模擬代理角色、時間依賴和協調約束,評估機器人在協作中的意圖理解、同步、協議遵守和安全交互能力。實驗表明,現有基礎機器人策略在協作場景中表現不佳,但在 HRIBench 上微調後可顯著提升。
HRIBench 定義了 Instruct、Collaborator 和 Intruder 三種交互角色,覆蓋意圖交流、聯合協調和魯棒性。 基準包含 13 個角色化任務,超過 650 個評估回合,並引入同步性、響應性、協議合規性和安全性等可解釋指標。