A 30-year-old open problem in complexity theory resolved by GPT-5.6 Pro

(zenodo.org) by bmisterxster | Jul 18, 2026 | 0 comments on HN