Posts
Comments
We don't know how narrow it is yet. If they did for algebra and number theory something like what they did for geometry in alphageometry (v1), providing it a well-chosen set of operations, then I'll be more inclined to agree.
I don't understand why people aren't freaking out from this news. Waiting for the paper I guess.
What we want is orthogonal though, right? Unless you think that metaphysics is so intractable to reason about logically that the best we can do is go by aesthetics.
Unfortunately the nature of reality belongs to the collection of topics that we can't expect the scientific method alone to guide us on. But perhaps you agree with that, since in your second paragraph you essentially point out that practically all of mathematics belongs to the same collection.
It's not necessary to bring quantum physics into it. Isomorphic consciousness-structures have the same experience (else they wouldn't be isomorphic, since we make their experience part of them). The me up to the point of waking up tomorrow (or the point of my apparent death) is a such a structure (with no canonical language unfortunately; there are infinitely many that suffice), and so it has an elementary class, the structures that elementarily extend it, in particular that extend its experience past tomorrow morning.
+2 for brevity! A couple more explorations of this idea that I didn't see linked yet. They are more verbose, but in a way I appreciate.
- The mathematical universe: the map that is the territory. I'd love to meet the author of this. They also wrote the excellent If a tree falls on Sleeping Beauty.... Sadly they haven't used that account in many years.
- Simulation, Consciousness, Existence (Hans Moravec)
If you want to explore this idea further, I'd love you join you.
But "more people are better" ought to be a belief of everyone, whether pro-fertility or not. It's an "other things being equal" statement, of course - more people at no cost or other tradeoff is good. One can believe that and still think that less people would be a good idea in the current situation. But if you don't think more people are good when there's no tradeoff, I don't see what moral view you can have other than nihilism or some form of extreme egoism.
Do all variants of downside focused ethics get dismissed as extreme egoism? Hard to see them as nihilistic.
I suspect clarity and consensus on the meaning of "more people at no cost or other tradeoff" to be difficult. If "more people" means more happy people preoccupied with the welfare of the least fortunate, then sure "at no cost or other tradeoff" should suffice for practically everyone to get behind it. But that seems like quite a biased distribution for a default meaning of "more people."
When capability is performing unusually quickly
Assuming you meant "capability is improving." I expect capability will always feel like it's improving slowly in an AI researcher's own work, though... :-/ I'm sure you're aware that many commenters have suggested this as an explanation for why AI researchers seem less concerned than outsiders.
"Clown attack" is a phenomenal term, for a probably real and serious thing. You should be very proud of it.
This was thought provoking. While I believe what you said is currently true for the LLMs I've used, a sufficiently expensive decoding strategy would overcome it. Might be neat to try this for the specific case you describe. Ask it a question that it would answer correctly with a good prompt style, but use the bad prompt style (asking to give an answer that starts with Yes or No), and watch how the ratio of the cumulative probabilities of Yes* and No* sequences changes as you explore the token sequence tree.
Anybody know who the author is? I'm trying to get in contact, but they haven't posted on LW in 12 years, so they might not get message notifications.
I see. I guess hadn't made the connection of attributing benefits to high-contextualizing norms. Only got as far as observing that certain conversations go better with comp lit friends than with comp sci peers. That was the only sentence that gave me a parse failure. I liked the post a lot.
@lc and @Mateusz, keep up that theorizing. This needs a better explanation.
Ah, no line number. Context:
To me it seems analogous to how there are many statements that need to be said very carefully in order to convey the intended message under high-decoupling norms, like claims about how another person's motivations or character traits affect their arguments.
high-decoupling
Did you mean high-contextualizing here?
Interestingly, learning a reward model for use in planning has a subtle and pernicious effect we will have to deal with in AGI systems, which AIXI sweeps under the rug: with an imperfect world or reward model, the planner effectively acts as an adversary to the reward model. The planner will try very hard to push the reward model off distribution so as to get it to move into regions where it misgeneralizes and predicts incorrect high reward.
Remix: With an imperfect world... the mind effectively acts as an adversary to the heart.
Think of a person who pursues wealth as an instrumental goal for some combination of doing good, security, comfort, and whatever else their value function ought to be rewarding ("ought" in a personal coherent extrapolated volition sense). They achieve it but then, apparently it's less uncomfortable to go on accumulating more wealth than it is to get back to the thorny question of what their value function ought to be.
Is there a more-formal statement somewhere of the theorem in Complexity theory of team games without secrets? Specifically, one that only uses terms with standard meanings in complexity theory? I find that document hard to parse.
If concreteness is helpful, take "terms with standard meanings in Complexity Theory" to be any term defined in any textbook on complexity theory.
This is awesome! A couple suggestions:
"and quickly starts to replace both Fox News and other news sources among members of all political parties." -- if this is plausible, it's not clear to me, and while I'm not a great predictor of the human race, I'm pretty damn smart. More importantly, your story doesn't need it; what it needs is just that Face News is useful and liked by a strong majority of people, like Google is today.
Murpt is a fun detail, but your story doesn't need him either. Fasecure can become dominate in government systems over a period of years, without needing to assume bad politicians. It's empirically a great system for cybersecurity, after all. It can start at the state level. Few people besides the AI safety nerds (who, I'll grant, by now have realized that nanotech stories don't seem to resonate with the general public) seem to be raising a fuss about it. Elon Musk tweets some concerns, but he's too preoccupied with mars to do much else. There are plenty of non-billionaire computer scientists who are concerned, but they look at how the careers of earlier computer scientists have fared after speaking out, in the wake of ridicule from famous academics that followed, and that triggers enough doubt in their perspective, or simply short-sighted self-interest, that they mostly keep quiet.
Would love to read more stuff like this, and would be happy to help!
Lukas, I wish you had a bigger role in this community.
I've kept fairly up to date on progress in neural nets, less so in reinforcement learning, and I certainly agree at how limited things are now.
What if protecting against the threat of ASI requires huge worldwide political/social progress? That could take generations.
Not an example of that (which I haven't tried to think of), but the scenario that concerns me the most, so far, is not that some researchers will inadvertently unleash a dangerous ASI while racing to be the first, but rather that a dangerous ASI will be unleashed during an arms race between (a) states or criminal organizations intentionally developing a dangerous ASI, and (b) researchers working on ASI-powered defences to protect us against (a).
He might be willing to talk off the record. I'll ask. Have you had Darklight on? See http://lesswrong.com/r/discussion/lw/oul/openai_makes_humanity_less_safe/dqm8
If my own experience and the experiences of the people I know is indicative of the norm, then thinking about ethics, the horror that is the world at large, etc, tends to encourage depression. And depression, as you've realized yourself, is bad for doing good (but perhaps good for not doing bad?). I'm still working on it myself (with the help of a strong dose of antidepressants, regular exercise, consistently good sleep, etc). Glad to hear you are on the path to finding a better balance.
For Bostrom's simulation argument to conclude the disjunction of the two interesting propositions (our doom, or we're sims), you need to assume there are simulation runners who are motivated to do very large numbers of ancestor simulations. The simulation runners would be ultrapowerful, probably rich, amoral history/anthropology nerds, because all the other ultrapowerful amoral beings have more interesting things to occupy themselves with. If it's a set-it-and-forget-it simulation, that might be plausible. If the simulation requires monitoring and manual intervention, I think it's very implausible.
If my anecdotal evidence is indicative of reality, the attitude in the ML community is that people concerned about superhuman AI should not even be engaged with seriously. Hopefully that, at least, will change soon.
I'm not sure either. I'm reassured that there seems to be some move away from public geekiness, like using the word "singularity", but I suspect that should go further, e.g. replace the paperclip maximizer with something less silly (even though, to me, it's an adequate illustration). I suspect getting some famous "cool"/sexy non-scientist people on board would help; I keep coming back to Jon Hamm (who, judging from his cameos on great comedy shows, and his role in the harrowing Black Mirror episode, has plenty of nerd inside).
heh, I suppose he would agree
A guy I know, who works in one of the top ML groups, is literally less worried about superintelligence than he is about getting murdered by rationalists. That's an extreme POV. Most researchers in ML simply think that people who worry about superintelligence are uneducated cranks addled by sci fi.
I hope everyone is aware of that perception problem.
You're right.
Great post. I even worry about the emphasis on FAI, as it seems to depend on friendly superintelligent AIs effectively defending us against deliberately criminal AIs. Scott Alexander speculated:
For example, it might program a virus that will infect every computer in the world, causing them to fill their empty memory with partial copies of the superintelligence, which when networked together become full copies of the superintelligence.
But way before that, we will have humans looking to get rich programming such a virus, and you better believe they won't be using safeguards. It won't take over every computer in the world - just the ones that aren't defended by a more-powerful superintelligence (i.e. almost all computers) and that aren't interacting with the internet using formally verified software. We'll be attacked by a superintelligence running on billions of smart phones. Might be distributed initially through a compromised build of the hottest new social app for anonymous VR fucking.
Love this. The Rationalist community hasn't made any progress on the problem of controlling, over confident, non-self-critical people rising to the top in any sufficiently large organization. Reading more of your posts now.
The positive reviewer agreed with you, though about an earlier version of that section. I stand by it, but admit that the informal and undetailed style clashes with the rest of the paper.
Ha, actually I agree with your retracted summary.
I think that was B/K's point of view as well, although in their review they fell back on the Patch 2 argument. The version of my paper they read didn't flesh out the problems with the Patch 2 argument.
I respectfully disagree that the criticism is entirely based on the wording of that one sentence. For one thing, if I remember correctly, I counted at least 6 prose locations in the paper about the Patch 1 argument that need to be corrected. Anywhere "significant number of" appears needs to be changed, for example, since "significant number of" can actually mean, depending on the settings of the parameters, "astronomically large number of". I think presenting the argument without parameters is misleading, and essentially propaganda.
Patch 2 has a similar issue (see Section 2.1), as well as (I think) another, more serious issue (Section 3.1, "Step 3").
Seeing that there was some interest in Bostrom's simulation argument before (http://lesswrong.com/lw/hgx/paper_on_the_simulation_argument_and_selective/), I wanted to post a link to a paper I wrote on the subject, together with the following text, but I was only able to post into my (private?) Drafts section. I'm sorry I don't know better about where the appropriate place is for this kind of thing (if it's welcome here at all). The paper: http://www.cs.toronto.edu/~wehr/rd/simulation_args_crit_extended_with_proofs.pdf
This is a very technical paper, which requires some (or a lot) of familiarity with Bostrom/Kulczycki's "patched" Simulation Argument (www.simulation-argument.com/patch.pdf). I'm choosing to publish it here after experiencing Analysis's depressing version of peer review (they rejected a shorter, more-professional version of the paper based on one very positive review, and one negative review that was almost certainly written by Kulczycki or Bostrom themself).
The positive review (of the earlier shorter, more-professional version of the paper) does a better job of summarizing the contribution than I did, so with the permission of the reviewer I'm including an excerpt here:
Bostrom (2003) argued that at least one of the following three claims is true: (1) the fraction of civilizations that reach a 'post-human' stage is approximately zero; (2) the fraction of post-human civilizations interested in running 'significant numbers' of simulations of their own ancestors is approximately zero; (3) the fraction of observers with human-type experiences that are simulated is approximately one.
The informal argument for this three-part disjunction is that, given what we know about the physical limits of computation, a post-human civilization would be so technologically advanced that it could run 'hugely many' simulations of observers very easily, should it choose to do so, so that the falsity of (1) and (2) implies the truth of (3). However, this informal argument falls short of a formal proof.
Bostrom himself saw that his attempt at a formal proof in the (2003) paper was sloppy, and he attempted to put it right in Bostrom and Kulczycki (2011). The take-home message of Sections 1 and 2 of the manuscript under review is that these (2011) reformulations of the argument are still rather sloppy. For example, the author points out (p. 6) that the main text of B&K inaccurately describes the mathematical argument in the appendix: the appendix uses an assumption much more favourable to B&K's desired conclusion than the assumption stated in the main text. Moreover, B&K's use of vague terms such as 'significant number' and 'astronomically large factor' creates a misleading impression. The author shows, amusingly, that the 'significant number' must be almost 1 million times greater than the 'astronomically large factor' for their argument to work (p. 9).
In Section 3, the author provides a new formulation of the simulation argument that is easily the most rigorous I have seen. This formulation deserves to be the reference point for future discussions of the argument's epistemological consequences."
Your note about Gödel's theorem is confusing or doesn't make sense. There is no such thing as an inconsistent math structure, assuming that by "structure" you mean the things used in defining the semantics of first order logic (which is what Tegmark means when he says "structure", unless I'm mistaken).
The incompleteness theorems only give limitations on recursively enumerable sets of axioms.
Other than that, this looks like a great resource for people wanting to investigate the topic for themselves.
For example, the statement of the argument in https://wiki.lesswrong.com/wiki/Simulation_argument definitely needs to be revised.
Hey, I've been an anonymous reader off and on over the years.
Seeing that there was some interest in Bostrom's simulation argument before (http://lesswrong.com/lw/hgx/paper_on_the_simulation_argument_and_selective/), I wanted to post a link to a paper I wrote on the subject, together with the following text, but I was only able to post into my (private?) Drafts section. I'm sorry I don't know better about where the appropriate place is for this kind of thing (if it's welcome here at all). The paper: http://www.cs.toronto.edu/~wehr/rd/simulation_args_crit_extended_with_proofs.pdf
This is a very technical paper, which requires some (or a lot) of familiarity with Bostrom/Kulczycki's "patched" Simulation Argument (www.simulation-argument.com/patch.pdf). I'm choosing to publish it here after experiencing Analysis's depressing version of peer review (they rejected a shorter, more-professional version of the paper based on one very positive review, and one negative review that was almost certainly written by Kulczycki or Bostrom themself).
The positive review (of the earlier shorter, more-professional version of the paper) does a better job of summarizing the contribution than I did, so with the permission of the reviewer I'm including an excerpt here:
Bostrom (2003) argued that at least one of the following three claims is true: (1) the fraction of civilizations that reach a 'post-human' stage is approximately zero; (2) the fraction of post-human civilizations interested in running 'significant numbers' of simulations of their own ancestors is approximately zero; (3) the fraction of observers with human-type experiences that are simulated is approximately one.
The informal argument for this three-part disjunction is that, given what we know about the physical limits of computation, a post-human civilization would be so technologically advanced that it could run 'hugely many' simulations of observers very easily, should it choose to do so, so that the falsity of (1) and (2) implies the truth of (3). However, this informal argument falls short of a formal proof.
Bostrom himself saw that his attempt at a formal proof in the (2003) paper was sloppy, and he attempted to put it right in Bostrom and Kulczycki (2011). The take-home message of Sections 1 and 2 of the manuscript under review is that these (2011) reformulations of the argument are still rather sloppy. For example, the author points out (p. 6) that the main text of B&K inaccurately describes the mathematical argument in the appendix: the appendix uses an assumption much more favourable to B&K's desired conclusion than the assumption stated in the main text. Moreover, B&K's use of vague terms such as 'significant number' and 'astronomically large factor' creates a misleading impression. The author shows, amusingly, that the 'significant number' must be almost 1 million times greater than the 'astronomically large factor' for their argument to work (p. 9).
In Section 3, the author provides a new formulation of the simulation argument that is easily the most rigorous I have seen. This formulation deserves to be the reference point for future discussions of the argument's epistemological consequences."
Love example 2. Maybe there is a name for this already, but you could generalize the semiotic fallacy to arguments where there is an appeal to any motivating idea (whether of a semiotic nature of not) that is exceptionally hard to evaluate from a consequentialist perspective. Example: From my experience, among mathematicians (at least in theoretical computer science, though I'd guess it's the same in other areas) who attempt to justify their work, most end up appealing to the idea of unforeseen connections/usage in the future.
This is a very technical paper, which requires some (or a lot) of familiarity with Bostrom/Kulczycki's "patched" Simulation Argument (www.simulation-argument.com/patch.pdf). I'm choosing to publish it here after experiencing Analysis's depressing version of peer review (they rejected a shorter, more-professional version of the paper based on one very positive review, and one negative review, from a superficial reading of the paper, that is almost certainly written by Kulczycki or Bostrom themself).
The positive review (of the earlier shorter, more-professional version of the paper) does a better job of summarizing the contribution than I did, so with the permission of the reviewer I'm including an excerpt here:
Bostrom (2003) argued that at least one of the following three claims is true: (1) the fraction of civilizations that reach a 'post-human' stage is approximately zero; (2) the fraction of post-human civilizations interested in running 'significant numbers' of simulations of their own ancestors is approximately zero; (3) the fraction of observers with human-type experiences that are simulated is approximately one.
The informal argument for this three-part disjunction is that, given what we know about the physical limits of computation, a post-human civilization would be so technologically advanced that it could run 'hugely many' simulations of observers very easily, should it choose to do so, so that the falsity of (1) and (2) implies the truth of (3). However, this informal argument falls short of a formal proof.
Bostrom himself saw that his attempt at a formal proof in the (2003) paper was sloppy, and he attempted to put it right in Bostrom and Kulczycki (2011). The take-home message of Sections 1 and 2 of the manuscript under review is that these (2011) reformulations of the argument are still rather sloppy. For example, the author points out (p. 6) that the main text of B&K inaccurately describes the mathematical argument in the appendix: the appendix uses an assumption much more favourable to B&K's desired conclusion than the assumption stated in the main text. Moreover, B&K's use of vague terms such as 'significant number' and 'astronomically large factor' creates a misleading impression. The author shows, amusingly, that the 'significant number' must be almost 1 million times greater than the 'astronomically large factor' for their argument to work (p. 9).
In Section 3, the author provides a new formulation of the simulation argument that is easily the most rigorous I have seen. This formulation deserves to be the reference point for future discussions of the argument's epistemological consequences."