Ce marché se résoudra en faveur d'« OpenAI » si OpenAI, ou un représentant officiel d'OpenAI, annonce qu'OpenAI a résolu un Problème du Prix du Millénaire qualifiant d'ici le 31 décembre 2027, 23 h 59 HE avant qu'Anthropic ne le fasse. Ce marché se résoudra en faveur d'« Anthropic » si Anthropic, ou un représentant officiel d'Anthropic, annonce qu'Anthropic a résolu un Problème du Prix du Millénaire qualifiant d'ici le 31 décembre 2027, 23 h 59 HE avant qu'OpenAI ne le fasse.

Si aucune des deux entreprises ne fait d'annonce qualifiante d'ici le 31 décembre 2027, 23 h 59 HE, ou si les deux font des annonces qualifiantes le même jour calendaire, ce marché se résoudra 50-50. Une annonce qualifiante par toute autre entreprise ne met pas fin à la course ni n'affecte la résolution.

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 de l'entreprise, 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 de l'entreprise, ne sera pas qualifiante. Aucune confirmation supplémentaire de l'Institut de mathématiques Clay ou de toute autre organisation n'est requise.

La source principale de résolution pour ce marché sera les informations officielles d'OpenAI et d'Anthropic et/ou de leurs représentants officiels ; cependant, un consensus de reportages crédibles pourra également être utilisé.