Further substantive progress on the Riemann Hypothesis by ___?
Valor
Comprar
The contract compares two alternatives for “Mais progresso substantivo na Hipótese de Riemann até ___?”
The two positions are 31 de outubro de 2026 and 31 de dezembro de 2026.
The condition separating the two outcomes, evidence source, and cutoff time are documented in the Resolution Rules below.
Este mercado será resolvido para "Sim" se um resultado matemático qualificatório estabelecer incondicionalmente que pelo menos 70% dos zeros não triviais da função zeta de Riemann situam-se na linha crítica, ou estabelecer um resultado mais forte, incluindo uma prova completa ou refutação da Hipótese de Riemann, até 23:59 horário do Leste na data especificada. Caso contrário, este mercado será resolvido para "Não".
Para os propósitos deste mercado, "incondicionalmente" significa que o resultado qualificatório não pode depender de assumir a Hipótese de Riemann ou qualquer outra conjectura não comprovada necessária para que o limiar declarado se mantenha.
Um resultado que estabeleça qualquer limite inferior incondicional de 70% ou maior se qualificará. Um resultado que estabeleça uma porcentagem maior, prove que 100% dos zeros relevantes situam-se na linha crítica, ou de outra forma prove ou refute completamente a Hipótese de Riemann também se qualificará.
A verificação computacional de que zeros individuais adicionais situam-se na linha crítica não se qualificará por si só, independentemente do número de zeros verificados. Resultados condicionais, argumentos heurísticos, provas reivindicadas sem verificação suficiente, resultados parciais que não atendam ao limiar de 70%, ou melhorias que permaneçam abaixo de 70% não se qualificarão.
Um resultado qualificatório não precisa ter completado a revisão por pares ou sido formalmente publicado em um periódico acadêmico até o prazo do mercado. Um artigo liberado publicamente, preprint, relatório técnico ou outro trabalho matemático publicamente disponível se qualificará se o resultado for suficientemente substantivado por sua prova acompanhante e tiver recebido validação ou aceitação independente credível de especialistas reconhecidos em teoria analítica dos números ou da comunidade matemática mais ampla. Por exemplo, o resultado da Anthropic anunciado em 10 de agosto de 2026, que estabeleceu um limite inferior incondicional melhorado de aproximadamente 67,25% na proporção de zeros da zeta de Riemann na linha crítica, se qualificaria sob esses critérios se atendesse ao limiar requerido de 70%.