
從 Doyle 到 AGM:信念變更的工程化之路
本調查回顧從 Doyle 與 London 於 1980 年提出的分類法,到 AGM 框架及當代計算方法的信念變更研究演進。研究將歷史理論與實作挑戰連結起來,為開發穩健且具形式保證的計算藍圖奠定基礎。
ArXiv AI · 36 天前

本調查回顧從 Doyle 與 London 於 1980 年提出的分類法,到 AGM 框架及當代計算方法的信念變更研究演進。研究將歷史理論與實作挑戰連結起來,為開發穩健且具形式保證的計算藍圖奠定基礎。
ArXiv AI · 36 天前

這篇立場論文指出,現有的 LLM 道德評估主要關注模型輸出是否符合人類價值觀,卻忽略模型能否正確識別並應用具情境性的道德規範。論文提議建立標準化規範表示法、專家標註資料集,以及區分價值層級與規範層級能力的評估方法。
ArXiv AI · 36 天前

這篇立場論文主張,AI 治理除了各司法管轄區的法律之外,也應採用類似 ISO 的互通協議。論文提出涵蓋偏誤、能源使用量與資料來源的機器可讀 AI 營養標籤,以簡化跨境合規並提升公眾信任。
ArXiv AI · 36 天前

這篇立場論文指出,AI 安全研究必須正視「AI 鎖定」:人類因過度依賴 AI 系統而失去技能與自主性的風險。論文探討此風險如何從個人技能退化,擴大至社會與國家基礎設施脆弱性,並提出降低風險與提升應變能力的方法。
ArXiv AI · 36 天前

中國具身 AI 賽道的融資週期,正從以年計算壓縮至按月、按週甚至按天計算。新創公司密集完成多輪融資,天使輪、Pre-A 輪與 A 輪之間的傳統界線也日益模糊。
虎嗅 · 36 天前
Qwen Code 新增端到端冒煙測試,用於驗證暫時性 Sandbox 故障後的復原能力。測試會先執行一個 SWE-bench Verified 案例,再執行一個 Terminal-Bench 2.0 案例。
Qwen (GitHub Releases: qwen-code) · 36 天前

文章指出,在 DeepSeek 等突破,以及硬體、新能源與生技進展的帶動下,海外投資者正重新評估中國科技公司。儘管中國科技影響力持續提升,外資機構配置比例仍然偏低,為 CNQQ、CQQQ 等多元化中國科技 ETF 帶來機會。
虎嗅 · 36 天前

文章聚焦清華大學團隊運用 AI 優化 AI 基礎設施,顯示 AI Infra 正邁向自我進化。報導將這項工作定位為打造可支援萬億 Token 工作負載的國產算力生態一環。
量子位 · 36 天前

據稱,一名 Qwen 開發者建議使用者不要等待 35B-A3B 模型。這篇簡短的 Reddit 貼文沒有提供原因,因此目前無法確定該模型是延遲、取消,還是會由其他版本取代。
Reddit r/LocalLLaMA · 36 天前

AI電影已進入專屬競賽、影展與發行階段,但長片製作仍面臨成本失控、工期不確定、畫面一致性不足等問題。創作者表示,模型升級、反覆生成與後期修復使AI長片遠未達到穩定的工業化生產水準。
虎嗅 · 36 天前

據報導,Google 已通知供應商,計畫自 2027 年起將所有 Pixel 產品的生產移出中國。在中美關係持續緊張及提升智慧型手機出貨量的背景下,該公司正加速拓展越南與印度的製造布局。
cnBeta (Full RSS) · 36 天前

文章分析宇樹在 IPO 前如何將傳播策略從強調機器人「像人」轉向展示更具超人色彩的能力。宇樹預計於 8 月 19 日在上海科創板正式掛牌。
钛媒体 · 36 天前

Microsoft 前高管 Steven Sinofsky 表示,Office 過去大約每 24 至 36 個月就會更新名稱、圖示與包裝。這些改版的主要目的並非視覺創新,而是為軟體銷售製造新的推動力。
cnBeta (Full RSS) · 36 天前

Alibaba 正出售旗下盈利的遊戲子公司靈犀互娛,從廣泛生態戰略轉向以 AI 與雲端為核心的模式。公司計畫在三年內至少投入人民幣 3,800 億元建設雲端與 AI 基礎設施,並接受短期利潤率與現金流承壓,以建立長期 AI 領先地位。
虎嗅 · 36 天前

《紐約時報》報導,低品質的 AI 生成內容正蔓延至 Google 搜尋、Amazon 商品頁面與 Facebook 動態消息。案例包括荒謬食譜、虛構人物傳記與怪異的 AI 生成圖片,促使科技公司開始正視這項問題。
cnBeta (Full RSS) · 36 天前

DeepSeek 開放原始碼 DeepSeek Harness,這是一個基於 Cordis 微核心的 CLI Agent 框架。其設計讓包括 Agent 循環在內的所有元件都能以插件形式運作,目標是成為建構 Agent 的彈性基礎平台。
Pandaily · 36 天前

Jiangsu Leili Motor 正從家電工程拓展至人形機器人領域,提供空心杯馬達與靈巧手。公司 2025 年營收達 40 億元人民幣,家電業務占比降至 55%,海外銷售額則接近 50%。
Pandaily · 36 天前

Unitree 宣布截至 2026 年 7 月累計生產 18,000 台純雙足人形機器人,成為中國雙足機器人市場的領導者。AgiBot 已生產 7,000 台純雙足機器人,UBTECH 與 Galbot 則分別約達 3,000 台及 1,000 台。
Pandaily · 36 天前

香港大學與 KAI 研究團隊完成了他們所稱的首場全自主人形機器人乒乓球比賽。兩台 SMASH 2.0 機器人在沒有遙控或人工餵球的情況下,完成發球、對打、計分及完整的 11 分制賽事。
Pandaily · 36 天前

China Mobile 計劃為消費者與企業客戶推出全國統一的 Token 套餐定價。據報中國每日 Token 呼叫量已從 2024 年初約 1,000 億次,增至 2026 年 3 月超過 140 兆次,凸顯以 Token 計費模式的興起。
Pandaily · 36 天前
南韓已將由 Motif Technologies Co. 領導的團隊從主權 AI 競賽中淘汰。
Bloomberg Technology · 36 天前

Gartner 預測,到 2030 年 LLM token 成本可能下降 95%,但 Agent 工作流程的推理成本可能在兩年內增加五倍以上。更複雜的推理、結果驗證、多模態輸入,以及 Agent 之間的協作,正推高日益嚴重的推理成本。
Computerworld · 36 天前

據報 Apple 即將推出配備攝影機的 AirPods。macOS Tahoe 26.7 候選發布版本中被發現一段隱藏的實機示範影片,暗示產品可能於 9 月亮相。
cnBeta (Full RSS) · 36 天前

SEC 工作人員據報認定,某些資料中心證券化架構不適用 Dodd-Frank 的風險留存要求。這項解釋正值 Nvidia 與多家大型金融機構推動大規模 AI 基礎設施融資之際,其中包括一項規模達 5,000 億美元的計畫。
The Next Web (TNW) · 36 天前

智譜發布 GLM-5.3,其網路安全能力已從漏洞重現進一步延伸至受控漏洞利用。最高風險功能目前僅限受審核合作夥伴使用,而模型已加入 GLMCoding Plan、ZCode 與 AutoClaw。
cnBeta (Full RSS) · 36 天前

Microsoft 表示,Windows Server 2022 將於 2026 年 10 月結束主流支援,並轉入延伸支援階段。屆時版本將不再獲得新功能,但會依照 10 年 LTSC 生命週期持續取得安全更新。
cnBeta (Full RSS) · 36 天前

OpenAI 總裁 Greg Brockman 呼籲企業 CISO 採用代理型 AI,在攻擊者利用安全漏洞前找出並修復問題。他建議使用 Codex、Codex Security 外掛程式或類似工具,並讓其受控存取程式碼庫、基礎架構設定與技術文件,但分析師認為相關建議既常規又帶有自利色彩。
Computerworld · 36 天前

文章分析美國正在形成的「硅和平」框架,並認為 AI 競爭正從模型之間的競爭轉向生態系統之間的競爭。文章主張香港應定位為連接中國 AI 產業、全球算力、資本、市場與國際規則的樞紐。
虎嗅 · 36 天前

文章指出,MiniMax H3 正快速縮小與 Seedance 之間的差距。隨著模型能力迅速普及,Seedance 過去的領先優勢可能已所剩不多。
钛媒体 · 36 天前

Google 已同意支付 1,000 萬美元購買破產中的 Spirit Airlines 資料,交易仍待法官審查。這項交易建立在資料已去識別化的說法上,也引發隱私與重新識別風險的疑慮。
The Next Web (TNW) · 36 天前