Will the leaked OpenAI "GPT 5.6 Sol" proof that nonsofic groups exist be verified as correct?
AIOne-Off9mnd
Manifold MarketsGeen KYCGeverifieerde afwikkelingsgegevensRedelijk gekalibreerdHuidige gemeenschapsvoorspellingJa 97.6%
Voorspellers
10
Vraagtype
binary
Methodologie
Play-money forecasting platform
Brontype
Voorspelling
Marktdata
Bijgewerkt 13 minuten geleden
1 aug 26, 06:35 UTC1 aug 27, 06:31 UTC
Trends
Gerelateerde Markten
Gerelateerde vragen voor context, geen vergelijking van gelijkwaardige contracten.
Will anyone currently living be verified as 120 years old by 2030?
Manifold MarketsWill there be fresh fruit/vegetables advertised+verified as being sold "microplastics-free" in any supermarket by 2026?
Manifold MarketsWill the Clay Mathematics Institute formally recognize OpenAI's Navier-Stokes solution as correct before 2029?
Manifold MarketsNext GPT Sol (6.2+) released by which date?
PolymarketWill GPT-6 Sol out-benchmark Opus 5?
Manifold MarketsWhat will GPT Sol's output token price hit in 2026?
PolymarketRegels
Resolves YES if:
- A paper or preprint containing the claimed proof is made public, AND
- Within the market window, expert consensus accepts the proof as correct — operationalized as any of: (a) publication/acceptance in a peer-reviewed venue, (b) a complete formalization in a proof assistant (e.g. Lean) verified end-to-end, or (c) public endorsement of correctness by at least three recognized researchers in sofic groups / group approximation theory (e.g. people with published work in the area) with no credible unresolved objection outstanding.
- Resolves NO if:
- A fatal, unpatched error is identified and acknowledged, or the claim is retracted, OR
- No paper materializes and the claim is walked back or abandoned, OR
