AI Roundup · X AI coding圈日报·· 6 小时前AI 评分45
Claude 证明 123 个库零崩溃、Agent Skills 移交给 AAIF、“代码而非规范”与 Bernie 呼吁暂停 AI
Claude proves 123 libraries crash-free, Agent Skills goes to the AAIF, "the code, not the spec", and Bernie wants to pause AI
AI 导读
Anthropic 联合 Theorem Labs 利用 Claude 将 123 个开源库的模糊测试转化为规范，在汇编级证明其在小于 64 MB 输入下永不崩溃。同时，Anthropic 将已被超 70 个平台集成的 Agent Skills 标准捐赠给 Linux 基金会旗下的 AAIF，并在 Claude 客户端为付费计划默认开启自动模式。
来源：AI Roundup · X AI coding圈日报 · ai-roundup.rinti.se