Artificial intelligence can already beat grandmasters at Go, draft legal briefs, and generate photorealistic images in ...

Descriptive set theorists study the niche mathematics of infinity. Now, they’ve shown that their problems can be rewritten in the concrete language of algorithms.