- Объявит ли Anthropic решение одной из задач тысячелетия до 31 декабря 2026 г.?10¢10 %
- Объявит ли Anthropic решение одной из задач тысячелетия до 31 декабря 2027 г.?28¢28 %
Recent developments center on intense competition between leading AI labs to tackle the Navier-Stokes Millennium Prize Problem. In early September 2026, OpenAI announced that its internal multi-agent system produced a Lean-formalized proof establishing a singularity in the equations, satisfying key criteria for the $1 million prize. Concurrent work by Anthropic researcher Levent Alpöge alongside mathematician Tristan Buckmaster advanced related forced Euler equations using large language models, including unreleased Claude versions, but stopped short of the full Navier-Stokes resolution. These efforts highlight accelerating AI capabilities in mathematical formalization and proof generation, alongside ongoing scrutiny over verification, priority claims, and model training data. Traders are watching for any follow-up Anthropic announcements or Clay Institute validation that could shift sentiment in this fast-moving domain.
Правила
Этот рынок будет рассчитан в пользу «Да», если Anthropic или официальный представитель Anthropic объявит, что Anthropic решила какую-либо из соответствующих задач тысячелетия до 23:59 ET даты, указанной в заголовке. В противном случае этот рынок будет рассчитан как «Нет». К подходящим задачам относятся гипотеза Римана, проблема P против NP, проблема существования Янга — Миллса и массовой щели, гипотеза Ходжа, а также гипотеза Бёрча и Свиннертона-Дайера (https://www.claymath.org/millennium-problems/). Объявления, касающиеся проблемы существования и гладкости решений уравнений Навье — Стокса, не будут считаться подходящими. В подходящем объявлении должно быть прямо сказано, что задача решена; объявления о частичных результатах или продвижении к решению не будут считаться подходящими. В объявлении решение должно быть представлено как результат работы Anthropic, ее исследователей или ее моделей — самостоятельно или совместно с внешними исследователями. Объявление, в котором лишь отдают должное внешним исследователям или поздравляют их, в том числе исследователей, использовавших модели, вычислительные ресурсы или исследовательские кредиты Anthropic, не будет соответствовать условиям. Дополнительное подтверждение от Clay Math Institute или любой другой организации не требуется. Основным источником для расчёта по этому рынку будут официальные сведения от Anthropic и/или её официальных представителей; однако также может использоваться консенсус достоверных сообщений.
Машинный перевод. В спорных случаях действует оригинал.