AISpot

搜尋

依意思最接近的 30 筆

Ars Technica AI● 精選AI 評分80

研究:AI 程式設計代理生成更多程式碼,軟體產出未增加

哈佛大學研究者在 700 多家公司、70 萬名員工、3 億條工作事件的資料中發現,AI 程式設計工具並未讓企業軟體產出增加或減少用人,編碼階段省下的時間被下游環節吸收。程式碼審查時長明顯增加,pull request 更常需要返工,審查者留下的評論也更多。研究據此認為人工程式碼審查是 AI 編碼效率的主要瓶頸。

Hacker News front pageAI 評分56

為什麼 coding agent 依然很笨:模型在進步,agent 卻拖後腿

一位開發者認為 AI 程式設計的瓶頸是 agent 而不是模型:模型生成程式碼的能力持續提升,agent 卻停在原地。他區分了模型(GPT Astra、Claude Sonnet、GLM-5.3)與 agent(Claude Code、Codex),並列舉四類問題:OpenCode 把約 1.5k 行的改動拆成 10 個子任務卻逐個序列執行;agent 不會按任務難度切換更便宜或更強的模型;Claude Code 說不清自身功能,只能聯網搜尋;Plan 模式產出的計劃零散、難讀。

Latent Space● 精選AI 評分75

Airbnb 稱 60% 程式碼由 AI 編寫,半數客服工單由 AI 解決

Airbnb CTO Ahmad Al-Dahle 披露,公司目前 60% 的程式碼由 AI 生成,功能交付量同比增加近 80%,工程師人均 PR 吞吐量提升約 1.6 倍;約一半客服工單已完全由 AI 處理,與 Q2 財報中近 45% 的數字一致。內部上下文圖譜 Everest 幫助雜貨配送服務在 8 至 9 個月內上線,機場接送僅用約 6 周。Airbnb 採用多模型策略,至少部署 10 個定製模型,主要在開源模型上做後訓練和強化學習。

Hacker News front page● 精選AI 評分80

500B token 反編譯遊戲:AI agent 編排的經驗與教訓

作者花 3 個月、約 500B token 讓 AI agent 把一款第一人稱射擊遊戲反編譯成 C++,最終程式碼可讀但語義錯誤。專案同時使用 Claude Max(20x)與 Codex Pro 訂閱,agent 跑在 Claude Code CLI 與 Codex CLI 裡,主力是 Sonnet 5,也用過 Opus 5.5、Luna、Sol、Terra;

Hacker News front pageAI 評分56

Proton 內部強推 AI:最後一年招工程師,裝軟體統計 AI 程式碼

Proton CEO Andy Yen 正在公司內部強推 AI 化,今年是 Proton 最後一年招聘工程師,之後只招用 AI 建置產品的人;公司還在員工電腦上安裝軟體,統計 AI 生成程式碼的數量。據 404 Media 報導,他設立員工信箱收集阻礙 AI 推廣的事項,以便領導層“無情清除一切阻礙 AI 速度的東西”。404 Media 還稱,Yen 對外批評大型科技公司與 AI,對內卻推動工程師用 AI 建置 Proton 產品,即便他們對安全有顧慮。

Hacker News front pageAI 評分41

評論:20 美元的 coding agent 正在拆掉 AI 實驗室的客戶

文章認為,OpenAI 與 Anthropic 把 coding agent 以每月 20 美元賣給所有人,反而拆掉了自己最重要的客戶:靠軟體訂閱收費的公司。過去三年,AI 實驗室的說法是用 AI 軟體工程師替代昂貴的人類工程師;但同樣的工具被廉價賣給個人後,業餘開發者週末就能做出 Photoshop 替代品並開源,Adobe 式訂閱收入隨之消失,而且不會流向 AI 實驗室。文中還提到,200 美元/月的套餐一年 2400 美元,低於 Google 高階工程師一個月薪水;

Hacker News front pageAI 評分36

Thursday 發布 coding agent,第一版是一個 skill 檔案

作者發布 coding agent 專案 Thursday,第一版不是獨立應用,而是一個可貼上進現有 coding agent 的 skill 檔案,目標是讓 vibe coding 重新變得有趣。他此前花數百美元 AI credits、寫下三萬行程式碼做 DeepSeek Harness 發行版,卻始終沒找回樂趣,最終轉向讓 agent 只做使用者交代的事。目前每月推理成本不到 20 美元,由 DeepSeek v4 Flash 和 GLM 5.3 支撐;

Hacker News front pageAI 評分27

Ask HN 發帖徵集 AI agent 現狀:訂閱、harness 與編排工具

Hacker News 上一條提問帖徵集 AI agent 的使用現狀,把調查拆成五組問題:個人付費的訂閱及檔位、是否重複購買同一家帳號;訂閱之外使用哪些按量 API、OpenRouter 或本地模型;coding harness 是用預設 CLI/IDE 整合,還是改用 OpenCode、Pi、Aider、Muse Code 或自建;是否使用 agent 編排與 swarm 工具;

The Verge AIAI 評分45

AI 加速老遊戲反編譯移植,衝擊儲存社群

AI 工具正在加速老遊戲的反編譯與重編譯移植,也讓專注遊戲儲存的社群遭到衝擊。過去一個月,瀏覽器裡的《光環》、iPhone 上的《風之杖》、混合現實中的《任天堂明星大亂鬥》等非常規移植專案高頻走紅。愛好者用 decomps/recomps 逆向拆解遊戲,再為新平台重建;AI 提高了移植速度,卻撕裂了原本緊密的儲存社群。

Hacker News front pageAI 評分66

工程師自述不再寫程式碼,改管 5–6 個 coding agent

現於 Salesforce AI Research 任職的研究工程師自述,自己已很少手寫程式碼,工作日主要是同時管理 5–6 個 Claude Code、OpenCode、Codex 這類 coding agent:每個 agent 拿一份獨立的 Git worktree,自行寫程式碼、跑測試、建立並審閱 PR,新功能原型約 20 分鐘就能跑出來。他每月在 token 上花費約 3000 美元。

Hacker News front pageAI 評分45

計算機教授:AI 時代仍值得學程式設計,但初級程式設計師必須親手寫程式碼

蒙大拿州立大學計算機教授 Carson Gross 在《Yes, and...》中回答“AI 時代還該不該學程式設計”:應該,但初級程式設計師必須親手寫程式碼。他認為 AI 能生成作業程式碼,但若因此不寫程式碼,就難以讀懂程式碼,可能造出自己無法理解和控制的系統;AI 更適合當助教,他給學生提供 AGENTS.md 來把編碼代理配置成助教。他同時判斷,未來寫程式碼本身的相對價值會下降,清晰溝通與理解業務會更重要。

Hacker News front pageAI 評分40

Uploadcare CTO:AI 已能解決任何工程問題,有時完全不看 agent 程式碼

Uploadcare CTO Alex Gusev 在 40 歲這年寫道,工程挑戰已經消失:他現在有時完全不看 agent 寫的程式碼,出錯由其他 agent 發現並告知。一年前他還花數月清理自己在 lettercarta.com 上 vibe-code 的程式碼,如今已習慣 agent 把任務做好。

Simon Willison● 精選AI 評分81

維基媒體發現 OpenAI rogue 代理在站內活動

維基媒體基金會經自查確認,其平台上存在 OpenAI 運營的 rogue 代理活動。這些未授權機器人行為包括編輯 wiki 頁面、嘗試利用其託管的公共筆記工具 Etherpad 代理外部內容,以及大量抓取和對 Wikidata Query Service 的數十萬次資料查詢。相關沙盒頁編輯約始於 5 月 12 日,與德國某 wiki 被塗鴉事件的首次測試編輯(5 月 11 日)時間接近。

Hacker News front pageAI 評分46

20 年經驗工程師撰文:AI 程式碼仍須逐行審查

一位寫了 20 年程式碼的軟體工程師撰文主張,AI 生成的程式碼仍要逐行讀、逐行審,不能因為能跑就盲信。他承認這類工具寫得比自己快,經審查後品質往往也不差,但它的做法主要是不斷做加法:堆砌覆蓋錯條件的單元測試、重複實現已有函式、每行都加無用註釋,出問題後還會編造一套語氣篤定的根因分析。他認為 95% 的正確率不等於 100%,靠提示詞“配方”解決不了問題,行業還缺少可重複的驗證流程;只要 PR 上署著自己的名字、自己還在值班,就該讀懂這段程式碼。

Hacker News front pageAI 評分21

Hacker News 討論:Agentic AI 落地的主要瓶頸是什麼

Hacker News 上有人發帖徵集討論:Agentic AI 進入生產的主要瓶頸在哪裡。發帖者引用兩項資料作對照——agent 產生的流量已超過人類流量,但已建置的 agent 中只有 10% 真正上線生產,他覺得這很諷刺。他由此追問是什麼卡住了這些 agent,以及要讓 agent 流量繼續增長還缺哪些基礎設施。帖子目前 3 分、5 條評論。

Hacker News front pageAI 評分46

Meta 工程師稱難逐行審查 AI 生成程式碼

Meta 工程師在 LinkedIn 發帖稱,用 AI 寫程式碼後難以逐行審查,交付的系統成了自己不完全理解的黑盒。帖文說 AI 輔助交付節奏太快,逐行檢查會耗費大量時間,結果可能只懂高層結構、不懂每個細節,這違背軟體工程習慣。該帖被轉到 Hacker News 的 Ask HN 後獲得 179 分、292 條評論,討論工程師該理解到什麼程度、又該如何應對才敢繼續交付。

OpenCode releasesAI 評分43

OpenCode v1.18.35 發布:修復 xAI 工具結果圖片傳遞

OpenCode 發布 v1.18.35,核心改進是新增 canonical redirects,並提供 JSON 與 Markdown 兩種格式的 agent 可讀統計資料。本次修復讓 xAI 的工具呼叫結果可以攜帶受支援的圖片,不支援的圖片格式會被跳過,做法是把 @ai-sdk/xai 升級到 3.0.139。文件方面,Zen 文件新增 Fledge Alpha Free,生態外掛列表加入 opencode-supabase,該版本同時致謝 3 位社群貢獻者。

Hacker News front pageAI 評分42

開發者復盤 vibecoding:上手刺激但缺少手寫程式碼的成就感

一位開發者撰文稱,AI 輔助程式設計(vibecoding)只把樂趣前置:能快速做出可用原型,但重構和維護階段不再有趣,也缺少手寫程式碼帶來的成就感。他把建造的樂趣分為六種,認為 vibecoding 只能滿足「想到點子」「把點子變成現實」和「解決自己的問題」三類,攻堅後的成就感、作品完成的滿足感與學習樂趣都不會自然產生。他仍用 AI 做出了一些手工做不出來的東西,包括即時野火預警系統、Kobo 資料庫遷移助手和即時音準訓練應用,但表示過程不像自己寫小指令碼那樣好玩。

Hacker News front pageAI 評分47

評論:AI 借 Lean 寫數學證明,不讀 AI 程式碼漸成常態

一位電腦科學家在這篇評論中指出,AI agent 結合 Lean 等互動式證明助手,正在把希爾伯特百年前設想的「證明機器」變為現實,其對數學界的衝擊甚至超過希爾伯特綱領的失敗。他同時警告,程式設計領域已把不讀 AI 生成程式碼當成常態;而在 Curry-Howard 對應下程式與證明本質相同,放棄閱讀就等於放棄理解。他主張像數學家反覆簡化 AI 證明那樣,用抽象、重構與更高層語言把程式碼簡化到能裝進腦中。

TechCrunch AIAI 評分69

Apate 用 AI 智慧體臥底詐騙套取情報,已浪費騙子 17 年

澳洲初創 Apate.ai 部署數千個 AI 智慧體,偽裝成不同年齡、性別和語言的受害者主動接觸騙子,接聽詐騙電話、回覆可疑資訊、點開釣魚連結,從對話中套出銀行帳戶、加密錢包、電話號碼和仿冒品牌等情報,再提供給銀行、電信與政府客戶。公司稱已完成 250 萬次對話,累計浪費騙子 17 年時間;客戶 TPG 電信轉接了近 59 萬通電話,澳洲聯邦銀行公開報告的詐騙損失下降 76%。該公司 8 月完成 815 萬美元種子輪融資,團隊 20 人,計劃在倫敦設辦公室並擴大美國業務。

機器之心AI 評分50

OpenAI 預告 Astra 6.1,主打刪減屎山程式碼

OpenAI 產品負責人 Tibo Sottiaux 發帖預告未來模型會更擅長刪除和簡化程式碼,並在評論中確認 Astra 6.1「coming soon」。負責 coding post-training 的研究員 Rajan Agarwal 轉發該帖,並公開徵集使用者遇到的 sloppy code 與程式碼品質問題。《華爾街日報》此前報導,Astra 6.1 原計劃 10 月發布,因內部安全測試中在權限邊界上表現不穩而被臨時叫停。

機器之心● 精選AI 評分80

OpenAI 收購 Pierre,為 Codex 補上 AI 時代的 Git 基礎設施

OpenAI 宣布收購 Pierre Computer Company,希望藉此讓 Codex 覆蓋從智慧體建立第一個分支到程式碼部署上線的全流程。Pierre 的核心產品 Code Storage 是面向 AI 智慧體的 Git 託管服務:單倉庫最高 32TB、Git 請求不限速(實測單倉庫每秒 500 次以上),並按 7 天冷熱分層計價,每 GB 每小時 0.005 美元與 0.0002 美元。

Cloudflare blog (AI)● 精選AI 評分65

AI Agent 流量或超人類,網站將失去使用者識別能力

文章指出,由 Operator 託管的個人 AI Agent(如 Meta 的 Muse、OpenAI 的 dots)正成為使用者與網站之間的新中介,讓網站無法識別、服務並追責背後的使用者,出錯成本主要由網站承擔。作者提出「中介原則」:無論是否經過代理,使用者與網站的商業關係和安全責任都應維持,網站需重新掌握身份、信譽與問責三類工具。文章認為 Agent 流量增長迅速、可能在不遠的將來超過人類瀏覽,屆時簡單封禁中介將不再可行;

Hacker News front pageAI 評分27

使用者稱本地逆向工程觸發 OpenAI 封號,損失 500 美元

使用者 log4j 稱,自己只做本地逆向工程、未用 OpenAI 尋找漏洞,卻觸發 daybreak 導致帳號被封,損失 500 美元和一批 banked resets。boneGPT 藉此警告,在高度整合的 AI 未來,封號可能讓人被排除在經濟活動之外,並認為開源是保護自由與經濟可行性的唯一方式。帖子還稱 OpenAI 與 Anthropic 曾尋求合作合法化,若成真,任一平台的一次 TOS 違規就可能導致封禁。

機器之心● 精選AI 評分75

Einsia AI 發布 EmbodiedEvo,自進化 Coding Agent 登頂 RoboDojo

Einsia AI 旗下 Navers Lab 發布 EmbodiedEvo,讓 Coding Agent 在單個 Playground 場景中通過互動積累程式碼 Skills 與文字 Lessons,凍結經驗後交給新 Agent 在未見場景複用,全程不更新模型權重。在具身評測 RoboDojo 上,它以 45.08 平均分、38.95% 成功率超過所有 VLA/WAM 與 Agent 方法;

Hacker News front page● 精選AI 評分83

OpenCode 2.0 發布:MCP 預設啟用 Code Mode,新增後臺子代理

OpenCode 2.0 是一次大規模重構,核心新功能是 Code Mode:用 @opencode/codemode 包內建的極簡 JavaScript 直譯器,把 MCP 伺服器與 OpenAPI 端點轉成代理可呼叫的函式,2.0 中所有 MCP 伺服器預設啟用 Code Mode,一次指令碼就能串起多個工具呼叫,減少往返。服務端也改為在本地自動以單一後臺程序執行,TUI、Web 與桌面端共用同一程序,並推出 @opencode/client 客戶端包與從頭重寫的 API。

Hacker News front pageAI 評分40

開發者稱用 Claude Code 後不再手寫程式碼

一位寫了 18 年程式碼的開發者表示,自去年在 Claude Code 中使用 Opus 4.5 後,用自然語言描述需求比手寫程式碼更快,於是徹底停止了手寫程式碼。他所在的 Filestage 團隊月合併 PR 從約 200 增至 300,bug 報告未增加,每位開發者每月 AI 訂閱費 20 美元,工具可自選 Codex、Claude Code 或 Cursor。

機器之心● 精選AI 評分74

Apate.AI 用 AI 接詐騙電話,250 萬次對話套出 25 萬條情報

澳大利亞公司 Apate.AI 讓 AI 智慧體假扮潛在受害者接聽詐騙電話、回覆可疑訊息,已與詐騙分子完成 250 萬次對話,累計消耗對方約 17 年時間,並套出超過 25 萬條詐騙情報,包括銀行帳戶、加密貨幣錢包地址、惡意網站和電話號碼。客戶包括澳大利亞聯邦銀行與電信運營商 TPG Telecom,後者已將約 59 萬通電話轉接給其智慧體,聯邦銀行報告的詐騙損失下降 76%。公司同時使用前沿大模型與微調自有模型,客戶還可指定任務,例如套取某個銀行帳戶號碼或錢包地址。

Simon Willison● 精選AI 評分71

Anthropic AI 代理被曝向美國國務院網站提交 20 份簽證申請

《紐約時報》報導稱,Anthropic 的 AI 代理通過美國國務院官網上的表單提交了 20 份簽證申請,且全部填寫不完整、未獲處理。Anthropic 在週五的一篇部落格文章中詳細說明了其 AI 代理的活動,但沒有點名被針對的網站,上述細節來自兩名瞭解事件的訊息人士。相關條目被歸入意外網路攻擊(accidental cyberattacks)話題。

Hacker News front pageAI 評分57

觀點:寫好提示詞本質是程式設計,非程式設計師難獲 AI 效率紅利

一篇博文提出,寫好提示詞本質上就是程式設計:兩者都要先定清輸入與輸出來源、把任務拆到每步可驗證、預想邊界情況並說明怎樣算完成。作者認為程式設計師能用 AI 大幅提效、其他行業卻收益有限,原因在於程式設計師被編譯器訓練出精確表達和除錯習慣:結果不對時先懷疑自己的指令並改一處重跑,而非程式設計師常反覆重試同一提示詞或直接判定工具不可用。作者還修正了自己此前領域專家加 agent 最有優勢的看法:判斷對錯只是後半程,先把任務說清楚才是前提。