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.
Questo mercato sarà risolto come "Sì" se OpenAI, o un rappresentante ufficiale di OpenAI, annuncia che OpenAI ha risolto uno qualsiasi dei problemi del Millennio idonei tra la creazione del mercato e la data specificata, 23:59 ET. Altrimenti, questo mercato si risolverà su "No". I problemi idonei sono l'ipotesi di Riemann, P contro NP, il problema dell'esistenza di Yang-Mills e del gap di massa, la congettura di Hodge e la congettura di Birch e Swinnerton-Dyer (https://www.claymath.org/millennium-problems/). Gli annunci riguardanti il problema dell'esistenza e della regolarità di Navier-Stokes non saranno idonei. Un annuncio idoneo deve dichiarare che il problema è stato risolto; gli annunci di risultati parziali o di progressi verso una soluzione non saranno idonei. L'annuncio deve presentare la soluzione come opera di OpenAI, dei suoi ricercatori o dei suoi modelli, da soli o congiuntamente a ricercatori esterni. Non sarà considerato idoneo un annuncio che si limiti a riconoscere il merito o a congratularsi con ricercatori esterni, compresi quelli che hanno utilizzato i modelli, la capacità di calcolo o i crediti di ricerca di OpenAI. Non è necessaria alcuna ulteriore conferma da parte del Clay Math Institute o di qualsiasi altra organizzazione. La fonte primaria per la risoluzione di questo mercato sarà costituita dalle informazioni ufficiali di OpenAI e/o dei suoi rappresentanti ufficiali; tuttavia, potrà essere utilizzato anche un consenso di fonti giornalistiche credibili.
Traduzione automatica. In caso di controversia, fa fede l'originale.