- Haverá mais avanços substanciais na hipótese de Riemann até 31 de dezembro de 2026?10¢10%
OpenAI’s October 6, 2026 release of 719 AI-generated math papers, including a claimed proof of the quasi-Riemann hypothesis establishing a zero-free region for the zeta function and Dirichlet L-functions with real part greater than 7/8, has driven recent trader attention. Mathematicians including James Maynard have called the result landmark for analytic number theory, as it extends prior bounds and rules out certain Siegel zeros while generalizing across related functions. Verification remains ongoing, with machine-checkable Lean formalizations released but limited independent human review completed so far. Earlier AI-assisted work, such as Anthropic’s Claude improving lower bounds on the proportion of critical-line zeros to over 67 percent in August 2026, illustrates growing large language model contributions to number theory, though full resolution of the Riemann hypothesis itself stays open.
Regras
Este mercado será resolvido a favor de "Sim" se, até as 23:59 ET da data especificada, um resultado matemático qualificável estabelecer incondicionalmente que pelo menos 70% dos zeros não triviais da função zeta de Riemann estão na linha crítica, ou estabelecer um resultado mais forte, incluindo uma prova ou refutação completa da Hipótese de Riemann. Caso contrário, este mercado será resolvido como "Não". Para os fins deste mercado, "incondicionalmente" significa que o resultado qualificado não pode depender de se presumir a Hipótese de Riemann ou qualquer outra conjectura não comprovada necessária para que o limite indicado seja atingido. Será qualificado qualquer resultado que estabeleça um limite inferior incondicional de 70% ou mais. Também será qualificado um resultado que estabeleça uma porcentagem maior, prove que 100% dos zeros relevantes estão na linha crítica ou, de outra forma, prove ou refute completamente a Hipótese de Riemann. A verificação computacional de que zeros individuais adicionais estão na linha crítica não será suficiente por si só, independentemente do número de zeros verificados. Resultados condicionais, argumentos heurísticos, provas alegadas sem verificação suficiente, resultados parciais que não atinjam o limite de 70% ou melhorias que permaneçam abaixo de 70% não serão qualificados. Um resultado qualificado não precisa ter concluído a revisão por pares nem ter sido publicado formalmente em uma revista acadêmica até o prazo final do mercado. Um artigo, pré-publicação, relatório técnico ou outro trabalho matemático disponibilizado publicamente será qualificado se a prova que o acompanha fundamentar suficientemente o resultado e se ele tiver recebido validação independente confiável ou aceitação de especialistas reconhecidos em teoria analítica dos números ou na comunidade matemática em geral. Por exemplo, o resultado da Anthropic anunciado em 10 de agosto de 2026, que estabeleceu um limite inferior incondicional aprimorado de aproximadamente 67.25% para a proporção de zeros da função zeta de Riemann na linha crítica, seria qualificado segundo estes critérios se atingisse o limite exigido de 70%. A resolução deste mercado será baseada em um consenso de reportagens confiáveis.
Tradução automática. Em caso de divergência, prevalece o original.