
Ce marché répondra à « Oui » si Anthropic, ou un représentant officiel d'Anthropic, annonce qu'Anthropic a résolu l'un des problèmes de qualification pour le prix du millénaire avant 23 h 59 HE à la date spécifiée dans le titre. Dans le cas contraire, ce marché répondra « non ».
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 d'Anthropic, 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 d'Anthropic, 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'Anthropic et/ou de ses représentants officiels ; cependant, un consensus sur des rapports crédibles peut également être utilisé.
«Anthropic annonce une solution pour le Prix du Millénaire par... ?» est un marché prédictif sur Melbo. Le prix d’une part reflète la probabilité du résultat : sur le résultat exact, chaque part est réglée à $1, sur l’autre à $0.