Can Artificial Intelligence Eradicate Computer Bugs After Reinventing Math

In September, OpenAI announced that its new artificial intelligence technology needed less than a week to solve the Navier-Stokes problem, a mathematical puzzle that bedeviled the world’s smartest humans for decades. In the weeks that followed, the company released a…