AI lab announces another Millennium Prize solution by...?
Montant
Acheter
The contract asks “Un laboratoire d'IA annonce une autre solution au Prix du Millénaire d'ici... ?”
The listed outcomes are 30 septembre 2026, 31 décembre 2027, and 31 décembre 2026.
The winning outcome is determined using the exact criteria in the Resolution Rules below.
Ce marché se résoudra en « 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 qualifiants d'ici 23 h 59 HE de la date spécifiée dans le titre. Sinon, ce marché se résoudra en « Non ».
Les problèmes qualifiants sont l'hypothèse de Riemann, P versus NP, le problème de l'existence et de l'écart de masse de Yang-Mills, 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 qualifiantes.
Une annonce qualifiante doit exprimer que le problème a été résolu ; les annonces de résultats partiels ou de progrès vers une solution ne seront pas qualifiantes. 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 externes. Une annonce qui ne fait que créditer ou féliciter des chercheurs externes, y compris des chercheurs qui ont utilisé les modèles, le calcul ou les crédits de recherche du laboratoire, ne sera pas qualifiante. Aucune confirmation supplémentaire de l'Institut Clay Math 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 entreprise avec un modèle listé sur le classement MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) au moment de l'annonce. Les annonces par toute autre entreprise, organisation ou individu ne seront pas qualifiantes.