Claude实现代码自动验证
Anthropic让Claude生成数学证明来验证代码正确性，为123个开源库生成约1.8亿行证明代码，发现了多年测试未发现的bug。
简短解读
这一进展使形式验证像标准测试一样常规化，有望提高软件安全性和可靠性。
AI前沿·
晚间
新闻范围 — 北京时间
MiniMax开源4280亿参数模型
MiniMax开源M3.1 Flash模型，总参数4280亿，支持100万Token上下文，72小时内处理超100万亿Token，推理速度提升近3倍，智能体任务成本降低70%。
腾讯推出AI互动知识产品
腾讯推出AI互动知识产品'懂了鸭'，可将文字、知识点转化为动态课件、3D演示、互动绘本等内容，支持分享和二次创作，打造面向青少年的'AI版电子乐高'。