A inteligência artificial invade o reino da matemática pura

Em setembro, a OpenAI agitou o mundo acadêmico ao anunciar uma suposta solução para um dos sete “Problemas do Prêmio do Milênio” da matemática: as equações de Navier-Stokes, cruciais para a compreensão do comportamento de fluidos. No entanto, a recente divulgação de centenas de resultados pela empresa, na última terça-feira (6), deixou a comunidade matemática em um misto de perplexidade e expectativa. Embora nenhuma demonstração de um Problema do Milênio tenha sido apresentada, diversas descobertas parecem apontar avanços significativos em questões ainda em aberto, consideradas as mais importantes da área. Antes desses anúncios, apenas um dos sete problemas havia sido solucionado.

Os Problemas do Milênio, propostos pelo Clay Mathematics Institute em 2000 com prêmios de um milhão de dólares para cada solução, representam os desafios mais intrincados e fundamentais da matemática moderna. A complexidade para além do entendimento do público leigo, e até mesmo de muitos matemáticos, não diminui sua importância. A recente incursão da OpenAI nesse território levanta questões sobre o papel da inteligência artificial na resolução de problemas matemáticos profundos e as implicações para o futuro da pesquisa.

As informações foram reunidas a partir de dados divulgados pela OpenAI e análises de especialistas em matemática, incluindo Peter Sarnak, Alex Kontorovich, Manjul Bhargava, David Mumford, Michael Sipser e Edward Witten.

A Hipótese de Riemann e a Conjectura de Birch e Swinnerton-Dyer

A Hipótese de Riemann, formulada em 1859, investiga a distribuição dos números primos. O matemático alemão Bernhard Riemann propôs uma fórmula para estimar quantos primos existem abaixo de um determinado número. Sua prova, se realizada, teria implicações monumentais em diversas áreas da matemática. Entre os resultados recentes da OpenAI, destaca-se a “hipótese de quase Riemann”, que, embora verificada por um assistente computacional, ainda não resolve o problema original.

Já a Conjectura de Birch e Swinnerton-Dyer, formulada nos anos 1960, busca um algoritmo para resolver equações cúbicas com duas variáveis, um passo crucial na busca pela solução de todas as equações de todos os graus. Os avanços da OpenAI neste campo são descritos como “progresso significativo”, oferecendo novas bases para pesquisas futuras, mas a conjectura completa ainda exige muito trabalho.

A Conjectura de Hodge e P versus NP: Desafios da Geometria e Computação

A Conjectura de Hodge, apresentada em 1950, relaciona a geometria algébrica com a topologia, explorando a interconexão entre “variedades” (formas definidas por equações) e suas “subvariedades”. A proposta de Hodge é que certas “sombras” geométricas (topologia) estejam ligadas a estruturas “rígidas” (álgebra). Especialistas sugerem que a conjectura pode ser falsa, e a inteligência artificial poderia ser uma ferramenta valiosa na busca por contraexemplos.

O problema P versus NP, central na ciência da computação teórica, questiona se problemas cujas soluções podem ser verificadas rapidamente são também solucionáveis rapidamente. A demonstração de que P é diferente de NP estabeleceria um limite fundamental para a computação, semelhante à velocidade da luz na física. Atualmente, a comunidade científica está estagnada nesse problema há décadas, e os resultados da OpenAI, embora tangenciem questões relacionadas, não oferecem uma solução direta.

Yang-Mills e o Gap de Massa: A Física em Busca de Fundamentação

O problema de Yang-Mills e o gap de massa abordam a física teórica, onde teorias funcionam em experimentos, mas sua fundamentação matemática rigorosa ainda é um desafio. Yang-Mills descreve as forças nucleares que unem prótons e nêutrons, enquanto o gap de massa busca explicar por que essas partículas possuem massa. A OpenAI apresentou resultados promissores em um problema análogo ao de Yang-Mills, incluindo a prova do gap de massa em um contexto simplificado. No entanto, a aplicação direta ao problema original de Yang-Mills e a prova do gap de massa neste contexto permanecem incertas, com especialistas expressando ceticismo, mas também surpresa com os avanços.

A incursão da OpenAI nos Problemas do Milênio, embora não tenha entregado soluções definitivas, demonstra o potencial da inteligência artificial como ferramenta de pesquisa matemática. As descobertas, mesmo que parciais, abrem novas frentes de investigação e reavivam o debate sobre os limites e as possibilidades da colaboração entre humanos e máquinas na vanguarda do conhecimento científico.