Cryptographer Matthew Green sits on an AI-assisted ZK result over 'AI slop' writeup

matthew_d_green · x · 2026-09-09

Johns Hopkins cryptographer Matthew Green says he has a cute theoretical ZK result built with one unreleased model plus Fable, but is holding it back: the writeup is entirely AI slop, it may hide silly errors, and he doesn't feel like being an editor. The post doubles as a candid take on the last-mile problem of turning AI-assisted math into trustworthy text.

Original post →

More from Fun

Fun channel →