A comunidade matemática foi abalada em setembro com o anúncio da OpenAI de uma aparente solução para um dos sete “Problemas do Prêmio do Milênio”: Navier-Stokes. Este avanço, contudo, gerou turbulência e perplexidade, especialmente após a empresa divulgar centenas de resultados em novembro, sem uma nova demonstração para os problemas mais complexos.
Embora a inteligência artificial não tenha resolvido diretamente os desafios restantes, algumas descobertas da OpenAI parecem representar progressos significativos. Mas o que são, afinal, essas questões tão especializadas? Elas são consideradas as mais importantes da área e cada uma vale um prêmio de um milhão de dólares.
O que são os Problemas do Milênio da Matemática?
Os Problemas do Prêmio do Milênio são sete questões matemáticas cuja solução é considerada fundamental. Propostos pelo Clay Mathematics Institute, apenas um deles – a conjectura de Poincaré – foi oficialmente resolvido até o momento. A “solução” de Navier-Stokes pela OpenAI foi um ponto de grande debate, que agora se esclarece como um avanço em um problema análogo, não a solução completa.
Os cinco problemas ainda em aberto representam os maiores enigmas da matemática moderna. Entender cada um deles, mesmo que superficialmente, nos permite vislumbrar as fronteiras do conhecimento humano e o potencial impacto das novas tecnologias como a IA.
A lista dos desafios ainda em aberto inclui:
- A Hipótese de Riemann
- A Conjectura de Birch e Swinnerton-Dyer
- A Conjectura de Hodge
- P versus NP
- Yang-Mills e o Gap de Massa
1. A Hipótese de Riemann
Formulada em 1859 por Bernhard Riemann, esta hipótese trata dos números primos – aqueles que só podem ser divididos por 1 e por si mesmos. O cerne do problema é como esses números se distribuem ao longo da reta numérica até o infinito. Riemann propôs uma fórmula precisa para estimar a quantidade de primos abaixo de qualquer número dado.
Sua demonstração seria “monumental do ponto de vista matemático”, segundo Peter Sarnak, da Universidade de Princeton. A hipótese tem implicações em diversas áreas, tornando-a um campo fértil para conjecturas e extensões. A maioria dos especialistas acredita que ela seja verdadeira, embora sua refutação não seja impossível.
A OpenAI apresentou a “hipótese de quase Riemann” (problema nº 3 em sua lista), verificada por um assistente computacional. Embora seja uma “grande conquista” se correta, ela não resolve a hipótese original de Riemann. Alex Kontorovich, da Rutgers, vê o avanço como fundamental, mas acredita que a solução completa exigirá “ideias genuinamente novas”.
2. A Conjectura de Birch e Swinnerton-Dyer
Esta conjectura, formulada na década de 1960, é um pilar da teoria dos números. Ela envolve a contagem de pontos em curvas elípticas, que são descritas por equações cúbicas específicas. A conjectura propõe um algoritmo para resolver todas as equações cúbicas com duas variáveis, algo ainda desconhecido pelos matemáticos.
Manjul Bhargava, da Universidade de Princeton, explica que, enquanto equações quadráticas e cúbicas de uma variável são resolvíveis, as cúbicas com duas variáveis representam a próxima fronteira. A conjectura de Birch e Swinnerton-Dyer é crucial para avançar na busca por resolver todas as equações de todos os graus.
O problema nº 2 da lista da OpenAI aborda esta conjectura, alcançando um “progresso significativo” em um ponto já avançado. Bhargava ressalta que os resultados são robustos para pesquisas futuras, mas ainda há um longo caminho para a demonstração completa da conjectura.
3. A Conjectura de Hodge
A Conjectura de Hodge, apresentada em 1950 por Sir William Vallance Douglas Hodge, é um desafio complexo da geometria algébrica. David Mumford, da Universidade Brown, a descreve como um problema sobre “variedades”, formas definidas por equações que existem em todas as dimensões. Ela conecta a álgebra (equações) com a geometria (formas).
A conjectura se aprofunda nas subvariedades, que são variedades contidas em uma maior, como “bonecas russas matemáticas”. Ela questiona se certas “sombras” topológicas (contornos flexíveis de um espaço) estão ligadas a “ossos” algébricos (estruturas rígidas de equações) que as projetam, especialmente quando separadas por duas ou mais dimensões.
O problema nº 32 da OpenAI toca indiretamente na conjectura de Hodge, sendo um caso muito específico dela. Mumford aposta que a conjectura pode ser falsa e que a IA seria excelente para encontrar contraexemplos, uma área em que a inteligência artificial se destaca.
4. P versus NP
P versus NP é um problema central na ciência da computação teórica. Michael Sipser, do MIT, explica que “P” refere-se a problemas que podem ser resolvidos rapidamente, enquanto “NP” são aqueles cujas soluções podem ser verificadas rapidamente. A questão é: verificar uma solução é sempre mais fácil do que encontrá-la?
Demonstrar que P é diferente de NP estabeleceria um limite teórico para a computação, semelhante à velocidade da luz na física. Se P for igual a NP, novas e extraordinárias formas de usar computadores para otimização e decifração de códigos surgiriam. A maioria dos especialistas acredita que P é diferente de NP.
Os teóricos estão estagnados neste problema há décadas. O problema nº 129 da OpenAI, a “conjectura de concisão de estados de Sakoda-Sipser”, está apenas indiretamente relacionado a P versus NP. Sipser trabalhou nele na década de 1970, pensando ser uma versão “mais simples”, e permaneceu sem solução até agora.
5. Yang-Mills e o Gap de Massa
Este problema, diferentemente dos outros, está na fronteira entre a matemática e a física teórica. Ele busca uma fundamentação matemática rigorosa para a teoria quântica de campos de Yang-Mills, que descreve as forças nucleares que mantêm prótons e nêutrons unidos. A teoria funciona na prática, mas sua base matemática ainda não foi provada.
A segunda parte do problema é o gap de massa: explicar por que prótons e nêutrons têm massa, em vez de se moverem como fótons na velocidade da luz. A noção de “gap” refere-se à diferença entre zero (menor massa permitida pela relatividade) e a massa da partícula mais leve prevista pela teoria de Yang-Mills.
Edward Witten, físico teórico e Medalha Fields, afirma que nada no comunicado da OpenAI aborda diretamente Yang-Mills. No entanto, o problema nº 215 da lista da OpenAI resolveu um análogo considerado muito mais simples, mas com paralelos estreitos. Witten ficou surpreso com o sucesso da IA em provar o gap de massa neste análogo, mantendo ceticismo para o caso de Yang-Mills completo.
O Futuro dos Problemas do Milênio com a IA
Os anúncios da OpenAI mostram o potencial da inteligência artificial em auxiliar na exploração de problemas matemáticos complexos. Embora não tenhamos soluções definitivas para os Problemas do Milênio, os avanços em conjecturas análogas ou relacionadas são inegavelmente valiosos.
- A IA pode ser uma ferramenta poderosa para verificar demonstrações e encontrar contraexemplos, como sugerido para a Conjectura de Hodge.
- Ela pode oferecer novos insights e resultados robustos que servem de base para o trabalho humano, como visto na Conjectura de Birch e Swinnerton-Dyer.
- Contudo, a comunidade matemática concorda que a solução final para a maioria destes problemas exigirá ideias genuinamente novas, talvez além do alcance atual da IA.
A jornada para desvendar esses enigmas continua, e a colaboração entre a intuição humana e a capacidade computacional da IA promete moldar o futuro da matemática.
