Who is Joel David Hamkins, the American mathematician claiming AI is 'not mathematically correct'?

Renowned mathematician Joel David Hamkins finds current AI systems unreliable for mathematical reasoning, citing their ...