Правила

26 октября 2026 г. OpenAI объявила, что её система ИИ «доказала, что ETH ложна, и этот результат впоследствии был проверен в Lean». (см.: https://openai.com/index/building-scientific-understanding-with-academic-communities/) Этот рынок будет рассчитан на результат «Да», если опровержение Exponential Time Hypothesis будет подтверждено хотя бы одним из перечисленных ниже подходящих способов подтверждения к указанной дате, 23:59 ET. В противном случае этот рынок будет рассчитан как «Нет». «Exponential Time Hypothesis» — это гипотеза, сформулированная Russell Impagliazzo и Ramamohan Paturi, согласно которой задачу 3-SAT невозможно решить за субэкспоненциальное время. «Опровержение» означает любое математическое доказательство того, что Exponential Time Hypothesis ложна, включая доказательство, представленное в работе OpenAI под названием «The Exponential Time Hypothesis is False» (https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf), а также любую его исправленную, переработанную или расширенную версию, созданную OpenAI или другими. Подтверждения, устанавливающие лишь более слабый результат, например более быстрый алгоритм, который не опровергает Exponential Time Hypothesis, или лишь устанавливающие, что код OpenAI на Lean компилируется, не будут соответствовать требованиям. Подходящие методы подтверждения: (i) Публикация с рецензированием: статья с опровержением, написанная OpenAI или другими исследователями, публикуется или принимается к публикации в авторитетном рецензируемом научном журнале или на рецензируемой конференции (например, STOC, FOCS, SODA). Препринты и другие публикации, рецензирование которых не завершено, не будут считаться подходящими. (ii) Независимая проверка: группа рецензентов под руководством Russell Impagliazzo, Ramamohan Paturi и Ryan Williams, любой из этих трёх исследователей или другой заслуживающий доверия исследователь либо исследовательская группа, не связанные с OpenAI, публично подтверждают правильность опровержения. В подтверждении должно быть без оговорок заявлено, что опровержение верно или что Exponential Time Hypothesis ложна (например, что доказательство проверено и признано верным). Оно должно быть опубликовано проверяющим исследователем или группой либо их участниками, в том числе в виде статьи, препринта, на веб-сайте, в блоге или в официальном аккаунте в социальных сетях; подтверждения, переданные только OpenAI, не будут соответствовать требованиям. Подтверждение может основываться на проверке письменного доказательства, формализации в Lean или того и другого; подтверждение, основанное на формализации в Lean, будет соответствовать требованиям, если в нём указано, что формализованный результат доказывает ложность Exponential Time Hypothesis. Заявления о том, что проверка продолжается, что ошибок пока не обнаружено или что опровержение, вероятно, верно, не будут соответствовать требованиям. Подтверждения, опубликованные или обнародованные после указанной даты, не будут учитываться, даже если лежащая в их основе проверка состоялась раньше. Сотрудники, подрядчики и инвесторы OpenAI считаются связанными с OpenAI. Группа рецензентов под руководством Russell Impagliazzo, Ramamohan Paturi и Ryan Williams и её участники не будут считаться связанными с OpenAI. Заявление группы рецензентов о том, что её участие не следует считать подтверждением утверждения, не помешает учесть при расчёте последующее подходящее подтверждение от этой группы или её участников. Заявления, публикации в социальных сетях или пресс-релизы OpenAI либо связанных с ней лиц, сообщения СМИ, лишь передающие такие утверждения, а также опубликованная OpenAI формализация в Lean сами по себе не будут соответствовать требованиям. Источником для расчёта по этому рынку будет консенсус авторитетных источников и соответствующих научных экспертов, подтверждающих обоснованность подходящего подтверждения.

Машинный перевод. В спорных случаях действует оригинал.