This is a special post for quick takes by Cat McGee. Only they can create top-level comments. Comments here also appear on the Quick Takes page and All Posts page.
I want to see work on verification of claims that AI labs make about their models. We put far too much trust into their research that is uncheckable by the public. Can existing cryptography help? ZK proofs of an LLM's internals?