Verbatim from the venue. The analyst must quote these, never paraphrase.
If P versus NP Problem is the first Millennium Prize Problem solved after Issuance, then the market resolves to Yes.
A Millennium Prize Problem is considered Solved at the earliest time that any of the following occurs:
A complete proof, disproof, or counterexample addressing the problem as officially formulated is published in a peer-reviewed journal.
The Clay Mathematics Institute or another recognized authoritative academic body officially recognizes in writing that the problem has been resolved by reference to a specific written work.
At least two Source Agencies report that the problem has been proven, disproven, or otherwise resolved by reference to a specific publicly available written work.
If multiple problems have the same Solution Time, each is treated as the next problem Solved and the market resolves to 1/N, where N is the number of tied problems. A qualifying solution ceases to count if, before Expiration, it is formally retracted, withdrawn, repudiated, rescinded, or found to contain an identified and unaddressed error.
early_close_conditionIf an event described in the Payout Criterion occurs, expiration will be moved to an earlier date and time in accordance with Rule 7.2.
event_tickerKXMILLENNIUMNEXT-45
exchange_index0
expected_expiration_time2045-01-07T15:00:00Z
expiration_time2045-01-07T15:00:00Z
expiration_value
last_price_dollars0.0000
latest_expiration_time2045-01-07T15:00:00Z
liquidity_dollars0.0000
market_typebinary
no_ask_dollars1.0000
no_bid_dollars0.9600
no_sub_titleP versus NP Problem
notional_value_dollars1.0000
occurrence_datetime2045-01-01T05:00:00Z
open_interest_fp0.00
open_time2026-09-12T22:00:00Z
previous_price_dollars0.0000
previous_yes_ask_dollars0.0400
previous_yes_bid_dollars0.0000
price_level_structurelinear_cent
price_ranges1
[0]3
end1.0000
start0.0000
step0.0100
result
rules_primaryIf P versus NP Problem is the first Millennium Prize Problem solved after Issuance, then the market resolves to Yes.
rules_secondaryA Millennium Prize Problem is considered Solved at the earliest time that any of the following occurs:
A complete proof, disproof, or counterexample addressing the problem as officially formulated is published in a peer-reviewed journal.
The Clay Mathematics Institute or another recognized authoritative academic body officially recognizes in writing that the problem has been resolved by reference to a specific written work.
At least two Source Agencies report that the problem has been proven, disproven, or otherwise resolved by reference to a specific publicly available written work.
If multiple problems have the same Solution Time, each is treated as the next problem Solved and the market resolves to 1/N, where N is the number of tied problems. A qualifying solution ceases to count if, before Expiration, it is formally retracted, withdrawn, repudiated, rescinded, or found to contain an identified and unaddressed error.