Comment by rvz

I'd rather wait for independent seasoned mathematicians to verify such claims first before someone at said AI lab posting a claim about solving a proof online.

Let this be a lesson to those who fell for such AI psychosis and to not believe everything you see on the internet as real.