Manifold MarketsFerméSans KYCDonnées de résolution vérifiéesAssez bien calibréCe marché s'est résolu: Yes (85.5%)
Résolu: 11 oct. 2026, 04:58
Résolution vérifiée par le fournisseur
CoinRithm dispose d'éléments du fournisseur pour le gagnant et l'heure de règlement de ce marché.
Alerte qualité des donnéesDonnées obsolètes
Données au 11 oct. 2026, 17:40 UTC · politique pm-quality-4
Tendances
Gagné
Perdu
Marchés Associés
Questions liées pour le contexte, et non une comparaison de contrats équivalents.
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?
PolymarketRègles
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.