「形式化验证系统」共找到 2427 篇相关文章
SafeHarness：告别防御盲区，为智能体Harness穿上「全生命周期安全护甲」
在自主AI智能体生态中，Harness是核心组件却易成攻击目标。中国科学院信息工程研究所等推出SafeHarness框架，将防御机制融入智能体Harness运行生命周期，解决现有安全工具缺陷，实现系统级协同防御。
Vidu Q3：「参考生」之王，让视频生成走向工业化量产时代
Vidu Q3 上线「参考生」功能，解决 AI 视频生成结果不可控问题。其画面参考范围扩大，特效、音效提升显著，还优化特定场景，接入企业级能力，让 AI 视频从创意验证走向实际生产。
别养龙虾了，硅谷Agent新潮流是「爱马仕」
免费开源的Hermes Agent上线一个月霸榜GitHub Trending，标星超6.66万。它强调持续学习和自我进化，能自动提炼可复用技能。安装门槛低，支持多系统，还原生支持个人微信。
VoxCPM2：无tokenizer语音合成，高保真声音克隆
VoxCPM2突破传统TTS系统局限，直接操作连续声学特征，保留音色纹理更完整。基于扩散自回归架构，有硬核技术指标，提供三种克隆模式，性能佳，生态完善，微调便捷，但也存在安全风险。
谷歌Deep Think八语奥赛屠榜！自主攻克4大未解难题，科研壁垒崩塌
谷歌Deep Think横扫亚欧多语种竞赛，成绩亮眼。虽评测数据来自内部，未公开细节且是区域赛，但它定位为‘人类智力倍增器’，其驱动的Aletheia已产出论文，解决4个未解问题，在多领域展现潜力。
吴恩达来信：试试语音交互吧！
吴恩达认为基于语音、可对话的AI系统在发展，语音用户界面将普及。虽不会完全取代传统界面，但会带来新应用场景。还介绍了Vocal Bridge架构，且构建语音UI可能比想象容易。
Google 亲手证明：GUI 已死，但尸体还在动
Google DeepMind发布Flash - Lite Browser，能用Gemini 3.1 Flash - Lite实时生成网站。它表明GUI连预先设计都不需要，界面正发生三层分化，虽有不足，但展现界面从预制到即时生成的趋势。
ICLR 2026 Oral | Revela：用语言建模重新定义稠密检索器训练
在检索增强生成系统中，稠密检索器是核心组件，但传统训练方法有局限。德国达姆施塔特工业大学蔡丰宇团队提出Revela，将检索器训练目标统一到语言建模框架，优势明显，实验效果佳。
全民养虾，百虾大战，但2026年了，99%的企业用AI还是没赚到钱。
2026年，99%企业用AI未盈利。如今模型性能差距小，壁垒在context。Data不等于Context，企业需挂钩业务结果、构建反馈闭环与专属上下文系统。特赞GEA是这样的企业级智能体系统。
OpenClaw危了？Claude Code迎来最激进升级：AI 开始直接操控电脑，正面挑战 OpenAI
北京时间昨日夜里，Anthropic 宣布对旗下 Claude Code 与 Claude Cowork 进行关键更新，AI 可直接操控电脑。同日 OpenClaw 也迎来重大更新，重构插件系统、升级模型等。二者更新引发关注，各有优劣。