Лаборатория искусственного интеллекта анонсирует еще одно решение, разработанное...?

Этот рынок ответит «Да», если соответствующая лаборатория ИИ или официальный представитель соответствующей лаборатории ИИ объявит, что лаборатория решила любую из отвечающих критериям задач Премии тысячелетия к 23:59 по восточному времени даты, указанной в названии. В противном случае этот рынок ответит «Нет».

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

В соответствующем объявлении должно быть указано, что проблема решена; объявления о частичных результатах или прогрессе в направлении решения не учитываются. В объявлении должно быть представлено решение как работа лаборатории, ее исследователей или ее моделей, самостоятельно или совместно с сторонними исследователями. Объявление, в котором упоминаются или поздравляются только сторонние исследователи, в том числе исследователи, которые использовали модели лаборатории, вычисления или научные достижения, не будет соответствовать требованиям. Никакого дальнейшего подтверждения от Института математики Клэя или любой другой организации не требуется.

Подходящие лаборатории ИИ: 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) на момент анонса. Объявления любой другой компании, организации или частного лица не будут соответствовать критериям.

Основным источником разрешения для этого рынка будет официальная информация от соответствующих лабораторий искусственного интеллекта и/или их официальных представителей; однако можно также использовать консенсус достоверных отчетов.