Manifold MarketsSem KYCDados de resolução verificadosRazoavelmente calibradoPrevisão da comunidade atualnot by 2032 38.7%Líder entre 11 opções
Previsores
28
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á 3 horas
Desatualizado25/06/23, 19:00 UTC1/01/33, 22:59 UTC
Tendências
Regras
This resolves to the (first) year that the IMO grand challenge is completed according to the IMO Grand Challenge committee.
- This requires an AI to generate machine-checkable proof of all problems on an IMO, and there are more rules here: https://imo-grand-challenge.github.io/
- I will use the year that the announcement was made by a member of the IMO Grand Challenge committee to decide which year this market resolves as (UTC).
- Since the code must be publicly available before the first day of the IMO I don't expect any close calls here.
- This resolves "the named outcome" if this market hasn't resolved by the end of 2032.
- It will also resolve "the named outcome" a month after the IMO in 2032 if there is nobody makes a credible claim that the IMO grand challenge might be solved.
