Manifold MarketsClosedNo KYCVerified resolution dataFairly calibratedThis market resolved: Yes (85.5%)
Resolved: Oct 11, 2026, 4:58 AM
Provider-verified resolution
CoinRithm has provider-backed winner and settlement-time evidence for this market.
Data quality warningStale data
Data as of Oct 11, 2026, 5:40 PM UTC · policy pm-quality-4
Trends
Won
Lost
Related Markets
Related questions for context, not a comparison of equivalent contracts.
Will all Millennium prize problems be solved (or proved unsolvable) by 2040?
Manifold MarketsWhen will the Kakeya conjecture be proved or disproved?
Manifold MarketsWill all Millennium prize problems be solved (or proved unsolvable) by 2030?
Manifold MarketsWill the US confirm that aliens exist by which date?
PolymarketWill the U.S. confirm that aliens exist?
KalshiWhere will 2026 rank among the hottest years on record?
PolymarketRules
Specifically, will before October 2026, will there be a proof of the existence of a non-hyperlinear group?
- If so, this would negatively resolve a long-standing open question about if all groups are hyperlinear.
- This was described as a major open problem in group theory, and a “holy-grail” alongside two other questions.
- This question resolves YES if a proof created this month resolves the problem and goes on to be considered valid by others.
- If it takes longer than September to verify but the proof was written in September, it still resolved YES.
- If all groups are hyperlinear, this resolves NO.