From 956a26b5af0ad8c0f95c07bf7cfb6d563bca2e32 Mon Sep 17 00:00:00 2001 From: Levi Neuwirth Date: Sat, 29 Aug 2026 23:21:31 +0200 Subject: [PATCH] auto: 2026-08-29T21:21:31Z [skip ci] --- content/essays/verified-inference/index.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/content/essays/verified-inference/index.md b/content/essays/verified-inference/index.md index 55280ec..b2d9196 100644 --- a/content/essays/verified-inference/index.md +++ b/content/essays/verified-inference/index.md @@ -5,8 +5,8 @@ abstract: > A compute operator who claims to have run a particular model can be lying, and the logs that would settle it are written by the party under suspicion. VerInf produces zero-knowledge proofs of LLM inference, bounding the information in an - output stream that a committed model does not account for. This is a working - note on what the system certifies, what it does not, and what I contributed to + output stream that a committed model does not account for. This living document + details what the system certifies, what it does not, and what I contributed to it during the MARS V fellowship. tags: - ai @@ -17,7 +17,7 @@ status: "Working model" confidence: 85 importance: 5 evidence: 4 -scope: civilizational +scope: broad novelty: moderate practicality: moderate history: