Original Reddit post

OpenAI just used AI to solve 10 problems in mathematical research including a construction establishing the existence of non-sofic groups. https://openai.com/index/ten-advances-in-mathematics/ How has a “statistical parrot” done this? How has “autocorrect on steroids” managed to do this? How has a machine that just “regurgitates training data” solved problems that have not been solved for over 50 years? Where is the next location you want to move the goalposts to? Before you say it’s not a big deal, go and check what mathematicians are saying about it… submitted by /u/Time_Entertainer_319

Originally posted by u/Time_Entertainer_319 on r/ArtificialInteligence