Лабораторія ШІ оголошує ще одне рішення Премії тисячоліття від...?

Цей ринок буде вирішено «Так», якщо відповідна лабораторія штучного інтелекту або офіційний представник відповідної лабораторії штучного інтелекту оголосить, що лабораторія розв’язала будь-яку з кваліфікаційних задач Премії тисячоліття до 23:59 за східним часом дати, зазначеної в назві. В іншому випадку цей ринок вирішить «Ні».

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

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