156
A Microsoft researcher built a goat-powered LLM in Age of Empires II to prove it's not sentient
(www.xda-developers.com)
This is a most excellent place for technology news and articles.
I know computability theory, and I am very familiar with the halting problem. A human cannot solve it either. We made literal mathematical proof of it, and that proof is the halting problem.
The entire point of the halting problem is that if you assume that there is a black box that can answer whether a program halts, you then prove it can't be the case by a proof of contradiction. You can replace the black box with a human brain and it works just as well, that's the entire point of a black box.