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