They Spent Years on a Math Problem. Then They Were Scooped by A.I