Яку проблему премії тисячоліття ШІ вирішить наступною?

Цей ринок буде вирішено відповідно до першої кваліфікаційної проблеми Премії тисячоліття, для якої відповідна лабораторія AI оголошує рішення до 31 грудня 2027 року, 23:59 за східним часом.

Якщо до 31 грудня 2027 року, 23:59 за східним часом жодна відповідна лабораторія штучного інтелекту не оголосить про вирішення кваліфікаційної проблеми, цей ринок буде вирішено як «Немає рішення до 31 грудня 2027 року». Якщо вирішення двох або більше кваліфікаційних проблем оголошено в один календарний день (ET), цей ринок вирішить проблему, назва якої, як зазначено нижче, стоїть першою в алфавітному порядку.

Кваліфікаційними проблемами є, в алфавітному порядку, гіпотеза Берча та Свіннертона-Дайєра, гіпотеза Ходжа, P проти NP, гіпотеза Рімана та проблема існування Янга-Мілса та проблема розриву мас (https://www.claymath.org/millennium-problems/). Оголошення щодо існування та проблеми гладкості Нав’є-Стокса не відповідають вимогам.

Кваліфікаційне оголошення має бути зроблено відповідною лабораторією штучного інтелекту або офіційним представником лабораторії та повинно виражати, що проблему вирішено; повідомлення про часткові результати або прогрес у розв’язанні не будуть кваліфікуватися. Оголошення має представляти рішення як роботу лабораторії, її дослідників або її моделей, окремо чи спільно з зовнішніми дослідниками. Оголошення, у якому лише відзначаються або вітаються сторонні дослідники, включно з дослідниками, які використовували моделі лабораторії, обчислення чи наукові кредити, не відповідатимуть вимогам. Подальше підтвердження від Clay Math Institute або будь-якої іншої організації не потрібне.

Відповідні лабораторії AI: 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) на момент оголошення. Оголошення будь-якої іншої компанії, організації чи фізичної особи не відповідають вимогам.

Основним джерелом вирішення для цього ринку буде офіційна інформація від відповідних лабораторій ШІ та/або їхніх офіційних представників; однак можна також використовувати консенсус достовірної звітності.