Is any Millenium problem independent of ZFC?

MANIFOLD

Ṁ110Ṁ131

2100

32%

chance

ALL

Resolves NO once they're all solved, or YES with an independence proof.

Get

1,000

to start trading!

Sort by:

Most of them are meaningless. But I can annoy stack exchange with my proof that the 1/2 is a square root so it's needed to make the primes irrational and cancel out.

People are also trading

Will the next Millennium Problem be solved by an AI?

93% chance

Will an inconsistency in ZFC be found before 2050?

8% chance

Will a millennium problem be solved in 2026?

97% chance

Will ZFC prove a contradiction by 1 0000?

20% chance

Are any Millennium Prize problems undecidable/unprovable/unsolvable?

16% chance

When will one of the remaining Millenium Problems be solved?

Will a non-lab AI-only effort solve a Millennium Problem in 2026?

5% chance

Will ZFC prove a contradiction by 2100?

7% chance

Will any of the remaining Millenium Problems be solved with zero to minimal AI use?

10% chance

Which Busy Beaver numbers can be determined using ZFC?

People are also trading

Related questions