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
Magnata da Tecnologia da Índia Investe US$ 30 Milhões em Concorrente de IA ao Microsoft Office
O empreendedor serial Bhavin Turakhia está investindo US$ 30 milhões de seu próprio capital, apostando que o setor de IA empresarial ainda tem espaço para novos jogadores. Sua mais recente startup, a Neo, opera com uma crença central: o software lega
Ex-Cientista-Chefe da OpenAI, Ilya, apresenta seu primeiro modelo de SSI
A inteligência artificial alcançou mais um grande marco. Após sua saída da OpenAI, o ex-chefe de ciência Ilya Sutskever estabeleceu a Safe Superintelligence Inc. (SSI), que recentemente revelou detalhes sobre seu modelo inaugural. Relatórios de redes
Lovable Leads Atech's Seed Round as AI Ambient Coding Officially Enters the Hardware Field
Em 14 de maio de 2026, a plataforma de desenvolvimento de aplicações de IA Lovable anunciou sua participação na rodada de investimento inicial (seed) de US$ 800.000 para a startup dinamarquesa de hardware Atech. Liderada pela Lovable, a rodada atraiu
Recomendações de tópicos especiais relacionados
chatbot
Melhores ferramentas de treinamento de conversação com IA para prática de entrevistas
As melhores ferramentas de treinamento de conversação com IA mais recentes e altamente avaliadas para 2026, ideais para prática de entrevistas, estão disponíveis no XIX.AI! Esta coleção selecionada apresenta ferramentas poderosas e transformadoras, submetidas a rigorosos testes do mundo real para fornecer feedback preciso. Você encontrará uma comparação entre opções gratuitas e pagas, além de classificações detalhadas, para ajudá-lo a escolher a opção imperdível que aumenta sua confiança e habilidades. Explore agora para descobrir a ferramenta perfeita para o sucesso nas entrevistas!
12 ferramentas
xix.ai
Design e Arte
As melhores ferramentas de transferência de estilo com IA para experimentos criativos
As melhores e mais bem avaliadas ferramentas de transferência de estilo com IA de 2026 para experimentos criativos! A XIX.AI selecionou uma coleção poderosa e revolucionária de ferramentas imperdíveis, que oferecem resultados excepcionais por meio de testes reais e classificações rigorosas. Essas soluções de ponta ajudam os profissionais criativos a aumentar significativamente a produtividade, acelerando a criação de conteúdo e revelando possibilidades criativas infinitas. Explore agora para descobrir a ferramenta perfeita para você e comece a criar hoje mesmo!
9 ferramentas
xix.ai
Criação de quadrinhos
As melhores ferramentas de balões de diálogo com IA para a narrativa visual
As melhores e mais bem avaliadas ferramentas de balões de diálogo com IA para narrativa visual de 2026 já estão disponíveis no XIX.AI! Esta coleção selecionada apresenta ferramentas poderosas e revolucionárias que ajudam os criadores a aumentar a produtividade e superar gargalos criativos. Veja uma comparação entre versões gratuitas e pagas, confira testes reais e verifique os rankings mais recentes para encontrar as soluções imperdíveis, perfeitas para criar narrativas visuais envolventes. Explore agora e descubra sua ferramenta ideal!
10 ferramentas
xix.ai
Assistente de Reunião
As melhores ferramentas de resumo de reuniões com IA: acompanhe decisões e ações de acompanhamento com clareza
As melhores e mais bem avaliadas ferramentas de resumo de reuniões com IA de 2026 para um acompanhamento claro das decisões e acompanhamentos sem esforço. Esta lista selecionada apresenta soluções poderosas e revolucionárias que aumentam drasticamente a produtividade ao automatizar notas de reuniões, identificar ações-chave e otimizar a coordenação da equipe em todos os projetos. Veja uma comparação entre versões gratuitas e pagas, além de testes práticos e rankings atualizados semanalmente para ajudá-lo a encontrar a ferramenta perfeita. Explore agora para aproveitar ao máximo as vantagens da IA!
9 ferramentas
xix.ai
Análise de dados
Melhores ferramentas de limpeza de dados com IA: corrija valores faltantes e duplicatas rapidamente
2026 – Os melhores e mais bem avaliados ferramentas de limpeza de dados com IA, atualizadas para corrigir rapidamente valores faltantes e duplicatas. Esta lista selecionada apresenta soluções poderosas e revolucionárias que aumentam significativamente a produtividade. Cada opção passou por testes rigorosos em condições reais para garantir sua confiabilidade. Acesse uma comparação gratuita entre as versões pagas e gratuitas e descubra a ferramenta indispensável que melhor atende às suas necessidades. Explore agora em XIX.AI para aproveitar todos os benefícios oferecidos pela IA.
11 ferramentas
xix.ai
Design e Arte
Melhores Ferramentas de Ideação Criativa com IA para Artistas: Supere os Bloqueios Visuais
2026 Últimas Melhores Ferramentas de Ideação Criativa com IA Mais Bem Avaliadas para Artistas são selecionadas pela XIX.AI para ajudar os criadores a superar bloqueios visuais e impulsionar a criatividade instantaneamente. Essas poderosas ferramentas transformadoras oferecem testes do mundo real, comparação detalhada entre gratuito e pago e classificações atualizadas semanalmente. Descubra sua ferramenta perfeita para acelerar a criação de conteúdo e desbloquear sua vantagem com IA hoje. Explore agora!
14 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.
Magnata da Tecnologia da Índia Investe US$ 30 Milhões em Concorrente de IA ao Microsoft Office
O empreendedor serial Bhavin Turakhia está investindo US$ 30 milhões de seu próprio capital, apostando que o setor de IA empresarial ainda tem espaço para novos jogadores. Sua mais recente startup, a Neo, opera com uma crença central: o software lega
Ex-Cientista-Chefe da OpenAI, Ilya, apresenta seu primeiro modelo de SSI
A inteligência artificial alcançou mais um grande marco. Após sua saída da OpenAI, o ex-chefe de ciência Ilya Sutskever estabeleceu a Safe Superintelligence Inc. (SSI), que recentemente revelou detalhes sobre seu modelo inaugural. Relatórios de redes
Lovable Leads Atech's Seed Round as AI Ambient Coding Officially Enters the Hardware Field
Em 14 de maio de 2026, a plataforma de desenvolvimento de aplicações de IA Lovable anunciou sua participação na rodada de investimento inicial (seed) de US$ 800.000 para a startup dinamarquesa de hardware Atech. Liderada pela Lovable, a rodada atraiu
As melhores ferramentas de treinamento de conversação com IA mais recentes e altamente avaliadas para 2026, ideais para prática de entrevistas, estão disponíveis no XIX.AI! Esta coleção selecionada apresenta ferramentas poderosas e transformadoras, submetidas a rigorosos testes do mundo real para fornecer feedback preciso. Você encontrará uma comparação entre opções gratuitas e pagas, além de classificações detalhadas, para ajudá-lo a escolher a opção imperdível que aumenta sua confiança e habilidades. Explore agora para descobrir a ferramenta perfeita para o sucesso nas entrevistas!
12 ferramentas
xix.ai
As melhores e mais bem avaliadas ferramentas de transferência de estilo com IA de 2026 para experimentos criativos! A XIX.AI selecionou uma coleção poderosa e revolucionária de ferramentas imperdíveis, que oferecem resultados excepcionais por meio de testes reais e classificações rigorosas. Essas soluções de ponta ajudam os profissionais criativos a aumentar significativamente a produtividade, acelerando a criação de conteúdo e revelando possibilidades criativas infinitas. Explore agora para descobrir a ferramenta perfeita para você e comece a criar hoje mesmo!
9 ferramentas
xix.ai
As melhores e mais bem avaliadas ferramentas de balões de diálogo com IA para narrativa visual de 2026 já estão disponíveis no XIX.AI! Esta coleção selecionada apresenta ferramentas poderosas e revolucionárias que ajudam os criadores a aumentar a produtividade e superar gargalos criativos. Veja uma comparação entre versões gratuitas e pagas, confira testes reais e verifique os rankings mais recentes para encontrar as soluções imperdíveis, perfeitas para criar narrativas visuais envolventes. Explore agora e descubra sua ferramenta ideal!
10 ferramentas
xix.ai
As melhores e mais bem avaliadas ferramentas de resumo de reuniões com IA de 2026 para um acompanhamento claro das decisões e acompanhamentos sem esforço. Esta lista selecionada apresenta soluções poderosas e revolucionárias que aumentam drasticamente a produtividade ao automatizar notas de reuniões, identificar ações-chave e otimizar a coordenação da equipe em todos os projetos. Veja uma comparação entre versões gratuitas e pagas, além de testes práticos e rankings atualizados semanalmente para ajudá-lo a encontrar a ferramenta perfeita. Explore agora para aproveitar ao máximo as vantagens da IA!
9 ferramentas
xix.ai
2026 – Os melhores e mais bem avaliados ferramentas de limpeza de dados com IA, atualizadas para corrigir rapidamente valores faltantes e duplicatas. Esta lista selecionada apresenta soluções poderosas e revolucionárias que aumentam significativamente a produtividade. Cada opção passou por testes rigorosos em condições reais para garantir sua confiabilidade. Acesse uma comparação gratuita entre as versões pagas e gratuitas e descubra a ferramenta indispensável que melhor atende às suas necessidades. Explore agora em XIX.AI para aproveitar todos os benefícios oferecidos pela IA.
11 ferramentas
xix.ai
2026 Últimas Melhores Ferramentas de Ideação Criativa com IA Mais Bem Avaliadas para Artistas são selecionadas pela XIX.AI para ajudar os criadores a superar bloqueios visuais e impulsionar a criatividade instantaneamente. Essas poderosas ferramentas transformadoras oferecem testes do mundo real, comparação detalhada entre gratuito e pago e classificações atualizadas semanalmente. Descubra sua ferramenta perfeita para acelerar a criação de conteúdo e desbloquear sua vantagem com IA hoje. Explore agora!
14 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.
