The research, conducted by the non-profit Model Evaluation & Threat Research (METR), set out to measure the real-world impact of advanced AI tools on software development.

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