"All Cretans are liars", said Epimenides, a Cretan. But this means that his statement must be a lie too. But then it is false that Cretans are liars and the statement must be true. So what now?

Artificial intelligence is a game changer across many fields these days and mathematics is no exception. Yet, the rapid acceleration of its ability to solve some of arithmetic’s most challenging ...