Recentemente, o engenheiro da xAI, Hieu Pham, postou uma mensagem "explosiva" nas redes sociais, alegando que o modelo de linguagem grande Grok3 da xAI havia provado com sucesso a Hipótese de Riemann e, portanto, o treinamento do modelo havia sido interrompido. Essa notícia rapidamente gerou grande discussão no meio da IA, com usuários expressando choque e descrença. Afinal, a Hipótese de Riemann, um dos sete problemas do milênio, é considerada a "coroa das conjecturas", e sua dificuldade é inegável.
Algumas horas depois, Pham revelou a verdade em outra publicação: era apenas uma brincadeira. Essa "gafe" surgiu a partir de uma informação divulgada pelo usuário Andrew Curran, que alegou que o Grok3 havia sofrido um "evento catastrófico" durante o treinamento.
Diante dos rumores cada vez mais absurdos, o co-fundador da xAI, Greg Yang, ironizou: "Sim, sim, o Grok3 começou a atacar os seguranças do escritório durante o treinamento". Outro pesquisador, Heinrich Kuttler, brincou: "A situação estava péssima! Tivemos que substituir todos os pesos ruins por 'nan' (Not a Number, não um número) para recuperar o sistema". Os usuários também se juntaram à brincadeira.
Embora essa "farsa" tenha terminado em risadas, ela levantou questões sobre a capacidade matemática da IA.
Então, quão longe a IA está de resolver problemas matemáticos complexos como a Hipótese de Riemann?
Podemos ter uma ideia observando o desempenho do AlphaProof, uma ferramenta de demonstração matemática desenvolvida pela equipe do Google DeepMind. O AlphaProof resolveu com sucesso três problemas na Olimpíada Internacional de Matemática (IMO) de 2024, sendo que a sexta questão foi considerada um "chefe final", de extrema dificuldade. O AlphaProof demonstrou uma poderosa capacidade de raciocínio lógico e pensamento criativo na resolução dos problemas, como na segunda questão, onde escolheu estrategicamente considerar o número ab+1 para construir a prova, uma estratégia que coincide com o raciocínio humano.
Apesar dos resultados impressionantes do AlphaProof, ainda há um longo caminho a percorrer para que a IA consiga resolver problemas matemáticos de ponta como a Hipótese de Riemann. A Hipótese de Riemann, proposta em 1859, existe há 165 anos, e inúmeros matemáticos dedicaram suas vidas a ela sem conseguir uma prova completa.
Para provar a Hipótese de Riemann, a IA precisa de uma grande capacidade de cálculo e raciocínio profundo. Atualmente, a IA pode usar a força bruta para procurar todas as possíveis provas e encontrar teoremas demonstráveis, mas isso requer recursos computacionais astronômicos. Além disso, a IA precisa entender e aplicar as ferramentas matemáticas existentes para desempenhar um papel maior na pesquisa matemática.
Alguns especialistas em IA preveem que até o final de 2026, a IA se tornará um "matemático super-humano", capaz de resolver problemas como a Hipótese de Riemann. Musk também prometeu que o Grok3, treinado com 200.000 H100s, será lançado no final do ano e terá um desempenho impressionante.
O futuro dirá se a IA conseguirá alcançar avanços inovadores na matemática. Aguardamos ansiosamente.