Quite a fair and accessible article on the whole. These bits stood out
A senior colleague of mine found one of his favourite problems among those solved and attempted to read the accompanying paper. He told me it was so unintelligible that, had he received it as an editor at a mathematics journal, “it would have gone straight into the bin”.
Reactions to the OpenAI drop have been mixed, ranging from “obviously the most significant moment in mathematical history” to “mathematicians aren’t so thrilled at this giant pile of turd dumped at our doorstep”.
Says to me that, even if some of these proofs are found to hold water, human understanding of mathematical proofs is absolutely essential. To explain it to other people, understand the implications for future results, to know what it really means, is now even more important.