Tecnologia e ciência

Este mercado será resolvido de acordo com o primeiro Problema do Prêmio Millennium qualificado para o qual um laboratório de IA elegível anunciar uma solução até 31 de dezembro de 2027, 23h59 ET.

Se nenhum laboratório de IA elegível anunciar uma solução para um problema qualificado até 31 de dezembro de 2027, 23h59 ET, este mercado será resolvido como "Nenhuma solução até 31 de dez. de 2027". Se soluções para dois ou mais problemas qualificados forem anunciadas no mesmo dia de calendário (ET), este mercado será resolvido para o problema cujo nome, conforme listado abaixo, vier primeiro em ordem alfabética.

Os problemas qualificados são, em ordem alfabética, a Conjectura de Birch e Swinnerton-Dyer, a Conjectura de Hodge, P versus NP, a Hipótese de Riemann e o problema de existência de Yang–Mills e lacuna de massa (https://www.claymath.org/millennium-problems/). Anúncios referentes ao problema de existência e suavidade de Navier–Stokes não se qualificam.

Um anúncio qualificado deve ser feito por um laboratório de IA elegível ou por um representante oficial do laboratório, e deve afirmar que o problema foi resolvido; anúncios de resultados parciais ou de progresso rumo a uma solução não se qualificam. O anúncio deve apresentar a solução como trabalho do laboratório, de seus pesquisadores ou de seus modelos, sozinho ou em conjunto com pesquisadores externos. Um anúncio que apenas credite ou parabenize pesquisadores externos, incluindo pesquisadores que usaram os modelos, computação ou créditos de pesquisa do laboratório, não se qualifica. Não é necessária confirmação adicional do Clay Math Institute ou de qualquer outra organização.

Os laboratórios de IA elegíveis são Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan e 01.AI, juntamente com suas subsidiárias e divisões de pesquisa, e qualquer outra empresa com um modelo listado no ranking MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) no momento do anúncio. Anúncios de qualquer outra empresa, organização ou indivíduo não se qualificam.

A principal fonte de resolução para este mercado serão informações oficiais dos laboratórios de IA elegíveis e/ou de seus representantes oficiais; no entanto, um consenso de reportagens credíveis também pode ser usado.

Não

Nenhuma solução até 31 de dez. de 2027

Yang–Mills

Conjectura de Hodge

Birch e Swinnerton-Dyer

Hipótese de Riemann

P versus NP

Qual Problema do Prêmio Millennium a IA vai resolver a seguir?

English

Portuguese

Qual Problema do Prêmio Millennium a IA vai resolver a seguir?

Nenhuma solução até 31 de dez. de 2027US$ 113,4 milVol.32%Sim32Não68

Yang–MillsUS$ 41,5 milVol.24%Sim23.9Não76

Conjectura de HodgeUS$ 93,7 milVol.20%Sim20Não80

Birch e Swinnerton-DyerUS$ 47,2 milVol.8%Sim8Não92

Hipótese de RiemannUS$ 27,3 milVol.4%Sim4.4Não95.6

P versus NPUS$ 17,8 milVol.2%Sim2Não98

Detalhes do mercado

Prazos e pagamento