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

(zenodo.org)

1 points | by bmisterxster 17 hours ago ago

1 comments