Reading up on Math, Inc.
1 deep · digging since jun 09
- They Spent Years on a Math Problem. Then They Were Scooped by A.I.
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.