搜索
Anthropic与Theorem合作，让Claude为123个开源库的239个测试入口完成形式化验证，产出约1.8亿行经机器检查的证明代码并发现数百个Bug，实现其已知首次大规模汇编层生产软件形式化验证。
时下，Linux 内核正在经历一场有些特殊的“漏洞大爆发”。
截至 2026 年 8 月 19 日，Specula 已经在 67 个开源系统中找出 382 个 bug，并被多个公司和开源社区的开发者使用。
只做AI代码审美国AI代码审查与管理工具商CodeRabbit宣布完成1.43亿美元（约合人民币10.3亿元）C轮融资。Crunchbase显示，截至发稿，CodeRabbit一共完成了6轮融资，累计融资额达2.31亿美元（约合人民币16.6亿元）。查赛道，也能跑出一个独角兽！ CodeRabbit，估值已超15亿美元（约合人民币108亿元）。 美国AI代码审查与管理工具商Cod
苹果终于受不了了，给自己的bug赏金计划设置了冷静期。
25分钟，500个钱包被洗劫一空！
一个AI工具挖出了藏在Linux里15年的致命漏洞，另一个AI却因为一个被录错的数字，让四辆警车把无辜记者当成盗车贼围了起来。
科技行业还在收缩，网络安全岗位却抢不到人，连OpenAI也开出44.5万美元高薪招揽安全人才。征兆4月已现：Anthropic的Mythos一个月就挖出超1万个高危漏洞。漏洞发现正被AI加速，网络安全的真正瓶颈，已转向验证与修补。
太疯狂了！Claude Mythos单月狂扫423个安全漏洞，产出飙升14倍，连藏了20年的老Bug都被连根拔起。
PlayerZero 刚刚宣布完成了 1500 万美元的 A 轮融资，由 Foundation Capital 的 Ashu Garg 领投，他也是 Databricks 的早期支持者。这是继 Green Bay Ventures 领投的 500 万美元种子轮之后的又一轮融资。