PromiseProof
ストックにはログインが必要です
AI can fix code. It shouldn't certify itself.
Artificial Intelligence
Open Source
Development
OpenAI Day
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.
投票数: 0