Perplexity made AI coding tools mandatory, and its founder said engineers are now prototyping in hours instead of days.

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