They Spent Years on a Math Problem. Then They Were Scooped by A.I.
kept by eddie
An AI system called Gauss completed a mathematical proof formalization in five days, outpacing a human team that had worked for two years, raising concerns about the future role of mathematicians.