Какую проблему Премии тысячелетия ИИ решит в следующий раз?

Этот рынок будет решен в соответствии с первой квалификационной задачей Премии тысячелетия, для которой соответствующая лаборатория искусственного интеллекта объявит о решении к 31 декабря 2027 года, 23:59 по восточному времени.

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

Квалификационными проблемами в алфавитном порядке являются гипотеза Берча и Суиннертона-Дайера, гипотеза Ходжа, 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) на момент анонса. Объявления любой другой компании, организации или частного лица не будут соответствовать критериям.

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