Подальший істотний прогрес щодо гіпотези Рімана ___?
Цей ринок буде вирішено «Так», якщо кваліфікований математичний результат беззастережно встановить, що принаймні 70% нетривіальних нулів дзета-функції Рімана лежать на критичній лінії, або встановить сильніший результат, включаючи повний доказ або спростування гіпотези Рімана, до 23:59 за східним часом у вказану дату. В іншому випадку цей ринок вирішить «Ні».
Для цілей цього ринку «безумовно» означає, що кваліфікаційний результат не може залежати від припущення гіпотези Рімана чи будь-якої іншої недоведеної гіпотези, необхідної для збереження встановленого порогу.
Результат, який встановлює будь-яку безумовну нижню межу 70% або більше, буде кваліфікуватися. Результат, який встановлює вищий відсоток, доводить, що 100% відповідних нулів лежать на критичній лінії, або іншим чином повністю доводить або спростовує гіпотезу Рімана, також буде кваліфіковано.
Обчислювальна перевірка того, що додаткові окремі нулі лежать на критичній лінії, сама по собі не кваліфікується, незалежно від кількості перевірених нулів. Умовні результати, евристичні аргументи, заявлені докази без достатньої перевірки, часткові результати, які не відповідають порогу 70%, або покращення, які залишаються нижче 70%, не будуть кваліфікуватися.
Кваліфікаційний результат не обов’язково повинен пройти експертну перевірку або бути офіційно опублікованим в науковому журналі до ринкового терміну. Публічно оприлюднений документ, препринт, технічний звіт або інша загальнодоступна математична робота буде кваліфікована, якщо результат достатньо підтверджений супровідним доказом і отримав надійну незалежну перевірку або визнання від визнаних експертів з аналітичної теорії чисел або ширшої математичної спільноти. Наприклад, результат Anthropic, оголошений 10 серпня 2026 року, який встановив покращену безумовну нижню межу приблизно 67,25% частки дзета-нулів Рімана на критичній лінії, відповідатиме цим критеріям, якщо відповідатиме необхідному порогу в 70%.
Джерелом рішення для цього ринку буде консенсус надійної звітності.
«Подальший істотний прогрес щодо гіпотези Рімана ___?» — це ринок прогнозів на Melbo. Ціна частки відображає ймовірність результату: за правильним результатом кожна частка розраховується за $1, за хибним — за $0.