Verbatim from the venue. The analyst must quote these, never paraphrase.
If Birch and Swinnerton-Dyer Conjecture 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.
opens
Sep 12 · 10:00 PM UTC
closes
Jan 1, 2045 · 4:59 AM UTC · may close early
expires
Jan 7, 2045 · 3:00 PM UTC
Recent trades
Most recent first. Price is the YES side.
Time
Yes
No
Size
Taker
8d ago
Raw payload
Exactly what the API returned for this market.
Show JSON
market42
can_close_earlytrue
close_time2045-01-01T04:59:00Z
created_time2026-09-12T21:52:45.301821Z
custom_strike1
12¢
88¢
6
no
8d ago
14¢
86¢
6
no
8d ago
14¢
86¢
4
no
8d ago
21¢
79¢
0.05
no
8d ago
21¢
79¢
3
no
9d ago
20¢
80¢
55
no
9d ago
22¢
78¢
7
no
9d ago
26¢
74¢
2
no
12d ago
30¢
70¢
2
no
24d ago
29¢
71¢
5
no
24d ago
28¢
72¢
195
no
2mo ago
1¢
99¢
9
no
2mo ago
33¢
67¢
9
yes
2mo ago
37¢
63¢
111
yes
2mo ago
38¢
62¢
89
yes
2mo ago
45¢
55¢
200
yes
2mo ago
92¢
8¢
7.05
yes
Problem
Birch and Swinnerton-Dyer Conjecture
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.1200
latest_expiration_time2045-01-07T15:00:00Z
market_typebinary
no_ask_dollars0.8800
no_bid_dollars0.8000
no_sub_titleBirch and Swinnerton-Dyer Conjecture
notional_value_dollars1.0000
occurrence_datetime2045-01-01T05:00:00Z
open_interest_fp217.05
open_time2026-09-12T22:00:00Z
previous_price_dollars0.1200
previous_yes_ask_dollars0.2000
previous_yes_bid_dollars0.1200
price_level_structurelinear_cent
price_ranges1
[0]3
end1.0000
start0.0000
step0.0100
result
rules_primaryIf Birch and Swinnerton-Dyer Conjecture 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.
settlement_bounds_typedefault
settlement_timer_seconds1800
statusactive
strike_typecustom
tickerKXMILLENNIUMNEXT-45-BSD
titleWill Birch and Swinnerton-Dyer be solved next before 2045?