Какие математические задачи будет решать ИИ в 2026 году?

Какие математические задачи будет решать ИИ в 2026 году?

$62K объём·до 1 янв. 2027 г.
ИСХОДЫВЕРОЯТНОСТЬ · ЦЕНА
Гипотеза Римана$6K объём0123456789%
ЦенаДолиИтого
П против НП$2K объём0123456789%
Ян-Миллс$1K объём0123456789%
Гипотеза Ходжа$17K объём01234567890123456789%
Берч и Суиннертон-Дайер$13K объём01234567890123456789%+1 п.п.
Гипотеза Коллатца$2K объём0123456789%
Сильная гипотеза Гольдбаха$3K объём0123456789%
Гипотеза о простых числах-близнецах$971 объём0123456789%
Нечетное совершенное число$2K объём0123456789%
Гипотеза Лежандра$1K объём0123456789%
Задача Хадвигера-Нельсона$3K объём01234567890123456789%
Гипотеза матрицы Адамара$5K объём01234567890123456789%
Гипотеза Била$3K объём01234567890123456789%
Число Рамсея R(5,5)$1K объём01234567890123456789%

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

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

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

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

✓Рынок открыт для торговли
Предложенный исход
Окончательное рассмотрение
Вопросы и ответы

«Какие математические задачи будет решать ИИ в 2026 году?» — это рынок прогнозов на Melbo. Цена доли отражает вероятность исхода: по верному исходу каждая доля рассчитывается по $1, по неверному — по $0.

Какие математические задачи будет решать ИИ в 2026 году? · Melbo