Recentemente, rumores sobre o grande modelo de linguagem Grok3 do xAI, provando a hipótese de Riemann, causaram alvoroço no círculo de IA. O engenheiro da xAI, Hieu Pham, deu a notícia nas redes sociais de que Grok3 provou com sucesso esse problema matemático e, portanto, suspendeu o treinamento. Assim que a notícia foi divulgada, imediatamente gerou uma discussão acalorada. No entanto, Pham logo esclareceu que isso era apenas uma piada, um oolong causado pelas revelações dos internautas sobre um “incidente catastrófico” durante o treinamento de Grok3. O editor do Downcodes levará você para revisar essa “farsa” e discutir o progresso da IA na superação de problemas matemáticos.
Poucas horas depois, Pham revelou a resposta em outro post: Foi só uma piada. Este “gol contra” originou-se da revelação do internauta Andrew Curran, que afirmou que Grok3 encontrou um “evento catastrófico” durante o treinamento.
Diante de rumores cada vez mais ultrajantes, o co-criador do xAI, Greg Yang, não pôde deixar de postar uma postagem sarcástica: “Sim, sim, sim, Grok3 começou a atacar a segurança do escritório após o treinamento. Outro pesquisador, Heinrich Kuttler, também disse com humor. "A situação era muito ruim! Mais tarde, substituímos todos os pesos ruins por nan (não é um número, não é um número) e depois os restauramos, os internautas também se juntaram à criação de memes."
Embora esta “farsa” tenha terminado numa piada, também desencadeou o pensamento das pessoas sobre as capacidades matemáticas da IA.
Então, até que ponto a IA está de resolver problemas matemáticos do milénio, como a hipótese de Riemann?
Podemos ter uma ideia do desempenho do AlphaProof, uma ferramenta de prova matemática de IA desenvolvida pela equipe DeepMind do Google. AlphaProof resolveu com sucesso três questões na Olimpíada Internacional de Matemática (IMO) de 2024. A sexta questão é conhecida como o “chefe final” e é extremamente difícil. AlphaProof demonstrou forte raciocínio lógico e pensamento criativo durante o processo de resolução de problemas. Por exemplo, na segunda questão, escolheu inteligentemente considerar o número ab+1 para construir a prova. junto.
Embora o AlphaProof tenha alcançado resultados impressionantes, a IA ainda tem um longo caminho a percorrer para superar os principais problemas matemáticos, como a hipótese de Riemann. A hipótese de Riemann tem uma história de 165 anos desde que foi proposta em 1859. Inúmeros matemáticos dedicaram seus esforços a ela, mas nunca foram capazes de prová-la completamente.
Para provar a hipótese de Riemann, a IA precisa ter um poder computacional poderoso e capacidades de raciocínio profundo. Atualmente, a IA pode encontrar teoremas prováveis pesquisando exaustivamente todas as provas possíveis, mas isso requer quantidades astronômicas de recursos computacionais. Além disso, a IA também precisa de ter a capacidade de compreender e aplicar as ferramentas matemáticas existentes, a fim de desempenhar um papel mais importante na investigação matemática.
Alguns especialistas em IA prevêem que até o final de 2026, a IA se tornará um “supermatemático” capaz de resolver problemas difíceis como a Hipótese de Riemann. Musk também prometeu que o Grok3, treinado com 200 mil unidades H100, será lançado até o final do ano e trará desempenho incrível.
Vamos esperar e ver se a IA poderá alcançar avanços no campo da matemática no futuro.
Este "próprio incidente" relativo à prova da hipótese de Riemann feita por Grok3 não apenas demonstra o rápido desenvolvimento da tecnologia de IA, mas também nos lembra que devemos permanecer cautelosos e racionais em nossa avaliação das capacidades de IA. A IA tem amplas perspectivas de aplicação no campo da matemática, mas a superação de problemas centenários, como a hipótese de Riemann, ainda requer uma exploração longa e árdua.