@BjarturTomas I think it's because it's being done by people they dislike(silicon valley, "tech bros"). it's easy to admit you were wrong, what's hard is admitting your enemies were right.
@nickcammarata@AlexKrusz@AsaCoopStick do you think this effect is larger than the added safety we get from a few more years of research with GPT7-tier assistants or whatever? seems very dubious to me.
Our new campaign in Canada, backed by over 30 MPs and Senators, is cause for real optimism.
For the first time, a cross-party coalition of Canadian lawmakers is calling for an international ban on developing superintelligence, recognizing the extinction risk it poses.
🧵
@adamascholl@quetzal_rainbow@niplav_site@DavidSartor0 we realized you can't make a machine that *produces energy* on its own indefinitely, due to conservation of energy. a reversible computer doesn't contradict that.
@niplav_site@DavidSartor0@adamascholl minds that only occasionally use negentropy to communicate with the outside world could be valuable though, thinking* for a very long time between inputs and outputs.
@mmjukic the highest IQ country(China) is plausibly going to become hegemon in the absence of US ASI(which of course would be its own vindication of the power of intelligence)
@norvid_studies "forcing" in set theory is already kinda like this in that it involves adjoining a new element to the set theory universe by making an infinite number of choices, but it's posited that all of the thing's properties must be decidable after some finite number of choices.
@norvid_studies the idea is vague but I strongly suspect you could clarify/upgrade the foundations of mathematics via an analysis along the lines of the post, carefully tracking what hypotheses are falsifiable or not to a being who ultimately observes a finite sequence of finite information.
@norvid_studies it's about kinds of hypercomputation that can be distinguished between by finite observers. like if we had a purported halting oracle, how could we tell that it's a halting oracle?