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😀
The real question is whether chatGPT realizes that the theorem Gödel formulates is true without trying to prove it, no? 😛
My response to Penrose's argument is that most humans won't realize it either 🙂. So it's enough if AI is more intelligent than bottom 50% of humanity.
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😀