Este mercado se resolverá como "OpenAI" si OpenAI, o un representante oficial de OpenAI, anuncia que OpenAI ha resuelto un Problema del Premio Millennium que califique para el 31 de diciembre de 2027, 11:59 p. m. ET antes de que Anthropic lo haga. Este mercado se resolverá como "Anthropic" si Anthropic, o un representante oficial de Anthropic, anuncia que Anthropic ha resuelto un Problema del Premio Millennium que califique para el 31 de diciembre de 2027, 11:59 p. m. ET antes de que OpenAI lo haga.
Si ninguna compañía hace un anuncio que califique para el 31 de diciembre de 2027, 11:59 p. m. ET, o si ambas hacen anuncios que califiquen el mismo día del calendario, este mercado se resolverá 50-50. Un anuncio que califique de cualquier otra compañía no termina la carrera ni afecta la resolución.
Los problemas que califican son la Hipótesis de Riemann, P versus NP, el problema de existencia y gap de masa de Yang-Mills, la Conjetura de Hodge, y la Conjetura de Birch y Swinnerton-Dyer (https://www.claymath.org/millennium-problems/). Los anuncios concernientes al problema de existencia y suavidad de Navier-Stokes no calificarán.
Un anuncio que califique debe expresar que el problema ha sido resuelto; los anuncios de resultados parciales o progreso hacia una solución no calificarán. El anuncio debe presentar la solución como el trabajo de la compañía, sus investigadores o sus modelos, solos o conjuntamente con investigadores externos. Un anuncio que solo acredite o felicite a investigadores externos, incluyendo investigadores que usaron los modelos, cómputo o créditos de investigación de la compañía, no calificará. No se requiere confirmación adicional del Clay Math Institute o cualquier otra organización.
La fuente principal de resolución para este mercado será información oficial de OpenAI y Anthropic y/o sus representantes oficiales; sin embargo, también se podrá usar un consenso de reportes creíbles.