p|datav0.1news130
HomeMarketsHubsOddsNews130MapMonitor
menu
HomeMarketsHubsOddsNews130MapMonitor
theme
markets·Science and Technology·Part of: AI Model Odds →
opentrade on Manifold ↗
marketsingle market

P != NP (will it be proven by April 2027)

Manifold·Science and Technology
P
5%
· 0.0pp
24h change
vol cum
M8.7k
vol 24h
M0
spread
n/a
ends
Apr 15, 2027
YES 5¢
NO 95¢

Will this be proven to the satisfaction of most mathematicians and computer scientists in 5 years? Apr 7, 12:55pm: Companion market here (for P = NP) https://manifold.markets/LarsDoucet/p-np Mar 14, 4:41pm: P != NP → P != NP (will it be proven by April 2027)

timeline
opened · Apr 7, 2022opencloses · Apr 15, 2027
P != NP (will it be proven by April 2027) · prices over time
−24h
now
volume · 24h windows
no volume history

similar markets

suggested by pdata
Manifoldmanifold
Does P = NP?
yes8¢· 0.0pp
M0 24h · 1 market
Kalshikalshi
When will the Riemann hypothesis be solved?
Before 203522¢· 0.0ppBefore 203218¢· 0.0ppBefore 203015¢· 0.0pp
+1 others
$0 24h · 4 markets
Manifoldmanifold
Will P vs NP be resolved by 2043?
yes46¢· 0.0pp
M0 24h · 1 market
Manifoldmanifold
Will AI resolve P vs NP by 2050?
yes65¢· 0.0pp
M200 24h · 1 market
Manifoldmanifold
AI program resolves Riemann Hypothesis before 2035
yes42¢· 0.0pp
M0 24h · 1 market
Manifoldmanifold
In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)
yes77¢· 0.0pp
M0 24h · 1 market
p|data·synced:Polymarket—Kalshi—Manifold—Predict—Myriad—Opinion—Limitless—Gemini—
hubsaboutmethodologyagentsdocsx© 2026