2026-08-16
Lean和Z3的创造者：形式化验证的痛苦正在消失，让AI证明、让机器验证
2026年8月1日，OpenAI宣布其未发布的下一代模型Astra在10个悬而未决的数学和理论计算机科学问题上取得了新结果，涵盖高维几何、编码理论、群论、算子代数等8个领域。
01 / BRAND UPDATES
栏目上新
品牌栏目持续更新
02 / SELECTED TOPICS
推荐专题
2026-08-14
双流卷积网络：当深度学习第一次在视频动作识别上打败了手工特征
这篇论文提出了双流卷积网络，通过将视频拆分为空间流（处理静态画面）和时间流（处理光流运动信息）两条独立网络路径并融合结果，首次让深度学习方法在视频动作识别任务上超越了统治多年的手工特征方法，为后续视频理解研究奠定了核心范...
2026-08-16
预测性维护落地实践：服务自动化与部署规范比模型更重要
预测性维护系统能识别异常振动或温度信号，但技术层面的准确性并不等于实际价值。真正的运营价值在于信号触发后的完整响应链：事件如何被解读、谁来接收、如何生成工单、技术人员获取哪些信息、结果如何反馈。一个连接良好的普通模型，往...
2026-08-14
当红队攻击AI也能“记笔记“：PIMiner如何用一本越写越厚的攻略本打败强化学习
PIMiner是一套自动化提示注入红队测试系统，通过策略库、路由器、迭代攻击、经验消化器构成的分层记忆机制，将攻击经验转化为可复用的策略文件。在IPIArena和AgentDojo基准上对九个前沿大模型测试，攻击成功率媲...
2026-08-16
2026年十大AI视频工具：哪款最能实现创作全流程自动化？
AI视频生成已不再需要专业团队和复杂后期流程。本文盘点2026年十大值得关注的AI视频工具，涵盖Topview、Runway、Kling、Pika、Luma、CapCut、Veo、Synthesia、Canva及Mini...
2026-08-14
你让AI画一张“敦煌壁画风格的哈利波特“，它会犯什么错？你有没有试过用AI画图工具生成一张历史场景的图片？比如输入“1889年伦敦东区的雾夜街景“，或者“郑和下西洋时的船队“。大概率你会得到一
这篇论文提出ToolArtist,一种让统一多模态模型自主决定推理、搜索、画图的智能体式图像生成方法。通过教师轨迹转换的监督微调和RAD-GRPO强化学习双阶段训练,ToolArtist在WISE与WorldGenBen...
2026-08-16
如何检查你的AI平台账号是否遭到入侵
与其他网络服务一样，ChatGPT、Claude和Perplexity等主流AI平台账号同样面临被黑客攻击的风险。本文介绍三种平台的账号安全检查方法：ChatGPT用户可在"设置→安全与登录→活跃会话"中查看并退出可疑设...
2026-08-14
韩语AI能力体检报告：一场关于“到底哪里出了问题“的侦探游戏
NOLLI是一个韩英双语程序化谜题评测基准,包含15种题型7500道题,通过校准难度精确诊断AI模型韩语表现差距的成因:发现语言表达本身影响很小,但谚文字母的多步骤拆解操作和韩语文化词汇知识是两大真实短板,且后者不随模型...
2026-08-16
8月10日至14日企业科技周报：AI基础设施、网络安全与量子计算最新动态
本周企业科技领域呈现四大关键动态：Anthropic宣布为Claude生成文本添加不可见水印，以满足AI透明度监管要求；黑客组织Cl0p利用PTC软件漏洞攻击近50家企业，包括壳牌、飞利浦等巨头；英伟达联合阿波罗、黑石、...
2026-08-14
2014年，一段视频教会了神经网络“看动作“
这篇论文提出了双流卷积网络，用两个独立分支分别处理视频的静态画面和光流运动信息，再融合结果做动作识别。2014年发表时首次让深度学习方法在视频动作识别任务上追平并反超统治多年的手工特征方法，为后续视频理解研究确立了空间时...
2026-08-16
Meta智能眼镜面部识别专利曝光，隐私争议再升级
Meta近日向美国专利商标局提交了一份专利申请，揭示其正持续开发将面部识别与智能眼镜结合的功能。该申请包含44页图文说明，描述了一套利用AI面部识别技术识别人物、创建含相关信息的视频等媒体内容的系统。此举引发隐私权倡导者...
2026-08-14
用一段视频，换出一个可以自由走动的世界
UniWorld-View是一个统一的大基线新视角生成框架，通过遮挡感知点云渲染解决几何歧义问题，结合双流条件视频扩散模型融合几何指导与外观参考，实现从单目视频精确控制相机轨迹的高保真新视角生成，并支持下游动态三维重建。
2026-08-16
Anthropic详解Claude文本水印的工作原理
Anthropic发布博客文章，详细解答了Claude聊天机器人文本水印的工作机制。水印技术基于Google DeepMind的SynthID-Text方案，通过在词语选择中嵌入不可见模式实现标记，不影响输出质量。轻度编...
2026-08-14
视频里藏着两条线索，AI 学会了同时看两条
这篇论文提出双流卷积网络,首次让深度学习在视频动作识别上追平传统手工特征方法。通过把视频拆分为空间流和时间流分别处理静态画面和光流运动信息,再融合预测结果,在 UCF-101 上达到 88% 准确率,为后续视频理解模型的...
2026-08-16
OVHcloud游戏服务器价格最高上涨87%，AI内存需求是幕后推手
法国云平台OVHcloud宣布将于2026年9月起上调专用服务器价格，其中最新一代Game系列涨幅高达87%，现行一代硬件涨幅为51%，2024年代硬件平均涨幅28%。CEO Octave Klaba指出，此次涨价主因是...
2026-08-14
当“恢复“不等于“恢复“：一份让AI工作流框架现出原形的机器验证契约
这篇论文提出了机器验证的RESUME CONTRACT，用TLA+形式化模型和真实框架测试，系统揭示了LangGraph、CrewAI、pydantic-graph等五个主流AI智能体框架在检查点、中断、恢复语义上的严重...
2026-08-16
融合能源创业公司融资超1亿美元完整名单
核聚变发电正从"永远差十年"的笑谈，逐步成为吸引大量资本涌入的现实赛道。高性能芯片、AI技术与高温超导磁体三大突破推动了行业加速发展。目前，CFS、Helion、TAE Technologies等已获逾亿美元融资的核聚变...
2026-08-14
一个贴纸就能让机器人手臂“假装抓取“：flow-matching机器人策略的denoising漏洞
这篇论文发现，看似能抵抗对抗攻击的flow-matching机器人模型（如π0），其实存在一个致命漏洞：只需在机械臂摄像头贴一张32像素小贴纸，专门攻击去噪过程的第一步，就能让近乎所有任务失败，且这种"只攻第一步"的策略...
2026-08-16
2026年上半年美国新增电厂盘点：太阳能主导格局全解析
根据美国能源信息署数据，2026年上半年共有368座公用规模发电厂投入运营。其中，公用规模太阳能以207个项目、11458兆瓦领跑，储能电池以95个项目、8207兆瓦紧随其后。德克萨斯、新墨西哥和亚利桑那三州贡献了全国约...
2026-08-14
视频里的动作，光流帮你看
这篇论文提出双流卷积网络，把视频动作识别拆分成处理静态画面的空间流和处理光流运动信息的时间流，两条网络分别训练再融合结果，在 2014 年首次让深度学习方法在动作识别准确率上追平手工特征方法，是视频理解领域的重要突破。