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