AI News HubLIVE

Agent動態

Loam – 面向早期創始人的AI招聘工具

Loam是一款專為早期創始人設計的AI驅動型申請人追蹤系統(ATS),幫助他們高效完成首批10次招聘。它整合了申請人追蹤、AI簡歷評估、人才搜尋、管道聊天、MCP整合和品牌招聘網站等功能,提供從免費開始的簡單月費定價。與Spreadsheet或Notion相比,Loam提供了結構化的招聘流程;與傳統企業級ATS相比,它更便宜且更注重AI原生體驗。

  • Loam是面向早期初創公司的AI原生ATS,旨在替代混亂的電子表格和昂貴的企業系統
  • 核心功能包括申請人追蹤、AI訊號篩選、人才搜尋、MCP整合以及品牌化招聘網站
站內正文

AI智慧體爬蟲現在需要許可:如何獲取

Cloudflare將於9月15日起預設阻止AI智慧體爬蟲訪問廣告支援的頁面,將爬蟲分為搜尋、智慧體和訓練三類。此舉迫使AI公司重新協商訪問許可權,並催生了按使用付費模式。

  • Cloudflare將AI爬蟲分為搜尋、智慧體和訓練三類,並預設阻止後兩類在廣告頁面上的訪問。
  • 從9月15日起,新接入Cloudflare的域名和現有免費使用者將自動適用新預設設定。
站內正文

DiscoMCP – 將未知的MCP轉化為AI代理可重複使用的操作技能

DiscoMCP是一個開源工具,透過分析使用者的實際使用模式,將任意MCP伺服器轉化為AI代理可用的定製技能,而非通用工具列表。它保證只讀操作,一鍵啟動,並顯著減少代理與複雜伺服器互動的往返次數。

  • DiscoMCP透過分析使用者工作流生成定製技能,而非列出所有工具。
  • 預設只讀,拒絕任何寫入或修改操作,保護生產環境安全。
站內正文

AI輔助開發中的前端驗證差距

AI工具能快速生成看似完整的前端介面,但在可訪問性、鍵盤導航、焦點管理、錯誤處理等關鍵方面常常存在不足。文章指出,團隊需要更強的驗證流程,包括使用設計系統和明確提示,並測試使用者實際行為而非僅檢查渲染結果。

  • AI生成的前端程式碼外觀完整,但可能存在可訪問性、焦點管理等隱藏問題。
  • 開發團隊應透過持久化指令和任務特定提示明確工程期望。
站內正文

Show HN: 透過網路呼叫控制AI代理

Diff Forge AI 是一個本地優先的代理開發環境(ADE),允許使用者並行執行 Codex、Claude Code 和 OpenCode 等編碼代理,支援語音控制、螢幕截圖上下文捕獲以及透過網頁儀表板遠端檢視。它提供多終端工作區、迴圈空間(Loop Spaces)排程、雲同步、裝置管理等功能,定價從免費到每月 2,000 美元不等。

  • Diff Forge AI 是一個本地優先的代理開發環境,支援並行執行多個 AI 編碼代理。
  • 提供語音控制、螢幕截圖、迴圈空間自動化等工具,並可透過網頁或手機遠端指揮。
站內正文

Plumrocket AI Connector 擴充套件

AI Connector 是一個 Magento 2 擴充套件,充當商店與大型語言模型之間的統一橋樑,支援 Claude、ChatGPT、Gemini 等,透過單一 REST API 和 PHP 整合層提供 AI 功能。

  • 透過單一介面連線多個 AI 提供商,如 Claude、ChatGPT、Gemini
  • 支援 OpenRouter,可訪問 60+ 提供商和 400+ 模型
站內正文

斯坦福研究人員推出TRACE:將智慧體反覆失敗轉化為合成RL環境的能力定向訓練系統

斯坦福大學的研究團隊提出了TRACE系統,透過分析智慧體失敗軌跡,診斷缺失的能力,併為每個能力合成可驗證的訓練環境,利用LoRA介面卡和GRPO演算法進行訓練,最後透過MoE組合實現令牌級路由。在τ²-Bench上提升15.3個百分點,在SWE-bench Verified上達到73.2%的Pass@1,超越了多個基線模型。

  • TRACE透過對比分析成功和失敗軌跡,識別出關鍵缺失能力。
  • 為每個能力合成獨立的可驗證訓練環境,並使用GRPO訓練LoRA介面卡。
站內正文

Muse Spark 1.1:Meta 三個月內智慧指數提升8點

Meta 的 Muse Spark 1.1 在人工智慧分析智慧指數中得分為51,較三個月前的1.0版本提升8點。該模型在科學推理、編碼和知識方面進步顯著,代智慧工作也有大幅改善,但仍落後於前沿模型。它是最具代幣效率的模型之一,且執行成本較低。

  • Muse Spark 1.1 智慧指數得分51,與 GLM-5.2、GPT-5.4 等模型持平,僅次於 Grok 4.5 和 Claude Fable 5。
  • 模型在編碼和代智慧工作方面提升最大,SciCode 排名第三,僅次於 Claude Fable 5 和 Gemini 3.1 Pro Preview。
站內正文

從待辦清單到AI代理

本文探討了如何將傳統的待辦清單演變為智慧AI代理,透過自動化任務管理和決策來提升效率。

  • 傳統待辦清單無法適應複雜任務管理
  • AI代理能夠自主執行和最佳化任務
站內正文

Prime Intellect 釋出 Verifiers v1:用於智慧體強化學習訓練和評估的可組合任務集、框架和執行時

Prime Intellect 釋出了 verifiers 0.2.0,預覽了重寫的 v1 核心。v1 將環境分解為任務集(做什麼)、框架(怎麼做)和執行時(在哪裡),並透過攔截伺服器記錄訓練軌跡。任何任務集均可與任何相容框架配合使用,並直接支援 prime-rl 訓練。

  • v1 將環境拆分為任務集、框架和執行時三個獨立部分。
  • 攔截伺服器代理框架與推理伺服器之間的請求,並記錄軌跡。
站內正文

人工智慧與達克效應:不再彌合的能力鴻溝

本文探討了在AI時代,達克效應(能力認知差距)如何被放大。作者假設AI提升了人們的自信,並將真實能力分為“有工具”和“無工具”兩種,導致原本隨經驗而彌合的差距不再消失。這對企業而言,內在能力從生產力問題轉變為治理問題,且會在不知不覺中侵蝕。

  • AI使初學者產出看似專業的成果,提升自信,但隱藏了失敗,阻斷了經驗教訓的傳遞。
  • 真實能力分裂為“輔助能力”和“內在能力”,後者在缺少工具時顯現,且隨代際可能更弱。
站內正文

AI時代的贏家:記憶體產業的結構性優勢

隨著AI代理和自動化平臺快速發展,記憶體頻寬成為關鍵瓶頸。蘋果統一記憶體架構、CUDIMM標準以及PC升級潮正在重塑市場,而三星、SK海力士等記憶體製造商因HBM產能分配而獲得結構性利好。

  • 本地AI推理需要近1TB/s的記憶體頻寬,傳統PC架構難以滿足。
  • CUDIMM透過整合時鐘驅動器提升頻率,成為消費級PC最實用的新一代記憶體標準。
站內正文

BeyondSight:面向端到端自動駕駛的物體恆存性

BeyondSight 提出了一種具有物體恆存意識的端到端駕駛框架,透過維護持久的智慧體假設,將智慧體存在與可觀察性解耦,從而在部分可觀測環境中依然能夠推理被遮擋的智慧體。實驗表明,該方法將不可觀測智慧體的檢測 mAP 從 0 提升至 0.249,同時將規劃誤差 L2avg 從 0.61 降至 0.54。

  • BeyondSight 將物體恆存性引入端到端自動駕駛,解決部分可觀測環境下的智慧體遮擋問題。
  • 該框架透過時間傳播智慧體查詢並更新觀測證據,維持持久假設。
站內正文

基於AI的血管內導航的血管幾何特徵描述

該研究旨在識別與導航難度相關的血管指標,並開發自動化管道進行定量血管特徵提取,以支援未來複雜性分級。研究從61名患者的CT血管造影中分割血管樹,測量了主動脈弓型別、牛型弓存在、血管長度、迂曲度、起始角、反向曲線數量等指標,並使用軟演員-評論家強化學習演算法進行120秒自主導航。結果顯示,左側牛型弓和II/III型主動脈弓分別增加導航時間30.19秒和37.92秒,更大的迂曲度進一步延長手術時間並降低成功率;右側II/III型弓延長45.94秒,每個額外反向曲線增加3.96秒並降低成功率。該自動化管道為標準化複雜性分級和強化學習模型評估提供了基礎。

  • 研究首次證明機械取栓代理導航難度受血管幾何形狀強烈影響。
  • 開發了自動化管道用於定量提取血管特徵。
站內正文

Dec-MARVEL:預算約束下無通訊的分散式多智慧體探索

本文提出Dec-MARVEL,一種分散式預算感知探索框架,用於無通訊且僅具有方向性感測的多無人機團隊。每個機器人透過視野內隊友軌跡進行協調,利用圖注意力網路選擇可行的路徑點。實驗表明,在多種團隊規模和預算下,Dec-MARVEL實現了最高的探索率和最低的感測重疊,併成功進行了實物機器人驗證。

  • 無需通訊,僅透過隊友軌跡進行協調
  • 圖注意力網路整合區域性前沿幾何、隊友運動和預算資訊
站內正文

SplatCtrl:基於高斯場景表示與反應式機器人控制的感知-行動耦合

SplatCtrl是一個統一框架,利用3D高斯噴濺實現即時場景重建和反應式運動生成,使機器人能夠在未知和動態環境中實現無碰撞控制。它透過混合體素濾波和動態高斯重定位策略處理環境變化,並從各向同性高斯推匯出連續有符號距離函式,用於控制障礙函式,從而實現平滑可靠的即時運動生成。實驗驗證了其在模擬、實體機器人和人機協作空間中的有效性。

  • SplatCtrl結合3D高斯噴濺和反應式控制,實現無碰撞機械臂操作。
  • 提出混合體素濾波和動態高斯重定位,支援即時場景重建。
站內正文

AgenticFocus: 從人類第一人稱影片中保留物體的混合現實合成以用於靈巧類人機器人學習

AgenticFocus是一種混合現實合成流程,將普通的第一人稱影片轉換為機器人可訓練的演示,透過恢復被遮擋的物體幾何、重建全手運動並重新定位到人形機器人,實現了更低的軌跡誤差和更平滑的手腕運動。

  • AgenticFocus透過混合現實合成將普通人類第一人稱影片轉換為機器人訓練資料。
  • 該流程克服了手-物體遮擋、簡化運動等問題,無需專門硬體。
站內正文

MultiView-Bench:用於VLM世界中心多檢視整合的診斷基準

MultiView-Bench是一個專為評估視覺語言模型(VLM)多檢視整合能力而設計的診斷基準。研究表明,當前最先進的VLM在單檢視2D任務上表現優異,但在3D空間關係理解和跨檢視資訊聚合方面存在顯著困難。為此,作者提出了ViewNavigator,一個多智慧體框架,透過主動選擇資訊豐富的視角並融合多檢視證據,顯著提升了模型在MultiView-Bench上的表現。

  • 現有VLM基準主要評估單檢視或有限檢視感知,忽視了多檢視整合能力。
  • MultiView-Bench要求模型將物體位置從觀測視角解耦到全域性座標系。
站內正文

AgentKGV: 面向知識圖譜事實驗證的智慧LLM-RAG框架與兩階段訓練

知識圖譜自動構建中常含事實錯誤,AgentKGV提出結合動態路由與迭代查詢重寫的智慧LLM-RAG框架,並透過兩階段訓練(基於蒸餾的SFT和軌跡級GRPO)提升準確性與成本效率。在T-REx基準上,宏F1比單輪RAG提升14.9個百分點,搜尋呼叫次數減半。

  • 提出AgentKGV框架,利用動態路由和迭代查詢重寫處理文件級檢索中的表面形式不匹配問題。
  • 兩階段訓練策略:蒸餾SFT將大模型推理能力遷移至小模型,GRPO最佳化搜尋策略減少不必要的檢索。
站內正文

KV-PRM:透過KV快取傳遞實現高效過程獎勵建模,用於多智慧體測試時擴充套件

KV-PRM是一種高效的過程獎勵模型,透過直接利用大語言模型生成階段自然產生的KV快取,避免了文本重新編碼,將評分成本從O(L²)降至O(L)。實驗表明,在多個基準上,KV-PRM在匹配或超越文本PRM效能的同時,實現了高達5000倍的FLOPs減少、37倍延遲降低和34倍記憶體佔用減少。

  • 傳統文本PRM需要重新編碼整個軌跡,成本隨序列長度二次增長。
  • KV-PRM利用KV快取僅處理單個驗證令牌,成本線性增長。
站內正文

L-MAD:法律推理中多智慧體辯論結構的系統評估

L-MAD框架系統評估了多智慧體辯論在法律文本蘊含任務中的不同結構與聚合方法。透過賦予智慧體不同專家角色,相比強單智慧體基線最高提升8%。研究發現增加智慧體數量可降低不一致性並提高準確率,但延長討論輪次會導致“過度審議漂移”,智慧體互相強化錯誤。該成果為高風險法律推理中協同多智慧體系統的部署劃定了實際邊界與安全裕度。

  • 提出L-MAD框架,系統評估多智慧體辯論在法律推理中的效果。
  • 分配專家角色使效能比單智慧體提升最多8%。
站內正文

神經代理控制:一種基於深度學習的LLM驅動代理AI框架用於控制安全控制器

本文介紹了一種神經代理控制框架,結合LLM規劃器與時間序列基礎模型(TimesFM),透過反事實物理注入機制確保物理安全,在SWaT資料集上表現優於LSTM和TCN,零幻覺動作執行。

  • 提出神經代理控制框架,結合LLM規劃器與TimesFM基礎模型。
  • 引入反事實物理注入機制,在動作執行前模擬干預影響並拒絕不安全動作。
站內正文

ARCANA:一種用於ARC-AGI-2推理的反思性多智慧體程式合成框架

ARCANA是一種協作式多智慧體框架,用於在嚴格的測試時間和硬體約束下解決ARC-AGI-2任務。它將每個任務分解為迭代感知、假設生成、符號執行和反思性改進,透過共享可微分黑板和元控制器排程,結合結構化程式搜尋與自適應多輪校正,顯著提升了抽象變換任務的推理效率和解決方案質量。

  • ARCANA採用多智慧體協作框架,透過感知、假設、執行和反思四個階段解決ARC-AGI-2任務。
  • 框架包含感知基礎智慧體、潛在程式策略、符號執行器和反思智慧體,共享可微分黑板並受元控制器排程。
站內正文

弗拉索夫方程平均場推導的形式化:AI輔助的Lean形式化作為策略遊戲

研究人員將Vlasov方程平均場推導的形式化過程重構為一場策略遊戲,由數學家指導AI系統將LaTeX文件轉化為Lean 4證明助手程式碼。該案例成功完成了非線性Vlasov方程適定性問題的完整形式化,包括存在性、唯一性、穩定性估計和平均場極限,以及短時間疊加原理。其中約六分之一的形式化程式碼可作為獨立模組被數學庫複用。核心定理約一週完成,整個開發約一個月。

  • 形式化過程被框架化為策略遊戲,數學家負責指導,AI執行
  • 成功在Lean 4中形式化非線性Vlasov方程的適定性問題
站內正文

Long-Horizon-Terminal-Bench:透過密集獎勵評分測試智慧體在長時終端任務上的極限

Long-Horizon-Terminal-Bench是一個包含46個長時任務的終端基準測試,涵蓋實驗復現、軟體工程、多模態分析等9個類別。它透過細粒度子任務提供密集中間獎勵和部分分數,更全面地評估AI智慧體的能力。評估15個前沿模型發現,最強模型在部分獎勵閾值0.95下透過率僅15.2%,完全正確透過率10.9%,平均透過率更低,表明仍有巨大改進空間。

  • 現有終端基準測試多聚焦短時簡單任務,僅以最終結果評價,忽略中間進展。
  • Long-Horizon-Terminal-Bench包含46個長時任務,分解為細粒度子任務以提供密集獎勵。
站內正文

GATS:結合分層世界模型的圖增強樹搜尋,實現高效智慧體規劃

GATS是一種新的智慧體規劃框架,透過系統性的UCB1樹搜尋和分層世界模型,在規劃過程中完全消除LLM呼叫,同時實現100%的成功率。與LATS和ReAct相比,GATS不僅在合成任務中表現優異,在12個挑戰性場景中也保持100%成功率,且計算成本更低。

  • GATS採用UCB1樹搜尋和三層的世界模型,規劃時無需任何LLM呼叫
  • 在合成規劃任務中達到100%成功率,遠超LATS(92%)和ReAct(64%)
站內正文

Show HN: 為Asterisk/FreePBX自託管的語音AI代理

AVA是一個開源自託管語音AI代理,專為Asterisk/FreePBX設計,提供快速部署、多代理管理、即時儀表盤和多AI引擎支援。最新更新包括穩定性修復、靜默看門狗和每代理語音選擇等功能。

  • AVA與Asterisk/FreePBX整合,支援Google Live、OpenAI Realtime、Grok等多種AI引擎。
  • 快速啟動:克隆倉庫、執行預檢查、啟動管理UI,透過嚮導配置代理和撥號計劃。
站內正文

中國配音演員被迫證明自己是人類,對抗AI克隆

31歲的配音演員沈安宇因AI克隆其聲音而面臨職業危機。AI語音複製品大量出現在網路上,導致平臺將其真實錄音誤標為合成內容,影響收入。他與妻子花大量時間追蹤侵權內容,但維權困難。AI語音克隆工具正在衝擊中國短劇、有聲書和短影片行業,許多配音演員遭遇類似困境,收入下降,職業前景堪憂。

  • 沈安宇的AI克隆聲音廣泛傳播,平臺誤標其真實錄音,導致收入減少。
  • 他和妻子投入大量時間收集證據、聯絡上傳者、準備法律訴訟。
站內正文

Show HN: Baton – 知道你哪個AI編碼代理需要你

Baton 是一款 macOS 選單欄工具,可以監控 Claude Code 和 Codex 等 AI 編碼代理,即時顯示等待你處理的會話數量。它利用 FSEvents 實現即時更新,並支援點選跳轉到特定會話。

  • 在 macOS 選單欄中即時顯示待處理的 AI 代理會話數量。
  • 支援 Claude Code 和 Codex,按工具和狀態分組顯示。
站內正文

Show HN:Clark——擁有自己電腦的AI助手

Clark是一個由單人開發的AI助手,旨在與Manus代理在功能和能力上匹敵。它能使用計算機、瀏覽器,進行深度研究,並與谷歌工具整合。已有數千人日常使用。

  • Clark是一款AI助手,能夠像人類一樣操作計算機和瀏覽器。
  • 它支援深度研究(Clark呼叫Clark)和谷歌工具整合。
站內正文

直接負責人(DRI)

本文探討了“直接負責人(DRI)”的概念,該術語源自蘋果公司,指對專案成敗最終負責的人。作者認為,隨著LLM驅動的智慧體融入組織,它們永遠不應被視為專案的DRI,因為只有人類才能承擔責任,而機器不能。文章還引用了IBM 1979年的培訓幻燈片,其中指出計算機永遠不能承擔責任,因此絕不能做出管理決策。

  • DRI概念源自蘋果,GitLab手冊給出了最佳定義。
  • 人類可以對行動負責,而機器不能。
站內正文

OneDev AI:將AI作為團隊成員融入問題、拉取請求和CI

OneDev 將 AI 使用者嵌入到開發平臺中,使其能夠像團隊成員一樣處理問題、提交拉取請求、參與程式碼審查以及響應 CI/CD 失敗。這種整合方式保持了需求、實現和審查在同一平臺中可見,提高了透明度和問責性。

  • AI 使用者可以直接在 OneDev 中處理分配的問題、建立拉取請求並根據反饋進行迭代。
  • 問題作為唯一真實來源,包含需求、附件和討論,AI 據此工作。
站內正文

AI代理初創公司使用自己的AI代理主導1億美元融資

總部位於新澤西州澤西城的初創公司Lyzr利用其AI代理系統SivaClaw成功完成了1億美元的B輪融資。該系統處理了130多名投資者的提問,起草了投資備忘錄,並跟蹤了投資者對簡報的關注點,從而證明了產品的實用性。

  • Lyzr使用其AI代理SivaClaw完成了1億美元的B輪融資。
  • SivaClaw處理了130多名投資者的提問並起草了投資備忘錄。
站內正文

ArgoCD AI助手

一個Argo CD UI擴充套件,在資源檢視中新增AI助手選項卡,允許使用者用自然語言查詢Kubernetes資源,並附加上下文(清單、事件、可選日誌)。相容任何OpenAI相容後端,需要Argo CD v2.13+。

  • 作為Argo CD UI擴充套件,提供對Kubernetes資源的自然語言查詢。
  • 透過即時資源清單、事件和可選的容器日誌豐富查詢。
站內正文

Grok 4.6和GPT5.6在發現PR安全漏洞方面擊敗Anthropic

最新基準測試顯示,GPT-5.6 Sol在拉取請求(PR)安全審查中表現最佳,實現100%召回率和0.91的F1分數,每次PR成本僅0.70美元。Anthropic的模型(如Fable 5)未能進入前沿表現,且成本更高。Grok 4.5和Gemini 3.1 Flash Lite提供了經濟高效的替代方案。測試使用私有合成倉庫以避免資料汙染。

  • GPT-5.6 Sol以0.91 F1和100%召回率領先,成本僅為每次PR 0.70美元。
  • Anthropic模型未達到前沿,Fable 5效能較差且成本高達約3.61美元/PR。
站內正文

Show HN:面向AI代理和團隊的協作上下文記憶平臺

xysq.ai是一個協作記憶平臺,為AI原生團隊和企業構建。它連線多種AI工具和應用程式,從團隊工作流中捕獲上下文,構建動態知識圖譜,並在AI代理需要時提供正確的上下文。支援團隊記憶隔離、基於角色的訪問、文件組織,並承諾不將使用者資料用於訓練。

  • xysq.ai作為AI代理和團隊的協作記憶層,連線Slack、Gmail、GitHub等工具。
  • 捕獲事件、流程和語義三種記憶型別,構建動態知識圖譜。
站內正文

Adaptive Recall:透過MCP為AI助手提供持久記憶

Adaptive Recall 是一種為AI助手設計的持久記憶系統,它利用認知科學和機器學習,透過多種檢索策略、認知評分、知識圖譜和自我改進機制,不斷提升記憶檢索質量。

  • 四種並行檢索策略:向量相似性、時間近因、全文關鍵詞、知識圖譜遍歷
  • 基於ACT-R認知科學的評分模型,結合頻率、連線和置信度排序
站內正文

AI基於人類心理做空低價股

Fade Engine是一個完全自主的AI系統,透過識別18種小盤股泡沫模式,在模擬賬戶中即時做空並公開每筆交易。系統在交易時段每五分鐘掃描一次,收盤前平倉,所有記錄公開透明。

  • Fade Engine是一個獨立的AI系統,用於識別並做空過度拉伸的小盤股
  • 系統在模擬的10,000美元賬戶上即時交易,所有交易公開
站內正文

AI輔助研究的SETI家園

本文提出將AI使用者未使用的推理代幣眾籌用於科學研究,類比於SETI@home專案。討論了小型團隊利用AI解決數學問題的成功案例,以及眾籌推理能力所需的設計挑戰。

  • SETI@home曾利用家用電腦閒置算力分析外星訊號。
  • 如今,AI使用者可將未使用的token配額貢獻給集體研究。
站內正文

迴圈工程指南:'自動研究'和'雙層自動研究'如何將AI代理轉變為自主機器學習ML研究迴圈

本文介紹了迴圈工程的概念,即AI代理自主迭代實現目標,包含驗證器、狀態和停止條件三個關鍵部分。詳細闡述了安德烈·卡帕西的自動研究迴圈和雙層自動研究,展示了具體成果:自動研究在700次實驗中找到20個改進,使GPT-2訓練速度提升11%;雙層自動研究透過外層元迴圈進一步實現了5倍的效能提升。還提供了可複用的構建塊和實際操作模板。

  • 迴圈工程用自主迴圈取代手動提示,迴圈包含驗證器、狀態和停止條件。
  • 卡帕西的自動研究迴圈一夜執行700次實驗,獲得20個改進,訓練速度提升11%。
站內正文

AI的記憶。在你的機器上,由你掌控。

exxperts 是一個本地優先的智慧體執行時,提供持久的 AI 房間,帶有受管控的、需審批的記憶功能。所有內容都在本地執行,資料以檔案形式儲存在你的磁碟上,確保隱私和控制權。它提供 Web 應用和 CLI/TUI 兩種介面。

  • exxperts 提供持久 AI 房間,記憶寫入需使用者審批,使用者完全控制 AI 的記憶。
  • 所有資料都儲存在本地,位於 ~/.exxperts 目錄下,無遙測資料。
站內正文

Kote:從AI聊天和Git中捕捉並重用工程上下文的開源工具

Kote 是一款開源工具,自動捕捉開發者與 AI 助手的對話、Git 提交記錄以及開發上下文,構建可搜尋的知識庫,幫助開發者快速回憶過去的技術決策和解決方案。支援 VS Code 擴充套件、GitHub 整合、CLI、瀏覽器擴充套件、WhatsApp/Telegram 訊息整合等,可自託管部署。

  • Kote 被動捕捉 AI 會話、Git 活動等上下文,自動組織成知識庫。
  • 支援 VS Code CodeLens 顯示檔案相關筆記,提供 AI 摘要和時間線。
站內正文

一步陷阱(人工智慧研究中的常見錯誤)

在人工智慧研究中,一步陷阱是指錯誤地認為所有或大多數學習到的預測可以是一步預測,而長期預測可以透過迭代一步預測得到。雖然這種想法吸引人,但由於誤差累積和計算複雜性問題,在實踐中往往效果不佳。本文分析了這一陷阱及其危害,並提出了使用時間抽象模型(如選項和GVF)的解決方案。

  • 一步預測的微小誤差會在迭代過程中累積,導致長期預測嚴重失真。
  • 在隨機環境中,長期預測的計算複雜度隨預測長度呈指數增長,難以實現。
站內正文

反對實用性

本文探討了“無用”研究對未來創新的重要性。作者以Folk Computer系統為例,追溯了從施樂帕克到動態地的研究脈絡,並呼籲資助那些尚未顯現實用價值的正規化級工作。

  • Folk Computer是一個開源物理計算系統,讓整個房間成為計算機。
  • 該系統源自艾倫·凱、佈雷特·維克多等人的研究傳統。
站內正文

GPT-5.6、Fable 5和Grok 4.5根據同一規格重建Basecamp

作者透過Basecamp基準測試評估了GPT-5.6 Sol、Fable 5、Grok 4.5等AI模型在構建前端和後端方面的表現。Fable 5在兩個賽道上均獲勝,Grok 4.5在速度和成本之間取得了最佳平衡。結果顯示,即使是頂級模型在完成度上也有顯著差異,尤其是最後10%的打磨工作。

  • Fable 5在前端和後端基準測試中均得分最高,接近真實Basecamp實現。
  • Grok 4.5以9.30美元的成本在37分鐘內完成構建,速度成本比最優。
站內正文

OpenAI的AI在AtCoder世界巡迴賽決賽中擊敗所有人類選手

OpenAI的AI系統在AtCoder世界巡迴賽2026演算法組中解出全部五道題,得分8300分,而人類最高分僅4300分。啟發式組中,AI得分是人類最佳成績的七倍以上。60萬日元的“人類勝出獎”無人領取。該系統被比作即將釋出的GPT-5.6。

  • OpenAI的AI解出所有五道演算法題,得8300分,人類最高4300分
  • 無人解出最難的C題和E題
站內正文

AI智慧照片編輯器:透過文字提示實現專業級影像編輯

AI Photo Editor是一款免費線上工具,利用Nano Banana和GPT Image 2模型,透過簡單文本提示實現專業級影像編輯。支援多種變換,包括風格遷移、顏色修改、人物轉樂高等。提供從基礎到專業的訂閱計劃,具有95%首次成功率、低於1秒生成速度、面部重構和角色一致性等特性。企業級安全認證(SOC 2、GDPR、ISO 27001),無需信用卡即可開始。

  • 透過自然語言提示編輯影像,無需複雜操作。
  • 95%首次嘗試成功率,生成速度快於1秒。
站內正文

Itara:將分散式系統拓撲作為顯式的可執行層

Itara是一個開源專案,旨在將分散式系統的拓撲結構(元件、連線、傳輸方式、故障處理)從程式碼中分離出來,作為一個獨立的、顯式的、可驗證且可執行的層。它透過一個啟動時讀取的配置檔案和語言特定的接線代理實現,允許透過更改配置檔案來改變元件之間的通訊方式,而無需修改程式碼。專案提供Java和Rust的參考實現,並計劃支援更多語言。工具生態包括驗證、視覺化等CLI命令。核心優勢包括:將拓撲作為一等公民、可增量採用、跨語言支援、以及透過四個關鍵事件實現全面的可觀測性。

  • Itara將分散式系統拓撲顯式化,透過單一配置檔案宣告元件、連線和傳輸方式。
  • 接線代理在啟動時解析配置並建立連線,應用執行時零開銷。
站內正文

Linux of AI:減少AI供應商鎖定的開源工具集

Linux of AI是一個由七個開源專案組成的生態系統,旨在幫助組織構建可移植、可審計、可衡量且不依賴於單一供應商的人工智慧基礎設施。它透過提供行動式本體、策略程式碼、模型替換基準測試、審計日誌、成本測量等工具,解決供應商鎖定、成本不可預測、治理薄弱等問題。該專案採用MIT許可證,所有核心軟體免費開源。

  • 一個包含七個開源專案的生態系統,用於減少AI供應商鎖定。
  • 提供行動式本體、治理策略、模型替換、審計日誌和成本測量工具。
站內正文

完美命中錯誤目標:AI程式碼評審基準的故事

本文深入分析了AI程式碼評審基準的侷限性,指出其未能從第一性原理定義問題,忽略了AI程式碼評審已分化為人類理解和機器驗證兩個不同問題。作者Shrijith Venkatramana認為,基準衡量的是代理指標而非軟體實際成果,並強調了生產結果和嚴重性的重要性。

  • AI程式碼評審基準看似客觀權威,但缺乏對問題本質的深入定義。
  • AI程式碼評審實際包含兩個不同問題:人類理解(優先順序推薦)和機器驗證(自動化修復)。
站內正文

主題導航

Agent — AI 主題新聞 | AI News Hub