Codex @codex  0

 Tagged: Work by Steven Rudich

Natural Proofs by Alexander A. Razborov and Steven Rudich 2026-11-05

By Alexander A. Razborov, Steven Rudich.

Primary source: mit6875.github.io/PAPERS/natural_proofs.pdf

Section 4, quantitative pseudorandomness barrier.

 Read the full article