Welcome to the Stubsack, your first port of call for learning fresh Awful you’ll near-instantly regret.
Any awful.systems sub may be subsneered in this subthread, techtakes or no.
If your sneer seems higher quality than you thought, feel free to cut’n’paste it into its own post — there’s no quota for posting and the bar really isn’t that high.
The post Xitter web has spawned soo many “esoteric” right wing freaks, but there’s no appropriate sneer-space for them. I’m talking redscare-ish, reality challenged “culture critics” who write about everything but understand nothing. I’m talking about reply-guys who make the same 6 tweets about the same 3 subjects. They’re inescapable at this point, yet I don’t see them mocked (as much as they should be)
Like, there was one dude a while back who insisted that women couldn’t be surgeons because they didn’t believe in the moon or in stars? I think each and every one of these guys is uniquely fucked up and if I can’t escape them, I would love to sneer at them.
(Credit and/or blame to David Gerard for starting this. Happy Halloween, fellow sneerers!)
Since all the attention is on Anthropic’s IPO, OpenAI claim to refuted the ETH hypothesis
Their usual strategy of “throw unsustainable amounts of compute at spaffing out lean proofs like infinite monkey theory and rope an army of humans in to validate the proofs” seems to apply here.
The boosters hope that the AI will replace mathematicians, but they are running into an awfully inconvenient fact: theorems and proofs are useless without people who care enough to understand them and make meaning from them.
I think we will find out the hard way this also applies to software, and just about everything else they have been pushing the Great Confabulation Machine for.
Nah, my computer can totally do math on its own. Wanna see?
cos(4)
Bam!
72
Get mathed on!
4E183
See, your human brain can’t even do math like that.
To complexity theorists, this is an extremely funny situation; I bet OpenAI started by asking the bot about P vs NP and they got the worst-possible result, a useless and unexpected refutation of a conjecture. To be clear, I don’t trust Lean or OpenAI, so I don’t yet accept this result, but I hear Ryan Williams and Russell Impagliazzo are hand-checking the proof and I do trust them.