Próximo à virada do milênio, o Clay Mathematics Institute (CMI), uma instituição de pesquisa sediada nos Estados Unidos, reuniu os principais matemáticos globais para um empreendimento ambicioso. Sob a liderança do conselho científico do instituto, foi selecionado um conjunto de sete desafios matemáticos inéditos, dando origem aos chamados “Problemas do Milênio”.
A proposta do CMI é clara: oferecer um prêmio de um milhão de dólares ao pesquisador que conseguir solucionar qualquer um desses problemas pela primeira vez. É importante notar que nenhum dos sete problemas é considerado simples, pois foram escolhidos por representarem algumas das questões mais complexas enfrentadas pelos matemáticos na transição para o segundo milênio.
Em 24 de maio de 2000, o Instituto divulgou a lista definitiva dos sete problemas: a Conjectura de Birch e Swinnerton-Dyer; a Conjectura de Hodge; o problema da existência e unicidade para as equações de Navier-Stokes; a Conjectura de Poincaré; o problema P versus NP; a Hipótese de Riemann; e o problema da lacuna de massa para a teoria quântica de Yang-Mills. Segundo o CMI, o propósito desta iniciativa é conscientizar o público geral sobre o fato de que a matemática possui fronteiras abertas e repletas de questões cruciais ainda sem resposta.
Atualmente, os Problemas do Milênio figuram entre os tópicos mais estudados na área, e o CMI não impôs um prazo final para sua resolução. Ao longo dos últimos 26 anos, somente um deles foi solucionado oficialmente: a Conjectura de Poincaré, em 2003, pelo matemático russo Grigori Perelman. Contudo, recentemente, a OpenAI anunciou que uma de suas inteligências artificiais conseguiu resolver o problema de Navier-Stokes.
Para ilustrar conceitos matemáticos, considera-se uma esfera bidimensional como uma única superfície fechada e conexa. Um exemplo prático é uma maçã: se um elástico for esticado ao redor de sua superfície, ele pode ser reduzido a um único ponto sem ser rompido ou sair da superfície. Em contraste, ao imaginar o mesmo elástico esticado ao redor de um formato de rosca, torna-se impossível reduzi-lo a um ponto sem quebrar o elástico ou a própria rosca.
Em 1904, Henri Poincaré identificou que essa dinâmica pode ser representada pelas superfícies bidimensionais dos objetos: a superfície da maçã é classificada como “simplesmente conexa”, enquanto a da rosca não é. A conjectura de Poincaré foi a continuação dessa investigação, buscando saber se essa descoberta sobre superfícies bidimensionais se aplicaria também a formas tridimensionais.
Entre 2002 e 2003, Perelman demonstrou que qualquer espaço tridimensional fechado sem buracos é equivalente a uma esfera, confirmando assim a validade da descoberta de Poincaré em três dimensões.
O problema P versus NP é atualmente considerado o maior desafio não resolvido na ciência da computação. Ele se baseia na seguinte questão: se é relativamente fácil verificar se uma solução para um determinado problema está correta, isso implica que também é fácil encontrar essa solução?
O próprio Clay Mathematics Institute (CMI) oferece um exemplo: imagine organizar acomodações para 400 estudantes universitários, sendo que apenas 100 serão selecionados para o dormitório, e há restrições de que certos estudantes não possam morar juntos. Neste cenário, é simples checar se uma seleção específica atende aos critérios, mas o processo de gerar essa lista do zero é extremamente complicado.
Os matemáticos acreditam que as equações de Navier-Stokes poderiam permitir a previsão tanto de ventos quanto de turbulência, visto que estas equações descrevem o movimento de fluidos, como a água. Apesar de terem sido formuladas no século XIX, o entendimento dessas equações permanece bastante limitado. O problema de Navier-Stokes questiona se essas equações sempre geram uma solução válida para todos os tempos ou se podem produzir uma singularidade sob certas condições.
A alegação feita pela OpenAI sugere ter definido exatamente uma situação desse segundo tipo.
A distribuição dos números primos entre os números naturais não segue um padrão previsível. No entanto, o matemático alemão G.F.B. Riemann (1826-1866) notou que a frequência desses números primos está ligada ao comportamento de uma função complexa. A Hipótese de Riemann postula que todos os zeros não triviais da equação ζ(s) = 0 estão localizados em uma linha vertical específica. Embora a afirmação tenha sido comprovada para as primeiras 10 trilhões de soluções, sua veracidade para todas as soluções ainda é desconhecida.
Em 1954, Chen Ning Yang e Robert Mills introduziram uma nova estrutura para descrever partículas elementares utilizando estruturas encontradas na geometria. Embora a teoria de Yang-Mills esteja bem estabelecida, seu fundamento matemático ainda carece de clareza. Simulações e experimentos apontam para a existência de uma “lacuna de massa”, onde o estado de menor energia acima do vácuo teria uma energia mínima positiva. O desafio reside em provar matematicamente a existência rigorosa dessa teoria e a ocorrência dessa lacuna.
O problema de Birch e Swinnerton-Dyer propõe uma nova premissa dentro da Teoria dos Números aplicada a curvas elípticas. Curvas elípticas são definidas por equações específicas, como y² = x³ + ax + b, e podem possuir um número finito ou infinito de pontos com coordenadas racionais. Esta conjectura estabelece uma conexão entre a quantidade desses pontos e o comportamento de uma função matemática associada à curva.
Conforme explica o CMI, “quando as soluções são pontos de uma variedade abeliana, a conjectura de Birch e Swinnerton-Dyer afirma que o tamanho do grupo de pontos racionais está relacionado ao comportamento de uma função zeta associada ζ(s) próximo ao ponto s=1”.
Já a Conjectura de Hodge investiga até que ponto as características topológicas de certos espaços geométricos podem ser explicadas por elementos definidos por equações algébricas. Ela sustenta que certas propriedades topológicas desses espaços correspondem a combinações de subespaços que também podem ser descritas por equações algébricas.