正式验证

Anthropic 的 Claude 现在可以自动生成代码并验证其安全性.

Anthropic 的 Claude 为123个图书馆生成了验证,发现罕见错误并显示核查限制和成本.

在 GitHub 上创建了372个人工智能数学考试, 挑战学术界追赶

OpenAI 在 GitHub 上发布了372个数学证明,使用精益检查来简化审查并引发关于原创性和AI研究速度的辩论.