They Spent Years on a Math Problem. Then They Were Scooped by A.I. — The New York Times Science - 18:52