- Будет ли достигнут дальнейший существенный прогресс в исследовании гипотезы Римана до 31 декабря 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.
Правила
Этот рынок будет рассчитан в пользу «Да», если к 23:59 ET указанной даты будет получен соответствующий математический результат, безусловно устанавливающий, что не менее 70% нетривиальных нулей дзета-функции Римана лежат на критической прямой, или устанавливающий более сильный результат, включая полное доказательство гипотезы Римана или опровержение этой гипотезы. В противном случае этот рынок будет рассчитан как «Нет». Для целей этого рынка «безусловно» означает, что подходящий результат не может зависеть от предположения о справедливости гипотезы Римана или любой другой недоказанной гипотезы, необходимой для достижения указанного порога. Подойдёт любой результат, устанавливающий безусловную нижнюю границу 70% или выше. Также подойдёт результат, устанавливающий более высокий процент, доказывающий, что 100% соответствующих нулей лежат на критической прямой, или иным образом полностью доказывающий либо опровергающий гипотезу Римана. Вычислительная проверка того, что дополнительные отдельные нули лежат на критической прямой, сама по себе не подойдёт независимо от числа проверенных нулей. Не подойдут условные результаты, эвристические рассуждения, заявления о доказательстве без достаточной проверки, частичные результаты, не достигающие порога 70%, а также улучшения, остающиеся ниже 70%. Подходящий результат не обязан пройти рецензирование или быть официально опубликованным в академическом журнале к сроку закрытия рынка. Подойдёт общедоступная статья, препринт, технический отчёт или другая опубликованная математическая работа, если сопровождающее доказательство достаточно обосновывает результат и он получил достоверную независимую проверку или признание со стороны признанных экспертов в аналитической теории чисел либо более широкого математического сообщества. Например, результат Anthropic, объявленный 10 августа 2026 г., установивший улучшенную безусловную нижнюю границу приблизительно 67.25% для доли нулей дзета-функции Римана, лежащих на критической прямой, подошёл бы по этим критериям, если бы достиг требуемого порога 70%. Источником для расчёта по этому рынку будет консенсус достоверных сообщений.
Машинный перевод. В спорных случаях действует оригинал.