Quels problèmes mathématiques l’IA résoudra-t-elle en 2026 ?

Quels problèmes mathématiques l’IA résoudra-t-elle en 2026 ?

$62K volume·до 1 janv. 2027
RÉSULTATSPROBABILITÉ · PRIX
Hypothèse de Riemann$6K volume0123456789%
PrixPartsTotal
P contre NP$2K volume0123456789%
Yang-Mills$1K volume0123456789%
Conjecture de Hodge$17K volume01234567890123456789%
Bouleau et Swinnerton-Dyer$13K volume01234567890123456789%+1 pts
Conjecture de Collatz$2K volume0123456789%
Forte conjecture de Goldbach$3K volume0123456789%
Conjecture du premier jumeau$971 volume0123456789%
Nombre parfait impair$2K volume0123456789%
La conjecture de Legendre$1K volume0123456789%
Problème Hadwiger-Nelson$3K volume01234567890123456789%
Conjecture matricielle d'Hadamard$5K volume01234567890123456789%
La conjecture de Beal$3K volume01234567890123456789%
Nombre de Ramsey R(5,5)$1K volume01234567890123456789%

Ce marché répondra à « Oui » si un laboratoire d'IA éligible annonce une solution au problème spécifié dans le titre avant le 31 décembre 2026, 23 h 59 HE. Dans le cas contraire, ce marché répondra « non ».

Une annonce de qualification doit être faite par un laboratoire d'IA éligible ou un représentant officiel du laboratoire, et doit exprimer que le problème spécifié dans le titre a été résolu ; les annonces de résultats partiels ou de progrès vers une solution ne seront pas prises en compte. L'annonce doit présenter la solution comme le travail du laboratoire, de ses chercheurs ou de ses modèles, seuls ou conjointement avec des chercheurs extérieurs. Une annonce qui crédite ou félicite uniquement des chercheurs extérieurs, y compris des chercheurs qui ont utilisé les modèles, les calculs ou les crédits de recherche du laboratoire, ne sera pas admissible. Aucune autre confirmation du Clay Mathematics Institute ou de toute autre organisation n’est requise.

Les laboratoires d'IA éligibles sont 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 et 01.AI, ainsi que leurs filiales et divisions de recherche, et toute autre société dont le modèle figure dans le classement MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) au moment de l'annonce. Les annonces faites par toute autre entreprise, organisation ou individu ne seront pas admissibles.

La principale source de résolution pour ce marché sera les informations officielles provenant des laboratoires d’IA éligibles et/ou de leurs représentants officiels ; cependant, un consensus sur des rapports crédibles peut également être utilisé.

✓Marché ouvert au trading
Résultat proposé
Examen final
Questions et réponses

«Quels problèmes mathématiques l’IA résoudra-t-elle en 2026 ?» est un marché prédictif sur Melbo. Le prix d’une part reflète la probabilité du résultat : sur le résultat exact, chaque part est réglée à $1, sur l’autre à $0.

Quels problèmes mathématiques l’IA résoudra-t-elle en 2026 ? · Melbo