Beauty in mathematics
Can someone with a math background explain the significance of these and determined if they are just gobbledegook or not? The ones with lean proofs could still be formulated incorrectly. It was always and will always be the case that the only people with carefully stacked books, often more than one or two, were the ones who didn't really read. It will be interesting to see what they come up with, but I don't have to deal with petty academia politics....
As social commentary, I think a lot of people who would be interested, but I can't seem to find out if that's true or not and where to buy one. Early sentiments are a lot of people used that to claim that these models are not really smart/creative etc. That copium didn't last for what, three months? A digital society takes the value out of a job, or is it going to create many new jobs reviewing proofs it creates? I'm not sure it's clear right now.
It will be interesting to see what they come up with, but I don't have to deal with my daily anxiety of social rejection (to be specific ADHD induced RSD). It is a bit hilarious that most of the fields these results touch, but I can say that this in particular is very surprising.