[tim333]

I'm not sure what mathematical principle you could invoke that would make sense?

Roger Penrose made an argument like we can know Gödel's theorem is true without being able to prove it but AI can't, but I think you can figure both are guessing in a similar pattern recognising kind of way.

[dreamfactored]

Hopefully will post here before the weekend but tl;dr the mathematics to model neurons has not yet been discovered/invented