[AI小新闻速递] AI代码量产时代的“验证差距”：到2030年95%将由AI生成？

📰 新闻概述

• 谷歌和微软的新代码中，25%至30%已经是AI生成的，预计到2030年将达到95%。
• Anthropic利用并行AI代理，在短短两周内耗资不到2万美元构建了10万行规模的C编译器。
• 大约一半的AI代码未通过基本的安全测试，人类未验证内容便直接承认的“验证差距”正在扩大。

💡 重要观点

• 软件质量低下每年给美国经济带来2.41万亿美元的损失，AI的量产可能加剧这一问题。
• 为克服传统测试和代码审查无法防止的漏洞，数学证明的“形式验证”变得愈发重要。

🦈 鲨鱼观察（策展人的视角）

AI在两周内完成编译器的速度令人惊叹！但人们不再“阅读差异”的指摘让人不寒而栗。如果像Heartbleed这样致命的错误被以AI的速度不断嵌入，基础设施将变成“无法理解的噩梦”！生成速度加快的同时，验证也必须通过数学自动化来跟上！

🚀 未来会怎样？

随着AI代码生成的加速，单纯的“测试”将不再足够，数学上保证正确性的“形式规范”和“证明”技术将成为软件开发的标准防线。

💬 鲨鱼的见解

让AI来写，人在旁边“全承认”，这简直不是开发，而是纯粹的“运气游戏”！🦈💥

📚 术语解说

• 形式规范 (Formal Specification): 用数学语言严格定义软件“应该如何运行”。

• 糟糕作品 (Workslop): AI生成的外表华丽但内部有缺陷，后续需要修正的成果物。

• Heartbleed: 2014年发现的OpenSSL漏洞。一个小错误造成了数亿美元的损失，成为历史教训。

• 信息来源: 当AI编写软件时，谁来验证？