this post was submitted on 19 Jun 2024
187 points (100.0% liked)
TechTakes
1437 readers
134 users here now
Big brain tech dude got yet another clueless take over at HackerNews etc? Here's the place to vent. Orange site, VC foolishness, all welcome.
This is not debate club. Unless it’s amusing debate.
For actually-good tech, you want our NotAwfulTech community
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
This is brilliant and I’m saving it and will post a link to it the next time someone at work asks why we can’t “just use AI to do it” when a ticket gets rejected for being stupid and/or unreasonable.
However:
Yeah, I gotta admit, I am surprised. Because I have not found a single reasonable argument for this horseshit and the rest of the article (as well as the others I read from their blog) does not read like it’s been written by someone who’d buy into AI foom.
Yeah, that juxtaposition makes no sense to me. How does the machine that remixes existing text and makes it worse become anything that can "recursively self-improve"? Show your work.
You got Schmidhuber'd! A Gödel machine would fit the bill. Nobody's built one yet, but the hard part -- proof search through something like Metamath (particularly Metamath Zero) -- is long-since solved. It wouldn't take over the world, though; it would just sit in a corner and get really good at maths over the next few centuries.
I'm sure that taking a noisy average of everything posted on Twitter about Gödel machines will produce a Gödel machine, any day now.
Step 2: the Gödel machine becomes the monolith from 2001 that can do anything not explicitly prohibited by the laws of physics