AI 可以快速找出代码中“看起来危险”的模式，但发现疑点并不等于确认漏洞。缺少可达性分析、运行时验证和稳定复现时，扫描结果很容易被误报与模型幻觉淹没。Google 开源的 Mantis 试图把 AI 从单纯的告警生成器变成执行漏洞生命周期的智能体框架，覆盖识别、验证、复现和修复。 传统扫描流程通常停在静态告警：某个输入可能未过滤、某个依赖版本可能受影响...
Google 开源了 Mantis，一个覆盖软件漏洞生命周期的 AI Agent 框架。它处理的不只是“发现可疑代码”，还包括验证漏洞、构造复现方式以及辅助修复。这个方向直指 AI 代码扫描的核心问题：模型能够生成大量看似合理的安全报告，但其中可能混有误报，甚至完全由幻觉产生的漏洞。 传统静态扫描器通常根据数据流、规则或模式输出告警。引入大模型后，扫描...
OpenAI 内部的早期观察显示，编码智能体正在改变 AI 研究的工作方式：它们不仅补全代码，还能承担实现实验、运行测试、分析失败和准备后续修改等连续任务。真正值得关注的变化，不是单次生成了多少代码，而是研究人员能否用更短时间完成更多可靠的实验闭环。 来源摘要没有披露具体数值，因此本文不推断采用率或加速倍数，而是讨论这些早期信号背后的工程含义，以及团队...
袋鼠数据库工具 v9.8.1 已上线。这款 AI 驱动的数据库客户端覆盖 MariaDB、MongoDB、MySQL、Oracle、PostgreSQL、Redis、SQLite 和 SQL Server 等常见系统，并提供建表、查询、模型设计、数据同步、导入导出等能力，可运行在 Windows、macOS 和 Linux 上。对于同时维护多种数据库的...