Hacker News new | ask | show | jobs
by ComplexSystems 1063 days ago
From what I can tell, experts currently project the problem "TURN HUMANS TO PAPERCLIPS" is in complexity class "Promptable," but that the Boolean Satisfiability problem is not in "Promptable."