E.g. asking for crushing wins against a fixed chess algorithm in 1970 might have had this property then.
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Most theorem proofs are still done by humans, no?
-
An excellent point! And we could schedule undone Mizar-type work for it. Of course this might lead to long and variable block times.
-
Programming (make a given unit test pass) should also work and be practically accessible to many more.
-
Seems like that would significantly enhance market incentives to teach computers to program.
-
That is probably true, but rationally there should already be enormous incentive.
-
That's longer term though, high barrier to payoff. Assuming the proof of work is relatively simple coding tasks, this would incent broadly.
End of conversation
New conversation -
-
-
That's basically the intent of a CAPTCHA, no?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Computers can generate puzzles which are too hard for themselves to solve. Basically GAN but with humans instead of two computers
-
But could be verified? It isn't pure pow in the sense of an unknown puzzle. Not comp to values Sha256 allows
End of conversation
New conversation -
-
-
This is my hypothesis as to the real purpose of Sudoku and Kenken puzzles.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I wonder if you could dig through real-world Mechanical Turk use cases to find this sort of thing
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
...Maybe they'll verify "spiders milked" or "silk strands spooled", so Saudi oil billionaires can have awesome clothes (& biocompatibles).
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Robots can increasingly supplant human labor in all productive labor. This pushes even the semi-ethical into unproductive(government) labor.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
2/2 "Proof of work": # of victimless traffic citations increases to "unlimited" until nobody drives. ...# of drug offenders imprisoned, etc.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Of course, all that's necessary to usher in a malevolent singularity is increasingly amplify existing LEO capabilities. "Captive payer."1/2
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Sure. Which exterminator killed what number of pests? (This one is a little harder, but ML algorithms can identify number of dead termites.)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Sure. Who gathered what number of signatures to place the small-L libertarian candidates and small-L initiatives/referenda on the ballot?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Sure. Who won the court case? (Who convinced the jurors to nullify, now that the adversarial system is "bar-licensed"?) guilty / not guilty
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Coding problems (run test cases to check correctness). Most programming contests are graded by computers. But computers still can't program.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.