'AI程式碼是垃圾' – David Gerard [影片]
David Gerard 在影片中批評AI生成的程式碼質量低劣。
- David Gerard 認為AI程式碼質量糟糕。
- 影片標題直接批評AI程式碼。
主題流
AI 政策會改變模型訓練、產品發布、資料使用和跨境部署的邊界。這裡追蹤監管、版權、安全標準、出口管制、政府採購和產業規則,協助團隊提前理解合規、市場准入和技術路線風險。
David Gerard 在影片中批評AI生成的程式碼質量低劣。
Go Micro 是一個用 Go 語言編寫的智慧體執行時和服務框架。它將服務轉化為 AI 可呼叫的工具,支援 MCP、A2A 和 x402 協議,內建規劃、委派、記憶體和護欄,幫助開發者輕鬆構建分散式智慧體系統。
本文探討了過度依賴AI編碼代理的陷阱,引用《鏡中世界》中的紅皇后競賽。作者認為,移除軟體開發中的人類摩擦(如程式碼審查和設計辯論)會導致脆弱的、未經“燒製”的黏土程式碼,無法承受壓力。文章警告,為了更快交付而使用AI的競賽創造了一個增加複雜性和脆弱性的死亡迴圈。
韓國計劃在年底前推出一個主權網路安全AI模型,以應對日益增長的數字威脅以及美國對Anthropic的Mythos 5等先進AI模型的出口管制。科學部長裴京勳還討論了將白帽駭客合法化,並旨在將韓國的人工智慧競爭力排名提升至第二位。
Fosnie是一款自託管私有AI,資料在本地執行,專為受監管團隊設計。
舊金山市檢察官邱信福致信蘋果和谷歌,要求移除多款利用AI技術生成非自願親密影像的“脫衣”應用,並援引加州深度偽造法律。研究顯示70%的換臉應用可被用於色情化處理。同時,xAI的Grok因生成兒童性虐待材料而受到關注,給應用商店帶來更大壓力。
Patreon創始人兼CEO Jack Conte在主題演講中探討了AI對創造力的影響,將當前對AI的擔憂與歷史上對合成器等新技術的抵制進行類比。他認為AI是一種工具,能夠改變創作過程,但不會取代人類藝術家。真正的藝術價值在於故事和人文連線,而AI生成的“垃圾”作品只是暫時的現象。
Sakana AI 提出的誤差擴散(Error Diffusion)是一種區域性學習規則,無需權重傳輸或反向傳播即可訓練神經網路,並遵循戴爾原則(Dale's principle)。該方法採用雙流架構,將每一層分為興奮性和抑制性流,並透過模誤差路由擴充套件到多類分類,在MNIST上達到96.7%,在CIFAR-10上達到61.7%。研究還發現,三項分類創新在不同任務上的重要性截然不同,併成功將誤差擴散應用於強化學習。
埃隆·馬斯克在孟菲斯快速建造人工智慧資料中心,引發居民對噪音和排放的不滿,全國範圍內出現政策提案、抗議和訴訟。
Malwarebytes釋出的2026年報告顯示,85%的人難以區分真實與AI生成內容,50%遭遇過AI驅動的詐騙,Z世代風險最高。人們因AI威脅而減少線上分享,但行動不足。報告還揭示了AI使用中的道德矛盾:許多人既害怕深度偽造,又認為使用AI進行個人用途是可以接受的。
Patreon 宣佈與 Cloudflare 合作,在網路層面阻止 AI 訓練爬蟲抓取平臺內容。CEO Jack Conte 強調創作者應獲得同意、署名和補償。此舉旨在保護創作者權益,同時允許搜尋爬蟲幫助內容被發現。
中國國家主席習近平在上海世界人工智慧大會上呼籲各國合作發展AI,並宣佈成立由29個國家組成的世界人工智慧合作組織(WAICO),旨在制定全球AI規則。此舉被視為中國挑戰美國在AI領域主導地位的舉措。
Linus Torvalds 為 AI 編碼工具在 Linux 開發中的使用進行辯護,稱 AI 是基於技術價值的實用工具。他承認 AI 並不完美,但認為批評者應先審視人類自身的缺陷。儘管有研究顯示使用 AI 工具的開發者生產力可能下降,但 Torvalds 強調其實際價值,並透露自己已在專案中使用“氛圍程式設計”工具。
NeoSigma公司構建了一套沙盒基礎設施,為自主代理提供安全、隔離且功能完整的執行環境,使其能夠像在真實開發環境中一樣工作,同時確保每一操作都受控、可重現且可丟棄。
隨著AI原生公司的擴張,財務團隊必須利用即時、受治理的資料來保護單位經濟效益。Databricks的Genie One作為AI同事,幫助CFO跟蹤利潤率、消費收入和計算支出。
26名Meta員工起訴公司,指控其使用人工智慧系統針對休病假或家庭假的員工進行裁員,違反了保護孕婦、殘疾人和休假員工的法律。Meta否認指控,稱裁員決定由人而非AI做出。
文章討論了金融服務業中代理型AI(Agentic AI)的ROI證明問題,指出傳統監控工具無法處理多代理系統的動態成本結構。透過兩個實際用例——RFP處理流程自動化和反洗錢合規監控,展示瞭如何利用LangChain平臺(含LangSmith和LangGraph)與Pay-i經濟智慧平臺結合,將工程級可觀測性連線到業務價值,從而向領導層證明AI投資回報。
蘋果正在起訴OpenAI。訴狀可讀性強且激烈,但許多專家認為很多指控只是行業常規做法。蘋果的真實意圖是什麼?為何公開鬥爭?本期節目探討蘋果的訴訟歷史,分析其是否擔心競爭對手或趁機打擊OpenAI。同時,蘋果釋出新版公測軟體,重點是新Siri AI。此外,還有OpenAI裝置、Pixel手機洩露,一加退出美歐市場等新聞。最後快速回顧Brendan Carr、X平臺混亂、裂開表情符號等話題。
貝利·弗拉尼根是一位跨學科研究者,現任麻省理工學院施瓦茨曼計算機學院、政治學系和電氣工程與電腦科學系的聯合教員。她的研究聚焦於利用計算和數學工具促進民主參與,開發了用於隨機選擇公民大會參與者的演算法,並部署在Panelot.org平臺上。
教練視角(Coach's Corner)是一款基於Databricks平臺的應用,能將每秒25幀的比賽追蹤資料轉化為亞秒級的2D/3D戰術板,集回放、事件分析、球探聊天和對手檔案代理於一體。透過Lakeflow管道、DBSQL和Lakebase實現資料的高效處理與快速查詢,並利用Genie、向量搜尋和代理技術提供基於治理資料的AI洞察,解決了高頻資料在決策中的可用性鴻溝。
本文從高層次概述了Smartsheet遠端MCP架構,重點介紹了其背後的AWS基礎設施,包括安全性、治理、擴充套件和部署,以及Smartsheet在AWS上構建的AI特定最佳化。
Startup Factory 是一個開源框架,可將專案管理工具(如 Jira、Linear、GitHub Issues、Markdown)轉化為由 AI 代理驅動的受控交付系統。它提供分層安全邊界、確定性排程和多模型支援。
本文探討AI記憶可移植性問題,指出記憶正成為新供應商鎖定機制,現有匯出功能無法實現真正的可移植性。文章分析行為、上下文和關係三種鎖定型別,介紹Cognee和ByteRover等早期嘗試,並呼籲建立中立記憶交換標準。
Bunkerhill Health 完成5500萬美元B輪融資,用於擴充套件其代理型AI平臺 Carebricks。該平臺已在美國多家醫療系統執行,包括克利夫蘭診所、得克薩斯大學醫學分部(UTMB)等。UTMB 已部署超過20個AI代理,在臨床、運營和管理方面取得初步成效,如降低專家等待時間、提高隨訪率等。
在特朗普指責中國竊取美國選舉資料的同時,習近平在上海人工智慧峰會上強調中國希望引領全球AI發展,並倡導AI為全球公共產品。中美在AI領域的競爭日益激烈,雙方在技術、安全規則和國際影響力上展開博弈。
DoorDash釋出了一個命令列介面(dd-cli),使AI智慧體無需人類批准即可在其平臺上直接下單。此舉雖然讓開發者受益,但也引發了關於去中介化及DoorDash商業模式的爭議。專家警告,如果智慧體主導下單成為常態,拒絕提供這樣的API可能會帶來更大風險。
企業不再僅僅滿足於部署AI,而是更關注可衡量的商業價值、工作流程再造以及成功擴充套件AI所需的治理。
AI雖然改變了眾多行業,但在教育領域進展緩慢,因為學習的關鍵在於意義優先於技巧,需要關愛的人類參與。文章提出雙軌制教育方法:課程軌(保留傳統路徑)和兒童主導軌(激發興趣)。強調在AI時代,應注重培養意義感和真實世界專案,透過認知學徒制等方式讓孩子為未來做好準備。
Meta 的新模型 Muse Spark 1.1 現可透過 Databricks 的 Unity AI Gateway 中的模型提供商服務(MPS)使用。該服務允許組織在 Unity Catalog 中註冊提供商一次,消除 API 金鑰氾濫,並透過熟悉的許可權、速率限制和護欄實現集中治理。此外,自動跟蹤每次請求的令牌使用量、延遲、成本歸屬和審計日誌,提供端到端的可觀察性。
專家警告,AI代理將顛覆企業軟體收入模式,但SaaS末日論被誇大。供應商透過強化核心能力來應對去中介化風險。
BrowserAct是一個瀏覽器自動化CLI,專為AI代理設計,能夠突破反爬蟲封鎖、支援人工接管、並行任務無干擾,並隔離多個賬號。它透過環境層、執行層和人工層三層機制突破封鎖,提供三種瀏覽器模式,並針對LLM推理最佳化輸出格式。
本文介紹了五個免費的智慧體AI學習資源,涵蓋從入門到理論、從實踐到評估的各個方面,幫助學習者深入理解並有效構建智慧體。
最近對不同國家AI模型的測試顯示嚴重的地域審查現象。作者提議建立自願的國際認證標準,以優先考慮事實而非政治利益。
本文探討了在代理開發中規格說明的必要性,指出零規格和過度規格都有成本,最佳平衡點取決於任務型別,並強調了規格驗證和可執行測試的重要性。
本文總結了五項最近關於AI在軟體工程領域的研究論文,這些論文共同揭示了AI正在壓縮軟體工程的上游工作,但下游瓶頸隨之出現。主要發現包括:GitHub Copilot使PR吞吐量增加約40%,且呈劑量反應關係;AI在程式碼生成階段的增益(高達+180%)在交付過程中大幅衰減(最終僅+30%的釋出量);生產力與開發者體驗出現脫鉤;開發者希望AI更多用於驗證任務而非程式碼生成;以及“認知債務”和“意圖債務”正在成為新的軟體健康問題。
JetBrains 研究團隊探討了 AI 與擴充套件現實(XR)結合如何為技術創作者帶來新的互動正規化。透過專家訪談,他們總結了五個主題:人類如何向 AI-XR 系統傳達意圖、AI 如何使 XR 環境理解並適應個人、阻礙 XR-AI 主流化的因素、AI-XR 如何改變創作方式,以及隱私和倫理風險。研究指出,XR 硬體和 AI 的融合將徹底改變技術創作,但面臨技術、認知和組織上的挑戰。
該資料集提供了一個歐盟AI法案(法規(EU) 2024/1689)的單檔案、預嵌入SQLite語料庫,按法律結構分塊(每條款段落、每序言、每附件點、每第3條定義),包含BGE-M3密集嵌入、後設資料、風險等級標籤等,可直接本地查詢,用於研究與工程。
這張NMC首秀專輯展示了萊德洛將科學與古典音樂融合的複雜而富有想象力的作品,包括以愛因斯坦場方程為靈感創作的鋼琴協奏曲《扭曲》。
歐盟釋出兩項新規,要求谷歌共享搜尋資料並開放安卓系統,以便競爭對手AI公司能公平接入。此舉旨在打破科技巨頭的數字壟斷,促進創新,但谷歌警告可能會危及使用者隱私和資料安全。
本文提出LIFT框架,透過在預訓練視覺-語言-動作(VLA)策略後訓練中注入反應式力,解決接觸場景下純視覺方法失敗的問題。LIFT嫁接反應式動作專家,利用因果力記憶和零初始化交叉注意力注入6D力,並結合線上DAgger迴圈應對分佈偏移。在毛巾摺疊、書籍插入和漢諾塔放置任務中,LIFT相比純視覺後訓練學習更快、效能更高。
本研究提出了一種新穎的多模態編排框架,實現語義音訊驅動的人形機器人控制。系統透過音訊指紋和語義嵌入即時處理音樂或語音輸入,動態選擇並執行動作策略,在模擬和Unitree G1人形機器人上驗證了魯棒的模擬到現實遷移。
研究人員提出一種針對柔性關節機器人的自適應控制方法,以應對不確定的關節剛度。該方法透過隱式控制律和依賴於控制輸入的迴歸矩陣,線上更新每個關節的非線性扭矩-偏轉關係估計,並分析了其對電機位置控制器誤差的魯棒性。在具有非線性剛度特性的柔性關節上的實驗結果驗證了該方法的有效性。
SD-MAR是一個用於訓練和評估視覺語言模型(VLM)在多影像分析推理任務上的框架。它透過受控擾動構建成對視覺場景,並生成涉及語義變化歸因和定量比較的推理任務。採用GRPO-lite與後向折扣分配(BDA)的強化學習方法,去除KL正則化以增強策略最佳化。在Qwen2.5-VL-7B和InternVL3-8B上的實驗表明,域內準確率提升高達36.95%,且Qwen2.5-VL-7B在SD-MAR基準上超越GPT-4.1。域外泛化效能保持或提升,在MME、MMMU-Pro、MathVista上波動在1%以內,在MMBench上提升達4%。
本文提出SIRUS,一種無需訓練的推理時框架,用於文本到影片(T2V)模型中的概念級遺忘。SIRUS透過定位與目標概念相關的提示證據並在取樣過程中抑制其表達,無需更新文本編碼器或去噪網路。同時,引入面向影片的評估框架,分別測量目標遺忘、非目標保持、影片質量、越獄魯棒性和效率。在CogVideoX上,SIRUS在五個安全、物體和風格概念上平均遺忘成功率達70.4%,幀命中率25.7%,優於VideoEraser的44.4%和47.2%,並將VBench質量平均下降從-0.043降至-0.016。在Wan2.2上的遷移實驗表明SIRUS可泛化至現代T2V骨幹網路。
研究提出JKP框架,透過重複挑戰性提問評估視覺語言模型的穩定性。測試GPT-4o、Gemini 2.5 Pro和Qwen3-VL-30B發現,模型在持續追問下表現不穩定,答案頻繁翻轉,且不同模型響應模式各異。
該研究分析了閉環知識系統(如大型語言模型、強化學習)為何在重複內部反饋下趨於飽和,並提出了一個三層次操作框架,透過結構干預實現逃逸。使用李雅普諾夫漂移條件刻畫穩定性,並透過干預引起的吸引子位移和KL下界表徵逃逸。案例研究包括LLM程式碼修復、稀疏獎勵強化學習和貝葉斯最佳化。
本文提出C3R,一種即插即用的控制層,透過推斷域後驗,無需查詢時標籤,在可行時認證逐域汙染預算,否則棄權而非違規。該方法基於風險控制預測集的兩階段方案,保證最困難域汙染減少,實驗表明穩定性好,召回率優於傳統方法。
一種名為LLM-T1D的新方法將強化學習與大語言模型相結合,建立了一種可解釋的胰島素泵控制器,用於1型糖尿病,實現了73.5%的時間在目標血糖範圍內,同時提供清晰的解釋。
一篇新論文提出了一種三級分層學習架構,用於執行搜尋與救援任務的自主無人機群,整合了赫布神經可塑性、基於圖神經網路和行為樹的多智慧體強化學習,以及帶BDI推理和數字孿生的元學習。該框架提供形式化保證,並引入群體元認知。
針對AI生成程式碼速度快於人類審查而導致的信任危機,本文提出“語義合約”——一種型別安全、編譯時檢查的藍圖,位於需求與程式碼之間,確保任何實現(無論人工還是AI編寫)的正確性。文章透過排序演算法和電商結賬示例展示了語義合約的構建塊、狀態處理和整合方式。