➡️
继续阅读
-
AI编码助手的日志也会泄密：先划清明文边界
阿里云提出AI日志三层保护方案：采集端脱敏、入库前治理、入库后加密。核心原则是明文边界优先，脱敏、对称加密、信封加密各适用于不同场景。Pilot默认不脱敏...
-
三星称“蒂姆·库克”购买了Galaxy Fold
三星发布新广告，由与苹果CEO蒂姆·库克同名且外貌相似的新西兰人代言Galaxy Z Fold 8，模仿苹果发布会风格，并借库克近期更换头像一事调侃。该广...
-
Claude完成费马大定理首个形式化验证：11天超越人类十年预估工期
Claude借助Lean证明助手，仅用11天完成费马大定理的形式化验证，产出1300万行代码，证明约三万条定理，远超人类预估的10年工期。这冲击了传统同行...
-
一天原型，一周成品：开发 Lody iOS 实况
作者用一周时间，通过给 AI 下约束性指令，从零开发出 Lody 的 iOS 客户端。先让 AI 调研可行性，确定离屏 WebView 承载 WASM、原...
-
Open-Source Project Brings Full iOS 27 Virtualization to Apple Silicon
The open-Source project vphone-cli enables a full iOS 27 system to run as a v...
-
早报｜苹果CEO特努斯回应折叠屏迟到：不做半成品/长鑫存储利润率超三星海力士/36.9万，特斯拉Model Y高性能版上市
陶哲轩等25位菲尔兹奖得主联名警告，AI公司把攻克数学难题当作模型评测基准，可能冲击数学研究与知识传承。其他科技动态：苹果CEO回应折叠屏迟到，称不赶时间...
