- Объявит ли OpenAI о ещё одном решении задачи тысячелетия к 31 декабря 2026 г.?14¢14 %
- Объявит ли OpenAI о ещё одном решении задачи тысячелетия к 31 декабря 2027 г.?56¢56 %
OpenAI’s September 8 announcement of an AI-generated solution to the Navier-Stokes Millennium Prize Problem—produced via an internal frontier model and roughly 10,000 agents in 88 hours—has sharply raised trader expectations for further announcements. The company followed with an October 6 release of 722 manuscripts covering hundreds of open problems, including claimed progress toward other Millennium Prize challenges such as aspects of the Riemann hypothesis and Hodge conjecture, though several papers faced withdrawals or revisions after mathematician review. Competitive pressure from labs like Anthropic, combined with OpenAI’s emphasis on Lean formalizations and compute-intensive agent swarms, underscores accelerating capabilities in mathematical reasoning. Key near-term catalysts include ongoing independent verifications, potential additional model releases, and any follow-up company statements on unresolved problems before year-end deadlines.
Правила
Этот рынок будет рассчитан как «Да», если OpenAI или официальный представитель OpenAI объявит, что OpenAI решила любую из соответствующих критериям задач тысячелетия в период с момента создания рынка до указанной даты и времени 23:59 ET. В противном случае этот рынок будет рассчитан как «Нет». К подходящим задачам относятся гипотеза Римана, проблема P против NP, проблема существования Янга — Миллса и массовой щели, гипотеза Ходжа, а также гипотеза Бёрча и Свиннертона-Дайера (https://www.claymath.org/millennium-problems/). Объявления, касающиеся проблемы существования и гладкости решений уравнений Навье — Стокса, не будут считаться подходящими. В подходящем объявлении должно быть прямо сказано, что задача решена; объявления о частичных результатах или продвижении к решению не будут считаться подходящими. В объявлении решение должно быть представлено как результат работы OpenAI, её исследователей или её моделей — самостоятельно или совместно с внешними исследователями. Объявление, в котором лишь отмечают заслуги внешних исследователей или поздравляют их, в том числе исследователей, использовавших модели, вычислительные ресурсы или исследовательские кредиты OpenAI, не будет считаться соответствующим требованиям. Дополнительное подтверждение от Clay Math Institute или любой другой организации не требуется. Основным источником для расчёта по этому рынку будут официальные сведения от OpenAI и/или её официальных представителей; однако также может использоваться консенсус достоверных сообщений СМИ.
Машинный перевод. В спорных случаях действует оригинал.