OpenAI Is Pissing Off a Bunch of Mathematicians—Again

Now, after release, here’s an example of the initial thoughts of someone who had spent time on one of the solved problems:

ALTMathematician impressions of Barnette Conjecture solution

Making things very obscured is not a proof.

The guy is politely saying it’s nonsense