News for hackers. Stuff that matters.

A comment on Can AI do maths yet? Thoughts from a mathematician. Parent comment

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 ]