Can AI do maths yet? Thoughts from a mathematician

Re:Can AI do maths yet? Thoughts from a mathematician by fire_lake on Tuesday December 24, 2024 @09:17AM (#42502039)

> Agreed. If someone believes the world is purely mechanistic, then it follows that a sufficiently large computing machine can model the world---like Leibniz's Ratiocinator.

I don’t think it does. Taking computers as an analogy… if you have a computer with 1GB memory, then you can’t simulate a computer with more than 1GB memory inside of it.

[ Parent | on HN ]

Re:Can AI do maths yet? Thoughts from a mathematician by exprofmaddy on Tuesday December 24, 2024 @11:10AM (#42502813)

"sufficiently large machine" ... It's a thought experiment. Leibniz didn't have a computer, but he still imagined it.

[ Parent | on HN ]

Re:Can AI do maths yet? Thoughts from a mathematician by fire_lake on Friday December 27, 2024 @03:58AM (#42520837)

But this machine (even a tremendously large one) will have to operate in our reality and therefore can’t be “bigger” than it.

[ Parent | on HN ]