- Hodge Conjecture sera-t-il le prochain problème du millénaire résolu par une IA ?37¢37 %
- Aucun problème du millénaire ne sera-t-il résolu par l’IA d’ici 31 décembre 2027 ?35¢35 %
- La conjecture de Birch and Swinnerton-Dyer sera-t-elle le prochain problème du millénaire résolu par une IA ?17¢17 %
- Le problème d’existence et de gap de masse de Yang-Mills sera-t-il le prochain problème du prix du millénaire résolu par une IA ?10¢10 %
- P versus NP sera-t-il le prochain problème du millénaire résolu par une IA ?2¢2 %
- Riemann Hypothesis sera-t-il le prochain problème du millénaire résolu par une IA ?2¢2 %
Recent OpenAI advances, including its September 2026 Navier-Stokes resolution via 10,000 AI agents and October release of hundreds of model-generated proofs, have elevated the Hodge Conjecture and Birch and Swinnerton-Dyer as leading contenders in trader consensus. These partial results on algebraic geometry and elliptic curves demonstrate rapid gains in large language model reasoning and multi-agent proof search, yet full verification in Lean and community acceptance remain uncertain amid ongoing scrutiny. This dynamic keeps the no-solution-by-end-2027 outcome closely competitive at 34.5 percent, with P versus NP and Riemann Hypothesis trailing due to greater perceived complexity. Upcoming catalysts include further formalizations and Clay Institute reviews that could shift market-implied odds.
Règles
Ce marché sera résolu en fonction du premier problème du prix du millénaire répondant aux critères pour lequel un laboratoire d’IA éligible annonce une solution d’ici le 31 décembre 2027, à 23:59 ET. Si aucun laboratoire d’IA éligible n’annonce de solution à un problème répondant aux critères d’ici le 31 décembre 2027, à 23:59 ET, ce marché sera résolu sur « Aucune solution d’ici le 31 décembre 2027 ». Si des solutions à deux problèmes répondant aux critères ou plus sont annoncées le même jour calendaire (heure de l’Est, ET), ce marché sera résolu en faveur du problème dont le nom, tel qu’indiqué dans la liste ci-dessous, vient en premier par ordre alphabétique. Les problèmes admissibles sont, par ordre alphabétique, la conjecture de Birch et Swinnerton-Dyer, la Hodge Conjecture, 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.