Сколько еще проблем Премии тысячелетия ИИ решит в 2026 году?

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

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