SWhat changed
Proved NEXP has no polynomial-size nonuniform ACC circuits via a faster-satisfiability-to-lower-bound connection.
Scientific scope
The record is Williams's sole-author journal paper and its stated circuit classes and uniformity assumptions. It is not a P-versus-NP proof or a lower bound for arbitrary circuits.
Evidence
The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is Williams's sole-author journal paper and its stated circuit classes and uniformity assumptions. It is not a P-versus-NP proof or a lower bound for arbitrary circuits.
Contributors
- Ryan Williams · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction