PromiseProof

AI can fix code. It shouldn't certify itself.

Open Source Artificial Intelligence Development OpenAI Day发布于 2026年7月23日

什么是 PromiseProof？

PromiseProof shows a safer way to use coding agents. GPT-5.6 investigates a broken product promise, Codex proposes a constrained repair and a human approves the exact patch. Neither model can award PASS, the unchanged deterministic verifier does. Try it in your browser, tamper with the evidence, reproduce a sealed report or run the same gate in CI.

截图

还没有评论，来抢沙发吧！