- Anthropic annoncera-t-il une solution à un problème du Millennium Prize d’ici au 31 décembre 2026 ?10¢10 %
- Anthropic annoncera-t-il une solution à un problème du Millennium Prize d’ici au 31 décembre 2027 ?28¢28 %
Recent developments center on intense competition between leading AI labs to tackle the Navier-Stokes Millennium Prize Problem. In early September 2026, OpenAI announced that its internal multi-agent system produced a Lean-formalized proof establishing a singularity in the equations, satisfying key criteria for the $1 million prize. Concurrent work by Anthropic researcher Levent Alpöge alongside mathematician Tristan Buckmaster advanced related forced Euler equations using large language models, including unreleased Claude versions, but stopped short of the full Navier-Stokes resolution. These efforts highlight accelerating AI capabilities in mathematical formalization and proof generation, alongside ongoing scrutiny over verification, priority claims, and model training data. Traders are watching for any follow-up Anthropic announcements or Clay Institute validation that could shift sentiment in this fast-moving domain.
Règles
Ce marché sera résolu en faveur de « Oui » si Anthropic, ou un représentant officiel d’Anthropic, annonce qu’Anthropic a résolu l’un des problèmes du prix du millénaire répondant aux critères avant 23:59 ET à la date indiquée dans le titre. Dans le cas contraire, ce marché sera résolu sur « Non ». Les problèmes admissibles sont l’hypothèse de Riemann, P contre NP, le problème de l’existence de Yang-Mills et de l’écart de masse, 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 admissibles. Une annonce admissible 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 admissibles. L’annonce doit présenter la solution comme étant l’œuvre d’Anthropic, de ses chercheurs ou de ses modèles, seuls ou en collaboration avec des chercheurs externes. Une annonce qui se contente de créditer ou de féliciter des chercheurs externes, y compris ceux ayant utilisé les modèles, les capacités de calcul ou les crédits de recherche d’Anthropic, ne sera pas recevable. Aucune confirmation supplémentaire du Clay Mathematics Institute ou de toute autre organisation n’est requise. La principale source de résolution de ce marché sera constituée des informations officielles d’Anthropic et/ou de ses représentants officiels ; toutefois, un consensus de reportages crédibles pourra également être utilisé.
Traduction automatique. En cas de litige, l'original fait foi.