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

 (zenodo.org)

1 points | by bmisterxster 18 hours ago ago

1 comments