Comment by JBits

I have to say, it's hilarious to me that solving a Millennium problem has given mathematicians a reason to doubt the mathematical abilities of LLMs.