Quais problemas matemáticos a IA resolverá em 2026?

Quais problemas matemáticos a IA resolverá em 2026?

$62K volume·до 1 de jan. de 2027
RESULTADOSPROBABILIDADE · PREÇO
Hipótese de Riemann$6K volume0123456789%
PreçoCotasTotal
P versus NP$2K volume0123456789%
Yang-Mills$1K volume0123456789%
Conjectura de Hodge$17K volume01234567890123456789%
Birch e Swinnerton-Dyer$13K volume01234567890123456789%+1 pp
Conjectura de Collatz$2K volume0123456789%
Conjectura Forte de Goldbach$3K volume0123456789%
Conjectura dos gêmeos primos$971 volume0123456789%
Número ímpar perfeito$2K volume0123456789%
Conjectura de Legendre$1K volume0123456789%
Problema Hadwiger-Nelson$3K volume01234567890123456789%
Conjectura da Matriz de Hadamard$5K volume01234567890123456789%
Conjectura de Beal$3K volume01234567890123456789%
Número Ramsey R (5,5)$1K volume01234567890123456789%

Este mercado será resolvido como “Sim” se um laboratório de IA elegível anunciar uma solução para o problema especificado no título até 31 de dezembro de 2026, 23h59 ET. Caso contrário, este mercado resolverá “Não”.

Um anúncio de qualificação deve ser feito por um laboratório de IA elegível ou por um representante oficial do laboratório e deve expressar que o problema especificado no título foi resolvido; anúncios de resultados parciais ou progresso em direção a uma solução não serão qualificados. O edital deverá apresentar a solução como trabalho do laboratório, de seus pesquisadores, ou de seus modelos, isoladamente 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 será qualificado. Nenhuma confirmação adicional do Clay Mathematics Institute ou de qualquer outra organização é necessária.

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 na tabela de classificação 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 serão qualificados.

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

✓Mercado aberto para negociação
Resultado proposto
Revisão final
Perguntas e respostas

“Quais problemas matemáticos a IA resolverá em 2026?” é um mercado de previsões na Melbo. O preço de uma cota reflete a probabilidade do resultado: no resultado correto cada cota é liquidada a $1 e no incorreto a $0.

Quais problemas matemáticos a IA resolverá em 2026? · Melbo