Who is Joel David Hamkins, the American mathematician who says AI is ‘not mathematically correct’?

Renowned mathematician Joel David Hamkins finds current AI systems unreliable for mathematical reasoning, citing their inability to correct errors confidently. He argues that this lack of trust makes them unsuitable as research partners, as mathematical work demands rigorous scrutiny and revision. Hamkins distinguishes between benchmark performance and real-world research utility.