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