- OpenAI annoncera-t-il une autre solution à un problème du prix du millénaire d’ici le 31 décembre 2026 ?14¢14 %
- OpenAI annoncera-t-il une autre solution à un problème du prix du millénaire d’ici le 31 décembre 2027 ?56¢56 %
OpenAI’s September 8 announcement of an AI-generated solution to the Navier-Stokes Millennium Prize Problem—produced via an internal frontier model and roughly 10,000 agents in 88 hours—has sharply raised trader expectations for further announcements. The company followed with an October 6 release of 722 manuscripts covering hundreds of open problems, including claimed progress toward other Millennium Prize challenges such as aspects of the Riemann hypothesis and Hodge conjecture, though several papers faced withdrawals or revisions after mathematician review. Competitive pressure from labs like Anthropic, combined with OpenAI’s emphasis on Lean formalizations and compute-intensive agent swarms, underscores accelerating capabilities in mathematical reasoning. Key near-term catalysts include ongoing independent verifications, potential additional model releases, and any follow-up company statements on unresolved problems before year-end deadlines.
Règles
Ce marché sera résolu en « Oui » si OpenAI, ou un représentant officiel d’OpenAI, annonce qu’OpenAI a résolu l’un des problèmes du prix du millénaire répondant aux critères entre la création du marché et la date indiquée, 23:59 ET. 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 le fruit du travail d’OpenAI, 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 qui ont utilisé les modèles, les ressources de calcul ou les crédits de recherche d’OpenAI, ne sera pas considérée comme recevable. Aucune confirmation supplémentaire du Clay Mathematics Institute ou de toute autre organisation n’est requise. La source principale pour la résolution de ce marché sera constituée des informations officielles d’OpenAI 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.