Comment by contravariant
5 hours ago
I think it's quite clear the mathematics panel didn't read most of the papers with the scrutiny it would take to publish it, if only because the lean certificates and the informal proofs are not 100% the same.
And if it's hard to understand (which seems to be the most common reaction) it's not exactly devoid of noise either
There was an opportunity for people to work with the AI to produce a proof, now it almost feels they're working against it.
I never said it was journal worthy. Just its not all noise. As I say academics are welcome to ignore it, it isn't published in any journals after all.