A 30-year-old open problem in complexity theory resolved by GPT-5.6 Pro(zenodo.org)
1 pointby bmisterxster14 hours ago1 comment