- Объявит ли лаборатория ИИ ещё об одном решении задачи тысячелетия до 31 декабря 2026 г.?20¢20 %
- Объявит ли лаборатория ИИ ещё об одном решении задачи тысячелетия до 31 декабря 2027 г.?64¢64 %
OpenAI’s September 2026 announcement that an internal swarm of roughly 10,000 AI agents solved a version of the Navier-Stokes Millennium Prize Problem in 88 hours, followed by Lean formalization, has sharply raised trader expectations for further breakthroughs. The result, which addressed a permitted formulation involving smooth external forcing, drew immediate scrutiny from mathematicians and overlapped with concurrent human-AI work by researchers linked to Anthropic. Subsequent OpenAI releases of hundreds of additional mathematical manuscripts, some touching other Millennium Problems, plus a Chinese lab’s claim on the Ghys conjecture, underscore accelerating capability across frontier labs. Ongoing peer review, potential model releases, and competitive pressure from Anthropic and Google DeepMind remain key swing factors for any near-term second announcement.
Правила
Этот рынок будет рассчитан как «Да», если соответствующая критериям лаборатория ИИ или её официальный представитель объявит, что лаборатория решила любую из соответствующих критериям задач тысячелетия не позднее 23:59 ET в день, указанный в заголовке. В противном случае этот рынок будет рассчитан как «Нет». К подходящим задачам относятся гипотеза Римана, проблема P против NP, проблема существования Янга — Миллса и массовой щели, гипотеза Ходжа, а также гипотеза Бёрча и Свиннертона-Дайера (https://www.claymath.org/millennium-problems/). Объявления, касающиеся проблемы существования и гладкости решений уравнений Навье — Стокса, не будут считаться подходящими. В подходящем объявлении должно быть прямо сказано, что задача решена; объявления о частичных результатах или продвижении к решению не будут считаться подходящими. В объявлении решение должно представляться как работа лаборатории, её исследователей или её моделей — самостоятельно или совместно с внешними исследователями. Объявление, в котором лишь отмечаются заслуги внешних исследователей или их поздравляют, не будет считаться подходящим; это относится и к исследователям, использовавшим модели, вычислительные ресурсы или исследовательские кредиты лаборатории. Дополнительное подтверждение от Clay Math Institute или любой другой организации не требуется. К подходящим лабораториям ИИ относятся Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan и 01.AI, а также их дочерние компании и исследовательские подразделения; кроме того, подходит любая другая компания, модель которой на момент объявления включена в рейтинг MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro). Объявления любых других компаний, организаций или частных лиц не будут считаться подходящими. Основным источником для расчёта этого рынка будут официальные сведения от подходящих лабораторий ИИ и/или их официальных представителей; однако также может использоваться консенсус заслуживающих доверия сообщений.
Машинный перевод. В спорных случаях действует оригинал.