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.
Este mercado se resolverá a favor de "Sí" si, antes de las 23:59 ET de la fecha especificada, un resultado matemático que cumpla los requisitos demuestra de forma incondicional que al menos el 70% de los ceros no triviales de la función zeta de Riemann se encuentran en la recta crítica, o demuestra un resultado más sólido, incluida una demostración o refutación completa de la hipótesis de Riemann. De lo contrario, este mercado se resolverá como "No". A efectos de este mercado, "incondicionalmente" significa que el resultado válido no puede depender de dar por cierta la hipótesis de Riemann ni ninguna otra conjetura no demostrada que sea necesaria para que se cumpla el umbral indicado. Se considerará válido cualquier resultado que establezca una cota inferior incondicional del 70% o superior. También se considerará válido un resultado que establezca un porcentaje mayor, demuestre que el 100% de los ceros pertinentes se encuentran en la recta crítica o demuestre o refute de otro modo y de forma completa la hipótesis de Riemann. La verificación computacional de que otros ceros individuales se encuentran en la recta crítica no será suficiente por sí sola, independientemente del número de ceros comprobados. No se considerarán válidos los resultados condicionales, los argumentos heurísticos, las demostraciones alegadas sin verificación suficiente, los resultados parciales que no alcancen el umbral del 70% ni las mejoras que sigan por debajo del 70%. No es necesario que un resultado válido haya completado la revisión por pares ni que se haya publicado formalmente en una revista académica antes de la fecha límite del mercado. Se considerará válido un artículo, prepublicación, informe técnico u otro trabajo matemático de acceso público si la demostración que lo acompaña fundamenta suficientemente el resultado y este ha recibido una validación independiente creíble o la aceptación de expertos reconocidos en teoría analítica de números o en la comunidad matemática en general. Por ejemplo, el resultado de Anthropic anunciado el 10 de agosto de 2026, que estableció una mejora de la cota inferior incondicional de aproximadamente el 67.25% para la proporción de ceros de la función zeta de Riemann que se encuentran en la recta crítica, se consideraría válido con arreglo a estos criterios si alcanzara el umbral requerido del 70% . La resolución de este mercado se basará en el consenso de fuentes periodísticas fiables.
Traducción automática. En caso de disputa, prevalece el original.