Resolution Criteria
If P versus NP Problem in its official Clay Mathematics Institute formulation is resolved before Jan 1, 2040 under the Payout Criterion and that resolution has not been retracted, withdrawn, repudiated, or rescinded prior to the Expiration time, then the market resolves to Yes. For purposes of this Contract, P versus NP Problem in its official Clay Mathematics Institute formulation is considered resolved if at least one of the following occurs and has not been retracted, withdrawn, repudiated, or rescinded prior to the Expiration time:
A peer-reviewed article presenting a complete proof, a complete disproof, or a counterexample establishing the falsity of the conjecture, in the conjecture's original form as specified by the Exchange at Issuance, has been published in one or more Source Agency peer-reviewed journals.
A recognized authoritative body for the academic field of the conjecture, including but not limited to Annals of Mathematics, the American Mathematical Society, the International Mathematical Union, a national academy of sciences, the Nobel Foundation, or an equivalent governing or recognition body for the relevant academic field, has officially recognized in a written communication that the conjecture, in its original form as specified by the Exchange at Issuance, has been resolved by reference to a specific written work.
At least two Source Agencies have published reporting describing the conjecture, in its original form as specified by the Exchange at Issuance, as having been proven, disproven, or otherwise resolved by reference to a specific publicly available written work, and no Source Agency has, prior to the Expiration time, published reporting that such written work has been formally retracted by its author(s) or by any publishing journal, has been formally withdrawn or repudiated by its author(s), or contains an identified error that has not been publicly corrected or addressed by the author(s) in a subsequent publication or amendment. If an event described in the Payout Criterion occurs, expiration will be moved to an earlier date and time in accordance with Rule 7.2.
