Lar
O ChatGPT-5.2 comprova de forma independente uma conjectura matemática, inaugurando a era das provas contextuais
Uma pesquisa recente da Universidade Livre de Bruxelas (VUB) marca um possível marco na história da IA: modelos de linguagem de grande porte disponíveis comercialmente agora são capazes de gerar provas matemáticas originais de forma autônoma. Em um experimento, o ChatGPT-5.2 (Thinking) da OpenAI resolveu com sucesso uma conjectura matemática de longa data proposta pelos matemáticos Ran e Teng em 2024.
Nota sobre a fonte da imagem: Esta imagem foi gerada por IA, cortesia do serviço de IA Midjourney.
Essa conquista representa uma grande expansão das capacidades dos modelos de linguagem de grande porte (LLM), indo além da geração de código e texto para o domínio logicamente rigoroso da matemática teórica. A comunidade matemática reagiu com grande interesse, vendo isso como uma potencial mudança de paradigma nas descobertas científicas.
A Ascensão da “Prova de Vibração”: Um Teorema Forjado por meio do Diálogo
A equipe de pesquisa denominou essa nova abordagem de “vibe-proving”, inspirada na recente tendência da “vibe programming”. Ao longo do processo de prova, o ChatGPT explorou autonomamente caminhos de solução e construiu a estrutura lógica central, demonstrando capacidade de raciocínio genuína além da simples recombinação de dados.
A prova completa envolveu 7 rodadas de interação conversacional e 4 iterações de autoaperfeiçoamento, culminando em um argumento lógico rigoroso. Embora pesquisadores humanos tenham realizado a verificação final, a eficiência dedutiva da IA superou em muito as expectativas dos matemáticos.
Mudança no setor: de “produtores” humanos a “verificadores”
O professor Vincent Ginis, da VUB, observou que essa descoberta desafia a noção persistente de que “a IA possui apenas capacidades indutivas, e não criativas”. À medida que a barreira para a IA gerar provas matemáticas diminui, prevê-se que o ritmo das descobertas na matemática teórica acelere exponencialmente.
Artigo relacionado
A Baidu Health testa internamente o DoctorClaw, um assistente médico baseado em IA, para pesquisa acadêmica e assistência administrativa a curto prazo
A Baidu Health teria iniciado testes internos de um assistente inteligente com IA profissional, projetado para médicos. Conhecido internamente como “DoctorClaw” (a versão “Lobster Doctor”), esse produ
Cursor Composer 2 x Claude Opus 4.6: Teste de desempenho reacende o debate sobre programação com IA
Em 19 de março, a Cursor lançou oficialmente seu modelo de programação desenvolvido internamente, o Composer 2. O anúncio gerou discussão imediata na comunidade de desenvolvedores – segundo a Cursor,
O StrictlyVC de São Francisco reunirá líderes da TDK Ventures, da Replit e de outras empresas
O primeiro evento StrictlyVC do ano está chegando a São Francisco mais cedo do que você imagina. Ainda há ingressos disponíveis para nosso encontro de 30 de abril no Sentro Filipino Cultural Center, c
Recomendações de tópicos especiais relacionados
escrita
Melhores ferramentas de scriptagem AI para rádio e podcasts: crie anúncios de áudio envolventes
Descubra os melhores ferramentas de scriptagem AI para rádio e podcasts em 2026 na XIX.AI. Nossa lista selecionada e avaliada pelos usuários apresenta soluções poderosas que podem transformar a forma como você cria anúncios audio envolventes. Compare opções gratuitas e pagas com testes reais e rankings atualizados semanalmente. Desbloqueie seu potencial criativo hoje mesmo!
10 ferramentas
xix.ai
Negócios
O melhor software de revisão de contratos com IA: identifique lacunas jurídicas e riscos de conformidade instantaneamente
Descubra os melhores softwares de análise de contratos com IA de 2026 no XIX.AI. Nossa lista, cuidadosamente selecionada e com as melhores avaliações, apresenta ferramentas poderosas que identificam instantaneamente lacunas jurídicas e riscos de conformidade. Compare opções gratuitas e pagas com testes práticos e rankings atualizados semanalmente. Encontre a solução revolucionária para uma análise segura e eficiente de contratos. Explore agora o guia definitivo.
10 ferramentas
xix.ai
Criação de Animação
Gerador de Animações AI para Donghua: Crie Personagens para Romances Online e Avatares para Quadrinhos
Descubra os melhores geradores de animações AI de 2026 para a criação de donghua. Nossa lista selecionada apresenta ferramentas poderosas para criar personagens incríveis para romances online e avatares para quadrinhos. Compare opções gratuitas e pagas com testes reais. Encontre o parceiro criativo perfeito para dar vida às suas histórias hoje mesmo no XIX.AI.
10 ferramentas
xix.ai
Criação de quadrinhos
As melhores ferramentas de colorização automática com IA para mangás: aplique cores planas sem erros de consistência
Descubra as melhores ferramentas de colorização automática por IA para mangás de 2026 no XIX.AI. Nossa lista selecionada apresenta soluções de ponta e revolucionárias que aplicam cores planas sem nenhum erro de consistência, aumentando sua produtividade. Explore comparações entre versões gratuitas e pagas, testes práticos e rankings atualizados semanalmente para encontrar a opção ideal para você. Aproveite hoje mesmo as vantagens da IA.
10 ferramentas
xix.ai
escrita
Os melhores criadores de perfis de ficção com IA: gerar motivações consistentes para personagens e falhas fatais
Descubra os melhores criadores de perfis de ficção com IA de 2026 para criar personagens complexos. A lista selecionada pela XIX.AI apresenta ferramentas de ponta e revolucionárias que geram motivações consistentes e falhas fatais. Compare as opções gratuitas com as pagas por meio de testes práticos. Liberte agora o seu potencial narrativo.
10 ferramentas
xix.ai
Negócios
Os melhores softwares de otimização de preços com IA: acompanhe os concorrentes e ajuste automaticamente os preços da loja
Descubra os melhores softwares de otimização de preços com IA de 2026 no XIX.AI. Nossa lista selecionada apresenta ferramentas de ponta e revolucionárias que monitoram os concorrentes e ajustam automaticamente os preços da sua loja para maximizar o lucro. Compare opções gratuitas e pagas com testes práticos. Obtenha sua vantagem competitiva em preços agora mesmo.
10 ferramentas
xix.ai
Comentários (2)
![PeterYoung]()
Wait, so ChatGPT can now prove math theorems? I barely passed calculus... 😅 But seriously, this is both exciting and a little scary. What happens when AI starts proving things humans can't even understand? 🤯
![LawrenceGarcía]()
Wait, so ChatGPT-5.2 actually proved a math conjecture on its own? That's either super exciting or kinda terrifying — I mean, are we heading towards a future where AI writes proofs and we just nod along? 😅 Also, the whole "contextual proof era" sounds like something from a sci-fi novel. But honestly, I'd love to see the actual proof steps, because knowing how the model "thinks" could be huge for education.
Uma pesquisa recente da Universidade Livre de Bruxelas (VUB) marca um possível marco na história da IA: modelos de linguagem de grande porte disponíveis comercialmente agora são capazes de gerar provas matemáticas originais de forma autônoma. Em um experimento, o ChatGPT-5.2 (Thinking) da OpenAI resolveu com sucesso uma conjectura matemática de longa data proposta pelos matemáticos Ran e Teng em 2024.
Nota sobre a fonte da imagem: Esta imagem foi gerada por IA, cortesia do serviço de IA Midjourney.
Essa conquista representa uma grande expansão das capacidades dos modelos de linguagem de grande porte (LLM), indo além da geração de código e texto para o domínio logicamente rigoroso da matemática teórica. A comunidade matemática reagiu com grande interesse, vendo isso como uma potencial mudança de paradigma nas descobertas científicas.
A Ascensão da “Prova de Vibração”: Um Teorema Forjado por meio do Diálogo
A equipe de pesquisa denominou essa nova abordagem de “vibe-proving”, inspirada na recente tendência da “vibe programming”. Ao longo do processo de prova, o ChatGPT explorou autonomamente caminhos de solução e construiu a estrutura lógica central, demonstrando capacidade de raciocínio genuína além da simples recombinação de dados.
A prova completa envolveu 7 rodadas de interação conversacional e 4 iterações de autoaperfeiçoamento, culminando em um argumento lógico rigoroso. Embora pesquisadores humanos tenham realizado a verificação final, a eficiência dedutiva da IA superou em muito as expectativas dos matemáticos.
Mudança no setor: de “produtores” humanos a “verificadores”
O professor Vincent Ginis, da VUB, observou que essa descoberta desafia a noção persistente de que “a IA possui apenas capacidades indutivas, e não criativas”. À medida que a barreira para a IA gerar provas matemáticas diminui, prevê-se que o ritmo das descobertas na matemática teórica acelere exponencialmente.
A Baidu Health testa internamente o DoctorClaw, um assistente médico baseado em IA, para pesquisa acadêmica e assistência administrativa a curto prazo
A Baidu Health teria iniciado testes internos de um assistente inteligente com IA profissional, projetado para médicos. Conhecido internamente como “DoctorClaw” (a versão “Lobster Doctor”), esse produ
Cursor Composer 2 x Claude Opus 4.6: Teste de desempenho reacende o debate sobre programação com IA
Em 19 de março, a Cursor lançou oficialmente seu modelo de programação desenvolvido internamente, o Composer 2. O anúncio gerou discussão imediata na comunidade de desenvolvedores – segundo a Cursor,
O StrictlyVC de São Francisco reunirá líderes da TDK Ventures, da Replit e de outras empresas
O primeiro evento StrictlyVC do ano está chegando a São Francisco mais cedo do que você imagina. Ainda há ingressos disponíveis para nosso encontro de 30 de abril no Sentro Filipino Cultural Center, c
Descubra os melhores ferramentas de scriptagem AI para rádio e podcasts em 2026 na XIX.AI. Nossa lista selecionada e avaliada pelos usuários apresenta soluções poderosas que podem transformar a forma como você cria anúncios audio envolventes. Compare opções gratuitas e pagas com testes reais e rankings atualizados semanalmente. Desbloqueie seu potencial criativo hoje mesmo!
10 ferramentas
xix.ai
Descubra os melhores softwares de análise de contratos com IA de 2026 no XIX.AI. Nossa lista, cuidadosamente selecionada e com as melhores avaliações, apresenta ferramentas poderosas que identificam instantaneamente lacunas jurídicas e riscos de conformidade. Compare opções gratuitas e pagas com testes práticos e rankings atualizados semanalmente. Encontre a solução revolucionária para uma análise segura e eficiente de contratos. Explore agora o guia definitivo.
10 ferramentas
xix.ai
Descubra os melhores geradores de animações AI de 2026 para a criação de donghua. Nossa lista selecionada apresenta ferramentas poderosas para criar personagens incríveis para romances online e avatares para quadrinhos. Compare opções gratuitas e pagas com testes reais. Encontre o parceiro criativo perfeito para dar vida às suas histórias hoje mesmo no XIX.AI.
10 ferramentas
xix.ai
Descubra as melhores ferramentas de colorização automática por IA para mangás de 2026 no XIX.AI. Nossa lista selecionada apresenta soluções de ponta e revolucionárias que aplicam cores planas sem nenhum erro de consistência, aumentando sua produtividade. Explore comparações entre versões gratuitas e pagas, testes práticos e rankings atualizados semanalmente para encontrar a opção ideal para você. Aproveite hoje mesmo as vantagens da IA.
10 ferramentas
xix.ai
Descubra os melhores criadores de perfis de ficção com IA de 2026 para criar personagens complexos. A lista selecionada pela XIX.AI apresenta ferramentas de ponta e revolucionárias que geram motivações consistentes e falhas fatais. Compare as opções gratuitas com as pagas por meio de testes práticos. Liberte agora o seu potencial narrativo.
10 ferramentas
xix.ai
Descubra os melhores softwares de otimização de preços com IA de 2026 no XIX.AI. Nossa lista selecionada apresenta ferramentas de ponta e revolucionárias que monitoram os concorrentes e ajustam automaticamente os preços da sua loja para maximizar o lucro. Compare opções gratuitas e pagas com testes práticos. Obtenha sua vantagem competitiva em preços agora mesmo.
10 ferramentas
xix.ai
Wait, so ChatGPT can now prove math theorems? I barely passed calculus... 😅 But seriously, this is both exciting and a little scary. What happens when AI starts proving things humans can't even understand? 🤯
Wait, so ChatGPT-5.2 actually proved a math conjecture on its own? That's either super exciting or kinda terrifying — I mean, are we heading towards a future where AI writes proofs and we just nod along? 😅 Also, the whole "contextual proof era" sounds like something from a sci-fi novel. But honestly, I'd love to see the actual proof steps, because knowing how the model "thinks" could be huge for education.
