AI# Musk# xAI, which was founded on Wednesday, has recruited top AI researchers for 9-figure pay
Musk claims that xAI, which is just a few days old, has been valued at tens of billions of dollars, and has had great success recruiting top AI talent by taking a stake in his newly formed artificial intelligence company
Musk has previously said he wants to create ChatGPT competitor "TruthGPT"; But some of the high-profile researchers he hired at xAI are excited about something else: building an AI capable of reasoning about the world's hardest math problems
Before co-founding xAI, Christian Szegedy led Google's "Automated Mathematicians" research project, and his former colleague Yuhuai "Tony" Wu, who previously told the media that he hopes to use machine learning to "solve mathematical problems" and create an artificial intelligence that can decipher theorems on its own
Another mathematician who joined xAI, Greg Yang, tweeted: "Any mathematician/theorist excited about this needs to DM with me!" "
Computers have been helping mathematicians identify patterns for decades, making them more productive; But Alex Kontorovich, a professor of mathematics at Rutgers University, said AI doesn't yet have the reasoning capabilities needed to solve advanced theorems; This is partly because there is currently not enough data for AI mathematical model training; For a computer to process a theorem, it needs to translate it from natural language into a formal code that is logically correct; Kontorovich estimates that there are about 10 million rows of such data, and ChatGPT is trained on trillions of lines of human language
For xAI, the competitive pressure is very high; OpenAI's ChatGPT set off a wave of AI development, spurred the world's largest companies to take action, and led to a shortage of Nvidia graphics processors for training AI models
Musk seems eager to surpass these deep-pocketed rivals, with news that Musk asked Nvidia to sell him 40,000 GPUs for training AI models; Nvidia promised to sell him only 20,000 in 12 months
According to xAI's website, Musk's goal is to create artificial intelligence that can "understand the true nature of the universe"; Musk's bet is that mysteries that science can't solve, such as the inner workings of the human brain, are equations that humans can't understand
xAI may be able to help solve this problem by creating its own formal mathematical database
