It's called Trump. Resolve YES.

Have you guys still not gotten rid of Mark Ingraham‽ I left for 4 months!

How do you define existential catastrophe? Does this set of market resolve at first superinteligence even if it causes such an event soon after?

@CodeandSolder An existential catastrophe would likely prevent me from resolving this market, so it's not a functional difference from not having that there; it just reminds people to take that into account.

@IsaacKing in real world obviously yes, but I assumed we ignored boring practical aspects like that, much like with markets ending in 2075 vs 2100

@CodeandSolder I don't understand the question then.

@IsaacKing the question is is it (conditional on no existential catastrophe by 2075) (will there be a superinteligence by 2075) or (conditional on no existential catastrophe before there is a superinteligence) (will there be a superinteligence by 2075)