By when will a competition platform like Codeforces but for mathematics (theorem proving) appear?
EsportesOne-OffIAXadrezTecnologia3a
Manifold MarketsSem KYCDados de resolução verificadosRazoavelmente calibradoPrevisão da comunidade atual
2027 61.7%Líder entre 6 opções
2027 61.7%Previsores
20
Tipo de pergunta
multiple choice
Metodologia
Play-money forecasting platform
Tipo de fonte
Previsão
Variação 7d
0.0 pts
Dados do mercado
Atualizado há 4 horas
Desatualizado29/02/24, 11:00 UTC1/01/30, 22:59 UTC
Tendências
Mercados Relacionados
Perguntas relacionadas para dar contexto, não uma comparação de contratos equivalentes.
Size of the smallest number of positions proving a win for black in Queen-odds chess
Manifold MarketsSize of the smallest number of positions proving at least a draw for black in chess
Manifold MarketsIf I switch majors from Finance to Applied Mathematics, will I regret it in May 2027?
Manifold MarketsWill Lichess surpass Chess.com to be the most popular chess platform by the end of 2028?
Manifold MarketsWhat will happen in 2026 related to AI?
Manifold Markets[ACX 2026] Will OpenAI file for an IPO during 2026?
Manifold MarketsRegras
Competitive programming platforms exist because it's comfortable to write computations and the validity and speed of a computation can easily with high confidence be verified with another computation, that iterates over most relevant inputs and checks the corresponding output.
- This mostly didn't apply for the verification of mathematical proofs.
- Until recently, with the creation of Lean the mentioned difference is becoming smaller.
- If Lean improves and becomes more widespread, a platform hosting theorem proving competitions could be created.
- Resolution criteria
- The platform must be used and follow a similar format of 'Codeforces' in particular:
