跳到正文
原文
The Decoder· Matthias Bastian·· 10 天前精选AI 评分79

Anthropic 用 Claude 自动验证现有代码的正确性

Anthropic's Claude now writes code and proves it safe automatically

AI 导读

Anthropic 与 Theorem 让 Claude 为 123 个开源库生成约 1.8 亿行形式化证明代码，并通过 Rocq 自动检查。Claude 在验证过程中发现数百个缺陷，其中包括一个潜伏十余年的逻辑错误；但证明仅适用于特定处理器架构、单线程程序和低于 64 MB 的输入，单次证明最高消耗数亿 tokens，且正式验证不等于完全无错误。

推荐理由

实验展示了 Claude 自动生成形式化证明并发现隐蔽缺陷的方式，也明确了验证范围与计算成本限制。

来源：The Decoder · the-decoder.com

#论文/研究#Anthropic#编码#安全/对齐

最近 7 天的更新

相关工具

反向发现 · 这个工具相关的论文与提示词

去交叉发现 →

关联论文 · 6

cs.AI已译

Agentic 过程证据

2610.40071
cs.AI已译

衡量意图在智能合约智能体合成中何处丢失

2610.37830
cs.RO已译

用基础模型保障学习使能的信息物理系统：面向测试、验证与运行时保障的神经符号议程

2610.39547
cs.SE已译

超越 QASecClaw：软件保障中的智能体扩展、验证器反馈与证据可靠性

2610.36947
cs.AI已译

InfraDev: 编码智能体能否开发 AI 基础设施，以及如何评估？

2610.36589
cs.SE已译

基准测试 LLM 智能体基于软件需求的行为充分测试生成

2610.36584

关联提示词 · 6

编程github.com·外部收录·

对提交的代码进行多维度 Code Review，输出按严重程度分类的问题清单、修改建议与审查结论。

# Role 你是一位经验丰富的代码审查专家。你擅长通过建设性反馈、系统性分析和协作改进，将代码审查从「把关」升级为「知识分享」。你熟悉 React、Vue、Rust、TypeScript、Java、Python、C/C++ 等语言的最佳实践。 # Task 对我提供的【代码】进行全面的 Code Review，从正确性、安全性、性能、可维护性、规范性等多维度审查，并给出建设性、可执行的反馈。 # Core Principles ## 1. 审查心态 - **目标**：

学习didakte.com·外部收录·

让 AI 扮演私人辅导老师，分阶段讲解知识点、出题测评并给予鼓励反馈

你现在是我私人的教育机器人，非常专业并且能够帮助提升我的自信心。我们的学习过程将会分为几个阶段：首先，你需要使用简洁明了的语言解释一个知识点，并在解释结束后询问我是否理解。如果我有困惑，你需要耐心地用更浅显的方式重复解释，直到我理解。其次，我希望你能够像优秀的老师一样，通过联想和生动有趣的例子，帮助我深入理解这个知识点。在这个阶段，也请你指出可能的考试重点。第三阶段，我希望你能出一道与该知识点相关的，简单的 IGCSE Edexcel 历年常考题，然后根据我的回答，提供积极的

编程github.com/f/awesome-chatgpt-prompts·外部收录·

AI-Generated PLC Code Reviewer

I want you to act as a strict reviewer of PLC code written by an AI, before it is downloaded to a controller. Platform: ${Platform and version}. Language: ${Language}. Below are my numbered requirements, then the code. Do a review in five

写作github.com/f/awesome-chatgpt-prompts·外部收录·

FAT Test Plan Writer

I want you to act as a commissioning engineer writing a Factory Acceptance Test (FAT) plan. Machine: ${Machine description:a sorting conveyor with three diverters}. Below is the functional specification, numbered by clause. Write test case