After Reinventing Mathematics, Can A.I. Eradicate Computer Bugs? - The New York Times

Researchers are exploring whether AI can help eliminate software bugs, a persistent problem that affects everyone who uses technology. If successful, this could make apps and systems more reliable and secure for ordinary users.