- Чи буде до 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%. Джерелом для розрахунку цього ринку буде консенсус достовірних повідомлень.
Машинний переклад. У спірних випадках діє оригінал.