Quel problème du Prix du Millénaire l’IA résoudra-t-elle ensuite ?

Ce marché sera résolu en fonction du premier problème admissible au Prix du Millénaire pour lequel un laboratoire d'IA éligible annonce une solution d'ici le 31 décembre 2027 à 23 h 59 HE.

Si aucun laboratoire d'IA éligible n'annonce de solution à un problème éligible d'ici le 31 décembre 2027 à 23 h 59 HE, ce marché se prononcera sur "Aucune solution d'ici le 31 décembre 2027". Si des solutions à deux ou plusieurs problèmes éligibles sont annoncées le même jour calendaire (ET), ce marché résoudra le problème dont le nom, comme indiqué ci-dessous, apparaît en premier dans l'ordre alphabétique.

Les problèmes qualificatifs sont, par ordre alphabétique, la conjecture de Birch et Swinnerton-Dyer, la conjecture de Hodge, P versus NP, l'hypothèse de Riemann et le problème d'existence et d'écart de masse de Yang-Mills (https://www.claymath.org/millennium-problems/). Les annonces concernant le problème d'existence et de régularité de Navier-Stokes ne seront pas prises en compte.

Une annonce de qualification doit être faite par un laboratoire d'IA éligible ou un représentant officiel du laboratoire, et 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 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 Math 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é.