- OpenAI contre Anthropic : qui trouvera en premier une autre solution à un problème du millénaire ?54¢54 %
OpenAI’s September 2026 resolution of the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—using an internal model coordinating roughly 10,000 AI agents over days, followed by its October release of 722 papers advancing hundreds of open mathematical questions, has anchored trader sentiment at 62.5% implied probability. These results, verified in Lean and targeting singularities plus variants of the Riemann hypothesis, demonstrate scaled reasoning capabilities that outpace prior benchmarks. Anthropic contributed concurrent progress on related fluid-dynamics problems via employee collaborations and has advanced Riemann zeta bounds and quantum-circuit design with Claude, yet lacks equivalent verified Millennium-scale claims. Key near-term catalysts include independent scrutiny of OpenAI’s proofs and any parallel pushes on unsolved problems such as Yang-Mills.
Règles
Ce marché sera résolu en faveur de « OpenAI » si OpenAI, ou un représentant officiel de OpenAI, annonce que OpenAI a résolu un problème du prix du millénaire admissible avant que Anthropic ne le fasse et au plus tard le 31 décembre 2027 à 23:59 ET. Ce marché sera résolu en faveur de « Anthropic » si Anthropic, ou un représentant officiel de Anthropic, annonce que Anthropic a résolu un problème du prix du millénaire admissible avant que OpenAI ne le fasse et au plus tard le 31 décembre 2027 à 23:59 ET. Si aucune des deux entreprises ne fait d'annonce admissible avant le 31 décembre 2027, 23:59 ET, ou si elles font toutes deux une annonce admissible le même jour calendaire, ce marché sera résolu à 50-50. Une annonce admissible faite par toute autre entreprise ne met pas fin à la course et n'a aucune incidence sur la résolution. 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 le fruit du travail de l'entreprise, de ses chercheurs ou de ses modèles, seuls ou en collaboration avec des chercheurs externes. Une annonce qui se contente de rendre hommage à des chercheurs externes ou de les féliciter, y compris ceux qui ont utilisé les modèles, la puissance de calcul ou les crédits de recherche de l'entreprise, ne sera pas admissible. 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 de OpenAI et Anthropic et/ou de leurs représentants officiels ; toutefois, un consensus d’informations crédibles pourra également être utilisé.
Traduction automatique. En cas de litige, l'original fait foi.