Will the leaked OpenAI "GPT 5.6 Sol" proof that nonsofic groups exist be verified as correct?
IAOne-Off9m
Manifold MarketsSem KYCDados de resolução verificadosRazoavelmente calibradoPrevisão da comunidade atualSim 97.6%
Previsores
10
Tipo de pergunta
binary
Metodologia
Play-money forecasting platform
Tipo de fonte
Previsão
Dados do mercado
Atualizado há 1 hora
Atrasado1/08/26, 06:35 UTC1/08/27, 06:31 UTC
Tendências
Mercados Relacionados
Perguntas relacionadas para dar contexto, não uma comparação de contratos equivalentes.
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?
PolymarketRegras
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
