For years, a French mathematician searched for a proof that a gigantic number is prime. His method is still used 150 years later

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.