Neuro-symbolic AIs solve math problems, very unlike a calculator
Synthetic proofs to train on, means they know which sums to master
But they’re not just solving problems, of Euclidian geometry
They connect chains of reasoning, much better than you and me
There’s no ‘time’, but ‘your time’
There’s just one reality
There’s truth and there’s your truth
But there’s no meaning. Sorry!