Jobs will fade and rise due to AI. But those who learn to screen, train and build dev teams around AI-enabled talent will write the future.

One computer scientist’s “stunning” proof is the first progress in 50 years on one of the most famous questions in computer ...