Recentemente, uma notícia de que o modelo de idioma XAI GROK3 provou que a conjectura de Riemann estava explodindo nas mídias sociais, despertando atenção generalizada e discussão acalorada. O engenheiro da Xai, Hieu Pham, divulgou uma mensagem dizendo que a GROK3 provou com sucesso esse difícil problema que atormentou a comunidade de matemática por muitos anos e, portanto, suspendeu o treinamento modelo. No entanto, isso foi apenas um "quebrado" desencadeado pelas revelações dos internautas, que acabou sendo revelado pela resposta humorística do co-fundador da Xai, Greg Yang e outros. Embora seja apenas uma piada, esse incidente desencadeou o pensamento aprofundado das pessoas sobre a capacidade matemática da IA e nos faz aguardar ansiosamente o futuro avanço da IA no campo da matemática.
Recentemente, o engenheiro da Xai Hieu Pham postou uma mensagem "explosiva" nas mídias sociais, alegando que o grande modelo de idioma de Xai Grok3 provou com sucesso a conjectura de Riemann e suspendeu o treinamento do modelo. Essas notícias rapidamente desencadearam discussões acaloradas no círculo de IA, e os internautas expressaram seu choque e era difícil dizer se era verdadeiro ou falso. Afinal, a conjectura de Riemann, como um dos sete principais problemas matemáticos do milênio, é conhecida como a "coroa do mundo da conjectura", e sua dificuldade pode ser imaginada.
Algumas horas depois, Pham revelou a resposta em outro post: era apenas uma piada. Essa "objeção" originou -se das revelações do internautas Andrew Curran, que alegou que Grok3 encontrou um "incidente de desastre" durante o treinamento.
Diante dos rumores de que quanto mais se espalhou, Xai Lianchuang Greg Yang não pôde deixar de postar um artigo sarcástico e disse sarcasticamente: "Sim, sim, Grok3 começou a atacar os guardas de segurança no escritório". Humorosamente, ele disse: "A situação é muito ruim! Mais tarde, substituímos todos os pesos ruins por Nan (não um número, não-número) antes de nos recuperarmos".
Embora essa "farsa" tenha terminado em uma piada, também desencadeou as pessoas pensando nas habilidades matemáticas da IA.
Então, a que distância está a IA de superar problemas de matemática do milênio como a conjectura de Riemann?
Podemos ver o desempenho do AlphaProof, uma ferramenta de prova matemática da IA desenvolvida pela equipe DeepMind do Google. O AlphaProof resolveu com sucesso três questões na Olimpíada Internacional de Matemática de 2024 (IMO), entre as quais a sexta questão é conhecida como "chefe final" e é extremamente difícil. O AlphaProof demonstrou forte capacidade de raciocínio lógico e pensamento criativo no processo de resolução de problemas junto.
Embora o AlphaProof tenha alcançado resultados notáveis, a IA ainda tem um longo caminho a percorrer para superar os principais problemas matemáticos, como a conjectura de Riemann. A conjectura de Riemann tem um histórico de 165 anos desde que foi proposto em 1859, e inúmeros matemáticos dedicaram seus esforços a ele, mas nunca foram completamente provados.
Para provar a conjectura de Riemann, a IA precisa ter um forte poder de computação e recursos aprofundados de raciocínio. Atualmente, a IA pode pesquisar todas as provas possíveis pesquisando exaustivamente teoremas comprovados, mas isso requer recursos de computação astronômicos. Além disso, a IA também precisa ter a capacidade de entender e aplicar ferramentas matemáticas existentes para desempenhar um papel maior na pesquisa matemática.
Alguns especialistas da IA prevêem que, até o final de 2026, a IA se tornará um "matemático do Super -Homem", o que é suficiente para resolver problemas como a conjectura de Riemann. Musk também prometeu que o GROK3, que foi treinado com 200.000 H100, será lançado no final do ano e trará um desempenho incrível.
No futuro, vamos esperar e ver se a IA pode fazer progredir no campo da matemática.
Embora essa "farsa" sobre se a IA possa provar a conjectura de Riemann, terminou em uma piada, também desencadeou nosso pensamento na futura direção do desenvolvimento da inteligência artificial. O progresso da IA no campo da matemática é óbvio para todos, mas ainda há um longo caminho a percorrer para superar problemas de alto nível como a conjectura de Riemann. Vamos esperar mais avanços na IA no campo da matemática no futuro!