- Станет ли Hodge Conjecture следующей задачей тысячелетия, решённой ИИ?37¢37 %
- Не будет ли ни одна задача тысячелетия решена ИИ до 31 декабря 2027 г.?35¢35 %
- Станет ли гипотеза Birch and Swinnerton-Dyer следующей задачей тысячелетия, решённой ИИ?17¢17 %
- Станет ли задача существования и массовой щели для Yang-Mills следующей задачей тысячелетия, решённой ИИ?10¢10 %
- Станет ли P versus NP следующей задачей тысячелетия, решённой ИИ?2¢2 %
- Станет ли Riemann Hypothesis следующей задачей тысячелетия, решённой ИИ?2¢2 %
Recent OpenAI advances, including its September 2026 Navier-Stokes resolution via 10,000 AI agents and October release of hundreds of model-generated proofs, have elevated the Hodge Conjecture and Birch and Swinnerton-Dyer as leading contenders in trader consensus. These partial results on algebraic geometry and elliptic curves demonstrate rapid gains in large language model reasoning and multi-agent proof search, yet full verification in Lean and community acceptance remain uncertain amid ongoing scrutiny. This dynamic keeps the no-solution-by-end-2027 outcome closely competitive at 34.5 percent, with P versus NP and Riemann Hypothesis trailing due to greater perceived complexity. Upcoming catalysts include further formalizations and Clay Institute reviews that could shift market-implied odds.
Правила
Этот рынок будет рассчитан в соответствии с первой задачей тысячелетия, соответствующей критериям, решение которой объявит подходящая лаборатория ИИ до 31 декабря 2027 г., 23:59 ET. Если ни одна подходящая лаборатория ИИ не объявит решение соответствующей критериям задачи до 31 декабря 2027 г., 23:59 ET, этот рынок будет рассчитан как «Решения нет до 31 декабря 2027 г.». Если решения двух или более соответствующих критериям задач будут объявлены в один и тот же календарный день (ET), этот рынок будет рассчитан по той задаче, название которой в приведённом ниже списке стоит первой в алфавитном порядке. Квалифицирующиеся задачи в алфавитном порядке: гипотеза Бёрча — Свиннертона-Дайера, задача Hodge Conjecture, 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). Объявления любых других компаний, организаций или частных лиц не будут считаться подходящими. Основным источником для расчёта этого рынка будут официальные сведения от подходящих лабораторий ИИ и/или их официальных представителей; однако также может использоваться консенсус заслуживающих доверия сообщений.
Машинный перевод. В спорных случаях действует оригинал.