Comment by steinwinde

Where did I say they should "drop everything"? I hope to read more about how they envision their future, instead of all this regretting and whaling how one company (that I very much dislike too) published a large amount of proofs. They will get more of them, very soon - if they like it or not -, and I wish that would be the primary subject of the discussion. And yes, I'd also hope they engage with the published proofs. The more raw these proofs are, the better. If AI companies start selecting mathematicians to write nice expositions of their proofs, this is doomed to become a very elitist science.