We still don’t have a formal definition for what math is. Until then, we’re not going to have AI either. There’s a ridiculous diagram of the “mental” gymnastics that these models do even with simple math when they should be able to simply calculate like a computer does. No human would EVER do it the way AI does. And a calculator is WAAAAAAY more efficient than ChatGPT at math.
Have you ever looked at Gödel’s incompleteness theorems? A lot of physicists and mathematicians side step the problems these give rise to. Essentially, no system we create can ever explain everything and prove it at the same time.
We still don’t have a formal definition for what math is. Until then, we’re not going to have AI either. There’s a ridiculous diagram of the “mental” gymnastics that these models do even with simple math when they should be able to simply calculate like a computer does. No human would EVER do it the way AI does. And a calculator is WAAAAAAY more efficient than ChatGPT at math.
Have you ever looked at Gödel’s incompleteness theorems? A lot of physicists and mathematicians side step the problems these give rise to. Essentially, no system we create can ever explain everything and prove it at the same time.