- Чи стане 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). Оголошення будь-якої іншої компанії, організації чи особи не відповідатимуть вимогам. Основним джерелом для розрахунку цього ринку буде офіційна інформація від відповідних вимогам лабораторій ШІ та/або їхніх офіційних представників; однак також можна використовувати консенсус достовірних повідомлень.
Машинний переклад. У спірних випадках діє оригінал.