Tw

生产力

AI可以为开源库生成数学安全证明，增强软件验证并减少漏洞。

Disruptive • Unknown

总部位于达拉斯的投资公司Disruptive筹集了100亿美元，用于投资人工智能、国防和软件领域，使其管理资产规模翻倍。该公司正从单一项目特殊目的载体（SPV）转向自主决策基金结构，并计划为10家后期阶段的公司各提供10亿美元支持。

Artificial Analysis推出了Intelligence Index v5，新增了两个编码和科学基准测试以及三项升级，目前该指数的大部分基于私有数据集构建。据该组织称，Claude Opus 5.5（max）以58分的成绩领先。

AI Research • Techmeme

网络安全初创公司Cathedral利用AI代理通过第三方软件入侵Anthropic的内部系统，这是其漏洞赏金计划的一部分。Anthropic确认访问了销售、人力资源和IT数据，但质疑入侵的深度，强调了通过外部软件依赖关系暴露的风险。

AI Safety • The Decoder

纽约州州长Kathy Hochul签署了两项法案：一项禁止AI聊天机器人为未成年人使用“不安全功能”，另一项要求联网婴儿监视器具备安全功能。这些法律增加了各州层面遏制儿童AI风险的力度。

Policy • Techmeme