- L’IA résoudra-t-elle en 2026 ce nombre de problèmes du millénaire supplémentaires : 0 ?79¢79 %
- L’IA résoudra-t-elle des problèmes du millénaire supplémentaires : 1 en 2026 ?14¢14 %
- L’IA résoudra-t-elle en 2026 ce nombre de problèmes du millénaire supplémentaires : 2 ?4¢4 %
- L’IA résoudra-t-elle en 2026 ce nombre de problèmes du millénaire supplémentaires : 3 ?1¢1 %
- L’IA résoudra-t-elle en 2026 ce nombre de problèmes du millénaire supplémentaires : 4 ?<1¢<1 %
- L’IA résoudra-t-elle en 2026 ce nombre de problèmes du millénaire supplémentaires : 5 ?<1¢<1 %
Trader consensus assigns an 81% implied probability to zero additional Millennium Prize Problems solved by AI in 2026, driven by the extreme difficulty of these open mathematical challenges and the current limits of large language models in generating novel, rigorous proofs. Recent AI advances have improved performance on competition benchmarks, yet no verified progress has emerged on the Clay Institute problems, which demand creative insights beyond existing training data or formal verification tools. With 2026 nearing its end, traders view the remaining timeframe as insufficient for the breakthroughs needed, though hybrid symbolic-neural systems or major model releases could still shift outcomes before year-end.
Règles
Ce marché sera résolu en fonction du nombre de problèmes du prix du millénaire distincts répondant aux critères pour lesquels un laboratoire d'IA éligible annonce une solution avant le 31 décembre 2026 à 23:59 ET. Chaque problème répondant aux critères ne sera compté qu'une seule fois, quel que soit le nombre de laboratoires d'IA éligibles qui en annoncent une solution ou le nombre d'annonces faites. Les problèmes répondant aux critères sont, par ordre alphabétique, la conjecture de Birch et Swinnerton-Dyer, la conjecture de Hodge, P contre NP, l'hypothèse de Riemann et le problème d'existence de Yang-Mills et de l'écart de masse (https://www.claymath.org/millennium-problems/). Les annonces concernant le problème de l’existence et de la régularité de Navier-Stokes ne seront pas admissibles. Une annonce répondant aux critères doit être faite par un laboratoire d'IA éligible ou par un représentant officiel du laboratoire, et doit déclarer que le problème a été résolu ; les annonces de résultats partiels ou de progrès vers une solution ne répondront pas aux critères. L’annonce doit présenter la solution comme étant le fruit du travail du laboratoire, de ses chercheurs ou de ses modèles, seul ou en collaboration avec des chercheurs externes. Une annonce qui se contente de rendre hommage à des chercheurs externes ou de les féliciter ne sera pas admissible, y compris si ces chercheurs ont utilisé les modèles, les capacités de calcul ou les crédits de recherche du laboratoire. Aucune confirmation supplémentaire 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 leurs divisions de recherche, et toute autre entreprise ayant un modèle répertorié dans le classement MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) au moment de l’annonce. Les annonces de toute autre entreprise, organisation ou personne ne seront pas admissibles. La principale source de résolution de ce marché sera constituée d’informations officielles provenant des laboratoires d’IA éligibles et/ou de leurs représentants officiels ; toutefois, un consensus de sources d’information crédibles pourra également être utilisé.
Traduction automatique. En cas de litige, l'original fait foi.