OpenAI — Anthropic : premier à un autre prix du millénaire ?

Ce marché deviendra « OpenAI » si OpenAI, ou un représentant officiel d'OpenAI, annonce qu'OpenAI a résolu un problème de qualification pour le prix du millénaire d'ici le 31 décembre 2027, 23 h 59 HE, avant qu'Anthropic ne le fasse. Ce marché deviendra « Anthropic » si Anthropic, ou un représentant officiel d'Anthropic, annonce qu'Anthropic a résolu un problème de qualification pour le prix du millénaire avant le 31 décembre 2027, 23 h 59 HE, avant qu'OpenAI ne le fasse.

Si aucune des sociétés ne fait d’annonce de qualification avant le 31 décembre 2027 à 23 h 59 HE, ou si les deux sociétés font des annonces de qualification le même jour calendaire, ce marché sera résolu 50-50. Une annonce de qualification par une autre société ne met pas fin à la course et n'affecte pas la résolution.

Les problèmes qualificatifs sont l'hypothèse de Riemann, P contre NP, le problème d'existence et d'é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 d'existence et de régularité de Navier-Stokes ne seront pas prises en compte.

Une annonce qualificative 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 prises en compte. 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 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 de l'entreprise, ne sera pas admissible. Aucune autre confirmation du Clay Math Institute ou de toute autre organisation n’est requise.

La principale source 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 sur des rapports crédibles peut également être utilisé.