← 返回 AIRadar 首页

Anthropic Claude Code 作者 Boris Cherny 揭示 Claude 形式化方法工作流

Boris Cherny 透露 Claude 正以形式化方法自动构建程序模型、寻找反例并复现疑似缺陷，标志着 AI 编程助手从代码生成向自主缺陷检测与验证的范式跃迁。