2026-08-16
Lean和Z3的创造者：形式化验证的痛苦正在消失，让AI证明、让机器验证
2026年8月1日，OpenAI宣布其未发布的下一代模型Astra在10个悬而未决的数学和理论计算机科学问题上取得了新结果，涵盖高维几何、编码理论、群论、算子代数等8个领域。
2026-08-16
预测性维护落地实践：服务自动化与部署规范比模型更重要
预测性维护系统能识别异常振动或温度信号，但技术层面的准确性并不等于实际价值。真正的运营价值在于信号触发后的完整响应链：事件如何被解读、谁来接收、如何生成工单、技术人员获取哪些信息、结果如何反馈。一个连接良好的普通模型，往...
2026-08-16
2026年十大AI视频工具：哪款最能实现创作全流程自动化？
AI视频生成已不再需要专业团队和复杂后期流程。本文盘点2026年十大值得关注的AI视频工具，涵盖Topview、Runway、Kling、Pika、Luma、CapCut、Veo、Synthesia、Canva及Mini...
2026-08-16
如何检查你的AI平台账号是否遭到入侵
与其他网络服务一样，ChatGPT、Claude和Perplexity等主流AI平台账号同样面临被黑客攻击的风险。本文介绍三种平台的账号安全检查方法：ChatGPT用户可在"设置→安全与登录→活跃会话"中查看并退出可疑设...
2026-08-16
8月10日至14日企业科技周报：AI基础设施、网络安全与量子计算最新动态
本周企业科技领域呈现四大关键动态：Anthropic宣布为Claude生成文本添加不可见水印，以满足AI透明度监管要求；黑客组织Cl0p利用PTC软件漏洞攻击近50家企业，包括壳牌、飞利浦等巨头；英伟达联合阿波罗、黑石、...
2026-08-16
Meta智能眼镜面部识别专利曝光，隐私争议再升级
Meta近日向美国专利商标局提交了一份专利申请，揭示其正持续开发将面部识别与智能眼镜结合的功能。该申请包含44页图文说明，描述了一套利用AI面部识别技术识别人物、创建含相关信息的视频等媒体内容的系统。此举引发隐私权倡导者...
2026-08-16
Anthropic详解Claude文本水印的工作原理
Anthropic发布博客文章，详细解答了Claude聊天机器人文本水印的工作机制。水印技术基于Google DeepMind的SynthID-Text方案，通过在词语选择中嵌入不可见模式实现标记，不影响输出质量。轻度编...
2026-08-16
OVHcloud游戏服务器价格最高上涨87%，AI内存需求是幕后推手
法国云平台OVHcloud宣布将于2026年9月起上调专用服务器价格，其中最新一代Game系列涨幅高达87%，现行一代硬件涨幅为51%，2024年代硬件平均涨幅28%。CEO Octave Klaba指出，此次涨价主因是...
2026-08-16
融合能源创业公司融资超1亿美元完整名单
核聚变发电正从"永远差十年"的笑谈，逐步成为吸引大量资本涌入的现实赛道。高性能芯片、AI技术与高温超导磁体三大突破推动了行业加速发展。目前，CFS、Helion、TAE Technologies等已获逾亿美元融资的核聚变...
2026-08-16
2026年上半年美国新增电厂盘点：太阳能主导格局全解析
根据美国能源信息署数据，2026年上半年共有368座公用规模发电厂投入运营。其中，公用规模太阳能以207个项目、11458兆瓦领跑，储能电池以95个项目、8207兆瓦紧随其后。德克萨斯、新墨西哥和亚利桑那三州贡献了全国约...
2026-08-16
"共同地球"项目：打破芯片供应链瓶颈
密歇根大学研究人员与纳米电子研究机构Imec合作，启动"Common Earth"项目，旨在摆脱半导体供应链对稀土材料和特定化学品的依赖。研究聚焦于寻找铪元素的替代品及消除芯片制造中的永久性化学物质（PFAS）。团队同时...
2026-08-16
Einride与DAF合作，将L4自动驾驶系统集成至电动重卡
自动驾驶物流公司Einride宣布与DAF卡车合作，将其L4级自动驾驶系统Einride Driver集成至DAF旗下"X"系列高端重卡平台。面对司机短缺与燃油成本波动的行业压力，两家公司致力于加速自动驾驶电动货运资产的...
2026-08-16
寻找免费的微软365替代品？试试LibreOffice
LibreOffice是由德国非营利组织The Document Foundation于2010年推出的免费开源办公软件，包含Writer、Calc、Impress等六款应用，分别对应微软Word、Excel、Power...
2026-08-15
英爱二手书商疑遭AI公司神秘扫货
英国和爱尔兰多家二手书店近期收到大量来自神秘买家的批量订单，业界普遍猜测背后是AI公司在采购书籍用于训练数据。这些订单主题杂乱、毫无规律，涉及多种语言版本及老旧期刊。据悉，加拿大公司Zoom Books等买家频繁出现在多...
2026-08-15
无线耳机发声原理：驱动单元类型全解析
无线耳机的音质由内部驱动单元（换能器）决定。目前市场主要有四种驱动类型：动圈、平衡电枢、平面磁场和MEMS微机电系统。动圈驱动最为普遍，低频表现突出但易失真；平衡电枢高频细腻但低频偏弱；平面磁场失真低但耗电较大；MEMS...
2026-08-15
2026年换运营商全指南：如何顺利完成手机套餐迁移
换运营商前需做好充分准备：确认新网络覆盖质量、计算当前套餐总费用、检查手机是否付清、确认手机解锁状态，并决定是否换新机。美国三大运营商AT&T、T-Mobile和Verizon各有多档套餐，也可选择使用其网络基础设施的虚...
2026-08-15
DJI Mavic 4 Pro 获得新固件更新，飞行体验更流畅
大疆为Mavic 4 Pro推出固件更新（v01.00.0800），同步更新DJI RC Pro 2、DJI RC 2固件及DJI Fly应用（1.21.8版本）。本次更新主要修复已知问题并优化整体稳定性。需注意，安装后...
2026-08-15
Insta360 X6 发布：集三合一功能于一体的旗舰运动相机
Insta360发布旗舰新品X6，售价约700美元。这款口袋大小的相机集8K 360度全景、传统运动相机与AI追踪拍摄于一体。搭载全新双索尼传感器，感光面积较上代X5提升33%，支持原生Dolby Vision录制与10...
2026-08-15
智能体时代，CPU为何重获重要性
在AI基础设施讨论中，GPU和TPU往往占据主角，但CPU的重要性正随AI从聊天机器人向自主智能体演进而悄然提升。Google Axion产品负责人Mo Farhat将CPU比作"空中交通管制员"，负责智能体工作负载中的...
2026-08-15
2026年最佳360度相机选购指南
本文评选2026年最佳360度相机。综合画质、易用性及功能表现，Insta360 X6凭借8K/50fps视频与1.1英寸传感器摘得榜首，X5性价比突出，GoPro Max 2适合入门用户。文章还介绍了360度相机的工作...