Circuit complexity is stuck — and AI could be the perfect adversarial partner to crack it

_onionesque · x · 2026-09-13

Discussing Ryan Williams' work, the author argues circuit complexity is a perfect adversarial object for human mathematical intuition and feels stuck, and is excited that AI-induced progress could break the deadlock.

Original post →

More from AGI Musings

AGI Musings channel →