Skip to main content
MANIFOLD
Which AI lab's model will be first to solve a Millennium Problem besides Navier–Stokes?
6
Ṁ1kṀ1.1k
2034
45%
OpenAI
16%
Anthropic
16%
DeepMind
7%
xAI
16%
Other

Resolves to the company whose AI model is credited with doing the majority of the work in the first solution to any of the unsolved Millennium Prize Problems besides Navier–Stokes. Resolves on Clay Institute announcement or earlier on broad expert consensus that the proof is correct. Resolves N/A if no AI-led solution by end of 2034. If a claimed solution is under serious review at close, the market will be extended until it's confirmed or rejected.

Market context
Get
Ṁ1,000
to start trading!