- Un laboratoire d’IA annoncera-t-il une autre solution à un problème du millénaire d’ici le 31 décembre 2026 ?20¢20 %
- Un laboratoire d’IA annoncera-t-il une autre solution à un problème du millénaire d’ici le 31 décembre 2027 ?64¢64 %
OpenAI’s September 2026 announcement that an internal swarm of roughly 10,000 AI agents solved a version of the Navier-Stokes Millennium Prize Problem in 88 hours, followed by Lean formalization, has sharply raised trader expectations for further breakthroughs. The result, which addressed a permitted formulation involving smooth external forcing, drew immediate scrutiny from mathematicians and overlapped with concurrent human-AI work by researchers linked to Anthropic. Subsequent OpenAI releases of hundreds of additional mathematical manuscripts, some touching other Millennium Problems, plus a Chinese lab’s claim on the Ghys conjecture, underscore accelerating capability across frontier labs. Ongoing peer review, potential model releases, and competitive pressure from Anthropic and Google DeepMind remain key swing factors for any near-term second announcement.
Règles
Ce marché sera résolu sur « Oui » si un laboratoire d’IA éligible, ou un représentant officiel d’un laboratoire d’IA éligible, annonce que le laboratoire a résolu l’un des problèmes du prix du millénaire admissibles avant 23:59 ET à la date indiquée dans le titre. Dans le cas contraire, ce marché sera résolu sur « Non ». Les problèmes admissibles sont l’hypothèse de Riemann, P contre NP, le problème de l’existence de Yang-Mills et de l’écart de masse, la conjecture de Hodge et la conjecture de Birch et Swinnerton-Dyer (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 admissible doit indiquer que le problème a été résolu ; les annonces de résultats partiels ou de progrès vers une solution ne seront pas admissibles. 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.