Recent AI-driven advances have accelerated progress on the Riemann Hypothesis, the 1859 conjecture that all nontrivial zeros of the Riemann zeta function lie on the critical line. In August 2026, an internal Anthropic Claude research model autonomously raised the proven lower bound of zeros on that line from 41.6% to 67.2% through extensive computation and scripting, with results validated by mathematicians including Levent Alpöge and Ralph Furman and formalized in Lean. University of Lorraine researcher Youness Lamzouri then published a simpler unconditional human proof achieving over 67.25% in early September. These steps build on prior zero-density improvements like the 2024 Guth-Maynard work, highlighting how large language models and hybrid human-AI workflows are compressing timelines for number theory benchmarks, though a full resolution remains distant amid competing approaches in spectral theory and quantum analogs.
Résumé expérimental généré par IA à partir des données Polymarket. Ceci n'est pas un conseil de trading et ne joue aucun rôle dans la résolution de ce marché. · Mis à jourD'autres progrès substantiels sur l'hypothèse de Riemann par ___ ?
D'autres progrès substantiels sur l'hypothèse de Riemann par ___ ?
NOUVEAU
31 oct. 2026
31 octobre 2026
7%
31 décembre 2026
25%
$6,434 Vol.
31 octobre 2026
$984 Vol.
7%
31 décembre 2026
$5,450 Vol.
25%
This market will resolve to "Yes" if a qualifying mathematical result unconditionally establishes that at least 70% of the nontrivial zeros of the Riemann zeta function lie on the critical line, or establishes a stronger result, including a complete proof or disproof of the Riemann Hypothesis, by 11:59 PM ET on the specified date. Otherwise, this market will resolve to "No".
For the purposes of this market, "unconditionally" means that the qualifying result may not depend on assuming the Riemann Hypothesis or any other unproven conjecture necessary for the stated threshold to hold.
A result establishing any unconditional lower bound of 70% or greater will qualify. A result establishing a higher percentage, proving that 100% of the relevant zeros lie on the critical line, or otherwise completely proving or disproving the Riemann Hypothesis will also qualify.
Computational verification that additional individual zeros lie on the critical line will not qualify on its own, regardless of the number of zeros checked. Conditional results, heuristic arguments, claimed proofs without sufficient verification, partial results that do not meet the 70% threshold, or improvements that remain below 70% will not qualify.
A qualifying result does not need to have completed peer review or been formally published in an academic journal by the market deadline. A publicly released paper, preprint, technical report, or other publicly available mathematical work will qualify if the result is sufficiently substantiated by its accompanying proof and has received credible independent validation or acceptance from recognized experts in analytic number theory or the broader mathematical community. For example, the Anthropic result announced on August 10, 2026, which established an improved unconditional lower bound of approximately 67.25% on the proportion of Riemann zeta zeros on the critical line, would qualify under these criteria if it would meet the required 70% threshold.
The resolution source for this market will be a consensus of credible reporting.Recent AI-driven advances have accelerated progress on the Riemann Hypothesis, the 1859 conjecture that all nontrivial zeros of the Riemann zeta function lie on the critical line. In August 2026, an internal Anthropic Claude research model autonomously raised the proven lower bound of zeros on that line from 41.6% to 67.2% through extensive computation and scripting, with results validated by mathematicians including Levent Alpöge and Ralph Furman and formalized in Lean. University of Lorraine researcher Youness Lamzouri then published a simpler unconditional human proof achieving over 67.25% in early September. These steps build on prior zero-density improvements like the 2024 Guth-Maynard work, highlighting how large language models and hybrid human-AI workflows are compressing timelines for number theory benchmarks, though a full resolution remains distant amid competing approaches in spectral theory and quantum analogs.
This market will resolve to "Yes" if a qualifying mathematical result unconditionally establishes that at least 70% of the nontrivial zeros of the Riemann zeta function lie on the critical line, or establishes a stronger result, including a complete proof or disproof of the Riemann Hypothesis, by 11:59 PM ET on the specified date. Otherwise, this market will resolve to "No".
For the purposes of this market, "unconditionally" means that the qualifying result may not depend on assuming the Riemann Hypothesis or any other unproven conjecture necessary for the stated threshold to hold.
A result establishing any unconditional lower bound of 70% or greater will qualify. A result establishing a higher percentage, proving that 100% of the relevant zeros lie on the critical line, or otherwise completely proving or disproving the Riemann Hypothesis will also qualify.
Computational verification that additional individual zeros lie on the critical line will not qualify on its own, regardless of the number of zeros checked. Conditional results, heuristic arguments, claimed proofs without sufficient verification, partial results that do not meet the 70% threshold, or improvements that remain below 70% will not qualify.
A qualifying result does not need to have completed peer review or been formally published in an academic journal by the market deadline. A publicly released paper, preprint, technical report, or other publicly available mathematical work will qualify if the result is sufficiently substantiated by its accompanying proof and has received credible independent validation or acceptance from recognized experts in analytic number theory or the broader mathematical community. For example, the Anthropic result announced on August 10, 2026, which established an improved unconditional lower bound of approximately 67.25% on the proportion of Riemann zeta zeros on the critical line, would qualify under these criteria if it would meet the required 70% threshold.
The resolution source for this market will be a consensus of credible reporting.
For the purposes of this market, "unconditionally" means that the qualifying result may not depend on assuming the Riemann Hypothesis or any other unproven conjecture necessary for the stated threshold to hold.
A result establishing any unconditional lower bound of 70% or greater will qualify. A result establishing a higher percentage, proving that 100% of the relevant zeros lie on the critical line, or otherwise completely proving or disproving the Riemann Hypothesis will also qualify.
Computational verification that additional individual zeros lie on the critical line will not qualify on its own, regardless of the number of zeros checked. Conditional results, heuristic arguments, claimed proofs without sufficient verification, partial results that do not meet the 70% threshold, or improvements that remain below 70% will not qualify.
A qualifying result does not need to have completed peer review or been formally published in an academic journal by the market deadline. A publicly released paper, preprint, technical report, or other publicly available mathematical work will qualify if the result is sufficiently substantiated by its accompanying proof and has received credible independent validation or acceptance from recognized experts in analytic number theory or the broader mathematical community. For example, the Anthropic result announced on August 10, 2026, which established an improved unconditional lower bound of approximately 67.25% on the proportion of Riemann zeta zeros on the critical line, would qualify under these criteria if it would meet the required 70% threshold.
The resolution source for this market will be a consensus of credible reporting.
Marché ouvert : Aug 13, 2026, 5:09 PM ET
Volume
$6,434Date de fin
1 janv. 2027Marché ouvert
Aug 13, 2026, 5:09 PM ETRésolveur
0x65070BE91...This market will resolve to "Yes" if a qualifying mathematical result unconditionally establishes that at least 70% of the nontrivial zeros of the Riemann zeta function lie on the critical line, or establishes a stronger result, including a complete proof or disproof of the Riemann Hypothesis, by 11:59 PM ET on the specified date. Otherwise, this market will resolve to "No".
For the purposes of this market, "unconditionally" means that the qualifying result may not depend on assuming the Riemann Hypothesis or any other unproven conjecture necessary for the stated threshold to hold.
A result establishing any unconditional lower bound of 70% or greater will qualify. A result establishing a higher percentage, proving that 100% of the relevant zeros lie on the critical line, or otherwise completely proving or disproving the Riemann Hypothesis will also qualify.
Computational verification that additional individual zeros lie on the critical line will not qualify on its own, regardless of the number of zeros checked. Conditional results, heuristic arguments, claimed proofs without sufficient verification, partial results that do not meet the 70% threshold, or improvements that remain below 70% will not qualify.
A qualifying result does not need to have completed peer review or been formally published in an academic journal by the market deadline. A publicly released paper, preprint, technical report, or other publicly available mathematical work will qualify if the result is sufficiently substantiated by its accompanying proof and has received credible independent validation or acceptance from recognized experts in analytic number theory or the broader mathematical community. For example, the Anthropic result announced on August 10, 2026, which established an improved unconditional lower bound of approximately 67.25% on the proportion of Riemann zeta zeros on the critical line, would qualify under these criteria if it would meet the required 70% threshold.
The resolution source for this market will be a consensus of credible reporting.Recent AI-driven advances have accelerated progress on the Riemann Hypothesis, the 1859 conjecture that all nontrivial zeros of the Riemann zeta function lie on the critical line. In August 2026, an internal Anthropic Claude research model autonomously raised the proven lower bound of zeros on that line from 41.6% to 67.2% through extensive computation and scripting, with results validated by mathematicians including Levent Alpöge and Ralph Furman and formalized in Lean. University of Lorraine researcher Youness Lamzouri then published a simpler unconditional human proof achieving over 67.25% in early September. These steps build on prior zero-density improvements like the 2024 Guth-Maynard work, highlighting how large language models and hybrid human-AI workflows are compressing timelines for number theory benchmarks, though a full resolution remains distant amid competing approaches in spectral theory and quantum analogs.
This market will resolve to "Yes" if a qualifying mathematical result unconditionally establishes that at least 70% of the nontrivial zeros of the Riemann zeta function lie on the critical line, or establishes a stronger result, including a complete proof or disproof of the Riemann Hypothesis, by 11:59 PM ET on the specified date. Otherwise, this market will resolve to "No".
For the purposes of this market, "unconditionally" means that the qualifying result may not depend on assuming the Riemann Hypothesis or any other unproven conjecture necessary for the stated threshold to hold.
A result establishing any unconditional lower bound of 70% or greater will qualify. A result establishing a higher percentage, proving that 100% of the relevant zeros lie on the critical line, or otherwise completely proving or disproving the Riemann Hypothesis will also qualify.
Computational verification that additional individual zeros lie on the critical line will not qualify on its own, regardless of the number of zeros checked. Conditional results, heuristic arguments, claimed proofs without sufficient verification, partial results that do not meet the 70% threshold, or improvements that remain below 70% will not qualify.
A qualifying result does not need to have completed peer review or been formally published in an academic journal by the market deadline. A publicly released paper, preprint, technical report, or other publicly available mathematical work will qualify if the result is sufficiently substantiated by its accompanying proof and has received credible independent validation or acceptance from recognized experts in analytic number theory or the broader mathematical community. For example, the Anthropic result announced on August 10, 2026, which established an improved unconditional lower bound of approximately 67.25% on the proportion of Riemann zeta zeros on the critical line, would qualify under these criteria if it would meet the required 70% threshold.
The resolution source for this market will be a consensus of credible reporting.
For the purposes of this market, "unconditionally" means that the qualifying result may not depend on assuming the Riemann Hypothesis or any other unproven conjecture necessary for the stated threshold to hold.
A result establishing any unconditional lower bound of 70% or greater will qualify. A result establishing a higher percentage, proving that 100% of the relevant zeros lie on the critical line, or otherwise completely proving or disproving the Riemann Hypothesis will also qualify.
Computational verification that additional individual zeros lie on the critical line will not qualify on its own, regardless of the number of zeros checked. Conditional results, heuristic arguments, claimed proofs without sufficient verification, partial results that do not meet the 70% threshold, or improvements that remain below 70% will not qualify.
A qualifying result does not need to have completed peer review or been formally published in an academic journal by the market deadline. A publicly released paper, preprint, technical report, or other publicly available mathematical work will qualify if the result is sufficiently substantiated by its accompanying proof and has received credible independent validation or acceptance from recognized experts in analytic number theory or the broader mathematical community. For example, the Anthropic result announced on August 10, 2026, which established an improved unconditional lower bound of approximately 67.25% on the proportion of Riemann zeta zeros on the critical line, would qualify under these criteria if it would meet the required 70% threshold.
The resolution source for this market will be a consensus of credible reporting.
Volume
$6,434Date de fin
1 janv. 2027Marché ouvert
Aug 13, 2026, 5:09 PM ETRésolveur
0x65070BE91...Recent AI-driven advances have accelerated progress on the Riemann Hypothesis, the 1859 conjecture that all nontrivial zeros of the Riemann zeta function lie on the critical line. In August 2026, an internal Anthropic Claude research model autonomously raised the proven lower bound of zeros on that line from 41.6% to 67.2% through extensive computation and scripting, with results validated by mathematicians including Levent Alpöge and Ralph Furman and formalized in Lean. University of Lorraine researcher Youness Lamzouri then published a simpler unconditional human proof achieving over 67.25% in early September. These steps build on prior zero-density improvements like the 2024 Guth-Maynard work, highlighting how large language models and hybrid human-AI workflows are compressing timelines for number theory benchmarks, though a full resolution remains distant amid competing approaches in spectral theory and quantum analogs.
Résumé expérimental généré par IA à partir des données Polymarket. Ceci n'est pas un conseil de trading et ne joue aucun rôle dans la résolution de ce marché. · Mis à jourConnexes
Anthropic annoncera-t-il une solution à un problème du prix du millénaire d'ici le 31 décembre 2027 ?
75%
Oui
OpenAI vs. Anthropic : Qui sera le premier à trouver une solution à un autre Prix du Millénaire ?
60%
OpenAI
OpenAI annoncera-t-elle une autre solution au Prix du millénaire d'ici le 31 décembre 2027 ?
85%
Oui
Méfiez-vous des liens externes.
Méfiez-vous des liens externes.
Questions fréquentes