According to the article he was using the free ChatGpt tier at first, I til someone gifted him a Pro subscription to encourage "vibe-mathing'.

Couldn't he have just asked ChatGPT if it was correct? Why do we still feel the need to loop in a human?