Initial community reactions were mixed but intrigued. Developers praised the emphasis on specs, hooks, and structure.

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