Aviso de qualidade dos dadosDados da fonte degradados
Dados de 25 de out. de 2026, 17:45 UTC · política pm-quality-4
Previsão da comunidade atual
Sim 75.4%
Previsores
10
Tipo de pergunta
binary
Metodologia
Play-money forecasting platform
Tipo de fonte
Previsão
Dados do mercado
Atualizado há 17 horas
Desatualizado1/08/26, 16:22 UTC1/01/35, 15:59 UTC
Tendências
Mercados Relacionados
Perguntas relacionadas para dar contexto, não uma comparação de contratos equivalentes.
AI program resolves Riemann Hypothesis before 2035
Manifold MarketsOpenAI discovers the first proof of the Riemann Hypothesis before 2027?
Manifold MarketsWhen will the Riemann Hypothesis be resolved?
KalshiWill someone solve the Riemann hypothesis to get a few mana on Manifold?
Manifold MarketsWill we have a proof of the Riemann Hypothesis by 2060?
Manifold MarketsWhen will the Riemann hypothesis win the Millennium Prize?
KalshiRegras
An AI program writes a correct proof that the Riemann hypothesis is either true, false, or undecidable (within the axioms of complex analysis) before 2035.
- Criteria for YES:
- (1) The proof must be vetted and approved by qualified humans in the same way that any paper would be checked for publication.
- The method for verifying the proof must be acceptable to the editors of the Annals of Mathematics or an equivalently prestigious journal.
- This means that if the editors of the Annals think it is okay for humans to use a computer to check the proof, then that's fine.
- (2) The proof must primarily be the work of the AI.
