Or in this specific case, why would someone call these proofs (no one is saying they are wrong) AI slop if not to delegitimize all AI output?
Or in this specific case, why would someone call these proofs (no one is saying they are wrong) AI slop if not to delegitimize all AI output?
* even pretty amazing advances like this one
Good AI output is indistinguishable from human output. The whiff you mention is the reasoning pleonasm and tautology (intended) escaping into the output and the "author" not proof-reading/editing it out.
Sorry you don't like the phrasing.
What I do not don are these rose-tinted, thought-terminating glasses which make people assume that this just must be an impenetrable product of superhuman intelligence.
I have no idea what you mean by this? The experts, including many here, don't seem to think it's unlikely.
1) Many humans labored for many years to solve these problems and did not.
2) Something else did solve at lest some of these problems.
3) The thing that did wasn't human.
What else do you need to know before you can allow yourself to be happy just to live in such an exciting time?
I had initially understood you as saying that this inscrutable logic was merely a consequence of superhuman intelligence, which is what I deemed unlikely. I don't see experts agreeing with that position either.
I am not unhappy about this result, but I am somewhat unhappy about it being dumbed down, decontextualised and understood without any nuance.