TechTakes

1400 readers

117 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

dgerard@awful.systems

187

I Will Fucking Piledrive You If You Mention AI Again (ludic.mataroa.blog)

submitted 5 months ago by dgerard@awful.systems to c/techtakes@awful.systems

36 comments fedilink hide all child comments

another obviously correct opinion from Lucidity

you are viewing a single comment's thread
view the rest of the comments

[–] corbin@awful.systems 8 points 4 months ago (1 children)

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.

[–] blakestacey@awful.systems 13 points 4 months ago

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