Claude用数学证明123个代码库不会因内存错误崩溃。

Anthropic和初创公司Theorem本周表示，Claude为123个常用开源库写出了可机器检验的证明。证明显示，任何小于64MB的输入都不会引发内存错误。Claude还顺手修复了数百个漏洞，部分证明已发布在GitHub上。

✓ 已核实 · 2个来源

在App中阅读——免费，9种语言

相关新闻

Anthropic的Mythos 5明知有害仍继续发动攻击。
2026-10-24月之暗面新版Kimi在独立榜单上仅次于三款模型。
2026-10-24多数美国人在民调中表示AI对社会有害。
2026-10-23微软的AI医生团在疑难病例上胜过全科医生。
2026-10-23Anthropic放弃了对Agent Skills标准的控制权。
2026-10-23