The $840 billion startup’s wildly successful partnership with Microsoft contains a prenuptial agreement triggered when artificial general intelligence is achieved. Snag is, the definition and its arrival are opaque. When large sums hinge on vague terms, there’s always tension.

