AISpot

搜尋

依意思最接近的 25 筆

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 pageAI 評分40

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

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

Ars Technica AI● 精選AI 評分80

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

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

機器之心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 月發布,因內部安全測試中在權限邊界上表現不穩而被臨時叫停。

Hacker News front pageAI 評分45

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

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

Hacker News front pageAI 評分68

JetBrains 分享程式碼語義搜尋 RAG 流水線經驗

JetBrains AI 團隊發文介紹其語義程式碼搜尋平台 Air Context 的 RAG 流水線,已投入生產環境。首篇聚焦解析、分塊與向量化:固定行數分塊會把 import 與函式體等無關程式碼混在一起,導致檢索錯誤,因此需按原始碼結構(如 Java 的 import、類定義、欄位與方法)劃分語義完整的塊。

X @AnthropicAIAI 評分51

@AnthropicAI: To help secure systems like power grids and water systems, we’re launching a new Critical Infrastru…

Anthropic 宣布推出關鍵基礎設施防禦計劃,幫助電網、水務等系統加強安全防護。該計劃將把前沿 Claude 模型、駐場工程師與最新研究成果帶給這些系統的運營方,以及為其提供安全、製造與技術服務的供應商。訊息由 Anthropic 官方帳號發布,未提及具體時間表或參與方式。

TechCrunch AIAI 評分15

TechCrunch Disrupt 2026 設專場談 AI 基礎設施瓶頸與機會

TechCrunch Disrupt 2026 將設 Smart Systems Stage 專場,由 Ambrosia Energy CEO Ben Longmier 與 Bloom Energy 資料中心解決方案負責人 Bill Thayer 對談 AI 基礎設施熱潮中的贏家。議題聚焦電力、電網、資料中心、冷卻與電氣裝置等物理層約束,以及哪些短缺會演變成獨立品類。

r/ClaudeAI top of the dayAI 評分62

非開發者用 Claude Code 一個月為工廠搭生產系統

一位傢俱廠運營總監用 Claude Code 在一個月內做出生產管理 Web 應用,已供辦公室和車間日常使用。成果包括各部門排產看板、批次計劃、採購跟進、產能模擬等,共 386 次提交、約 17.5 萬行 Python 與原生 JS、約 2100 個測試、580 個 API 路由、280 張 SQLite 表,技術棧為 FastAPI + SQLite + HTML/JS,跑在廠內 Windows 機器上。

X @OpenAIDevsAI 評分20

@OpenAIDevs: Here’s what our Codex Ambassadors have been up to:

OpenAI 的 Codex 大使在多座城市辦起 Astra Commons 咖啡館聚會,參與者現場用 Astra 動手做東西。倫敦的 Rohith 做出動畫工具 Forma,帶水母演示;西拉法葉的參加者合力搭建視覺化裝置並在咖啡館投影;馬尼拉一位沒有程式設計背景的燈光音響師用 Astra 原型出樹莓派視覺化裝置;布宜諾斯艾利斯的主辦者用 Codex 做了個工具,把一半名額留給此前沒搶到的人。OpenAI 表示也願意支援做 demo 與教程的創作者。

X @OpenAIDevsAI 評分20

@OpenAIDevs: Here’s what our Codex Ambassadors have been up to:

OpenAI 的 Codex 大使在多座城市辦起 Astra Commons 咖啡館聚會,參與者現場用 Astra 動手做東西。倫敦的 Rohith 做出動畫工具 Forma,帶水母演示;西拉法葉的參加者合力搭建視覺化裝置並在咖啡館投影;馬尼拉一位沒有程式設計背景的燈光音響師用 Astra 原型出樹莓派視覺化裝置;布宜諾斯艾利斯的主辦者用 Codex 做了個工具,把一半名額留給此前沒搶到的人。OpenAI 表示也願意支援做 demo 與教程的創作者。

X @AnthropicAI● 精選AI 評分62

Anthropic 推出 Cyber Mission,保護關鍵基礎設施與開源軟體

Anthropic 宣布啟動 Anthropic Cyber Mission,一項旨在保護關鍵基礎設施與開源軟體的新計劃。該訊息由 Anthropic 官方帳號發布,並附官網公告頁面 anthropic.com/news/anthropic-cyber-mission;公告未披露具體投入金額、時間表或合作機構。

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 評分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 模式產出的計劃零散、難讀。

Anthropic News● 精選AI 評分80

Anthropic 啟動 Cyber Mission,推出關鍵基礎設施防禦計劃

Anthropic 於 10 月 8 日啟動長期安全計劃 Anthropic Cyber Mission,首批聚焦關鍵基礎設施與開源軟體兩個方向。關鍵基礎設施防禦計劃(CIDP)向受信任的供應商提供前沿 Claude 模型、駐場工程師與威脅研究,創始夥伴包括 CrowdStrike、Dragos、Palo Alto Networks、羅克韋爾自動化等 11 家。同期推出 OSS Scanner,用其最強模型為開源專案提供免費的定期安全掃描。

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 位社群貢獻者。

X @AnthropicAI● 精選AI 評分74

@AnthropicAI: New on our Engineering blog: Creating in-house source control.

Anthropic 在工程部落格公布,團隊自建了一套版本控制系統,並在五個月內把整個 monorepo 從 git 完整遷移過去。官方給出的動因是:為人類規模而非 agent 規模搭建的開發基礎設施已經成為瓶頸,5 月每天合併約 2,500 次程式碼變更,9 月已超過 30,000 次。部落格文章詳細介紹了新系統的搭建方式,以及 monorepo 完成遷移的過程。

Hacker News front pageAI 評分57

Claude Code 外掛 neckbeard:應用轉雲基礎設施並估算月成本

面向 coding agent 的外掛 neckbeard 在 Claude Code 上線,它讀取應用倉庫,從經過測試的 OpenTofu 模組目錄渲染出可審查的雲基礎設施與月度成本估算,支援 AWS、GCP、Azure 及 GitHub Actions/GitLab CI。規劃、渲染與校驗全部由確定性程式碼完成,agent 只做分析與解釋,不憑空編造基礎設施。

Claude blog● 精選AI 評分63

Block 用 Claude Fable 編排遷移,單次數千 PR 由數十個小模型執行

Square 與 Cash App 母公司 Block 的 AI 負責人 Bradley Axen 介紹了用 Claude Fable 5 編排大規模程式碼遷移的做法:單次遷移涉及跨倉庫的數百到數千個 PR、數百萬行程式碼,由 Fable 負責資料模型、API 規格等高層設計,再排程數十個 Opus、Sonnet 等更便宜的模型完成具體檔案修改與測試,全程跑在其開源協作工作區 Buzz 上。早期結果顯示前沿 token 集中在前期規劃、執行更多交給小模型,品質沒有下降。

量子位AI 評分46

聯想天禧 TianxiCode 登頂 SWE-bench-Live,問題解決率 71%

聯想天禧 AI 自研程式碼智慧體框架 TianxiCode 配合 DeepSeek-v4.1-Flash,在 SWE-bench-Live(Lite 分榜)以 71% 的問題解決率位列全球第一,並通過官方 Verified 核驗。該評測基於真實 GitHub 專案問題與可復現執行環境,官方會審查全鏈路智慧體執行軌跡並排查答案、測試用例洩露。

機器之心● 精選AI 評分77

Anthropic 以 7 人團隊 5 個月自研 Git 替代品 Scion,完成 Monorepo 遷移

Anthropic 用 7 名工程師和 Claude,在 5 個月內從零開發出內部原始碼控制系統 Scion 及程式碼審查工具 Antique,並把整個 Monorepo 從 Git 遷移過去。起因是 AI 程式設計量激增:日均程式碼合併從 5 月的約 2500 次漲到 9 月的 3 萬次以上,主分支歷史近 100GB,CI 每天約 2500 萬次檢出,原有 Git 映象方案難以支撐。

Hacker News front pageAI 評分50

開源基準 Parsimony 按語法單元統計 AI 新增程式碼量

Parsimony 是一個開源基準,用來衡量 AI 模型在改程式碼時到底新增了多少程式碼。它複用 DeepSWE、SWE-bench Verified 與 SWE-bench Live 已公開的補丁,統計語句、呼叫、命名、字面量等「編碼單元」而非程式碼行數,並減去被刪除的程式碼,只算淨增量。GPT-6 與 Claude 5.5 尚無公開補丁,作者在自己的訂閱上跑了 3–10 個任務,結果以淺色圓圈顯示、不參與排名。作者也歡迎提交新模型的公開補丁匯出。

Hacker News front pageAI 評分71

Anthropic 用 Lean 自動形式化費馬大定理,11 天生成 1300 萬行

數學形式化正從人工轉錄轉為 AI 自動形式化:Anthropic 於 2026 年 9 月 4 日宣布完成費馬大定理的自動形式化,11 天生成 1300 萬行 Lean 程式碼;OpenAI 9 月 8 日公布 Navier-Stokes 強制爆破定理時也附帶了 Lean 形式化。此前 Math Inc. 在 24 維球填充問題上生成約 50 萬行程式碼,Meta 的 ATLAS 專案則自動形式化了 26 本教科書的大部分內容。

Hacker News front page● 精選AI 評分77

Anthropic 自研版本控制系統 Scion,五個月完成 monorepo 遷移

Anthropic 自研了內部版本控制系統 Scion,並在五個月內把 monorepo 從 git 全量遷移完成。原因是 AI 編碼速度已超出為人設計的開發基礎設施:日合併程式碼變更從 2026 年 5 月的約 2500 次增至 9 月的逾 3 萬次,主分支歷史近 100 GB,壓縮工作副本超 25 GB,CI 每天約 2500 萬次 checkout。Scion 假設客戶端始終線上,由服務端負責歷史、blame、合併與 rebase,客戶端只保留有界快取;

Simon WillisonAI 評分25

Carson Gross:即便有 AI 工具,程式設計仍是可行職業

Carson Gross 認為,即便 AI 工具已經出現,程式設計仍會是一門可行的職業。他把程式設計歸結為兩件事:用計算機解決問題,以及在解決問題的過程中學習控制複雜度;在他看來,很難想像未來懂得用計算機解決問題、並控制這些方案的複雜度會比今天更不值錢。這番話發布於 2026 年 10 月 8 日,標籤涵蓋電腦科學、職業與 AI。