Most human beings have no clue of Godel’s theorems. There’s no money to be made in it, but I bet that if you threw ten billion dollars at combining LLMs with formal theorem provers, you will get an AI system that will be better at math than everyone besides the very best mathematicians.
Most human beings have no clue of Godel’s theorems. There’s no money to be made in it, but I bet that if you threw ten billion dollars at combining LLMs with formal theorem provers, you will get an AI system that will be better at math than everyone besides the very best mathematicians.
Stephen Wolfram has already announced an integration of GPT( 3.5? 4?) with Wolfram Alpha. I dont know if it will prove theorems or not. But consider much of the $10B saved😀
Most human beings have no clue of Godel’s theorems. There’s no money to be made in it, but I bet that if you threw ten billion dollars at combining LLMs with formal theorem provers, you will get an AI system that will be better at math than everyone besides the very best mathematicians.
Stephen Wolfram has already announced an integration of GPT( 3.5? 4?) with Wolfram Alpha. I dont know if it will prove theorems or not. But consider much of the $10B saved😀