As Alegações de Vantagem Quântica da IBM Priorizam Resultados Verificáveis em Vez de Velocidade Bruta
- Martin Chen

- 3 de ago.
- 15 min de leitura
A IBM afirma que três experimentos independentes alcançaram vantagem quântica, apesar de um problema de verificação que enfraqueceu muitas alegações anteriores. A empresa apresentou o trabalho com pesquisadores da Algorithmiq, Qedma e University of Chicago em uma coletiva de 28 de julho.
Vantagem quântica significa que um sistema quântico realiza uma tarefa definida mais rapidamente, com maior precisão ou de forma mais econômica do que todos os métodos clássicos conhecidos. A definição parece simples. Prová-la não é.
Um concorrente clássico pode eliminar uma vantagem aparente ao desenvolver um algoritmo melhor após o surgimento do experimento quântico. Os pesquisadores também precisam mostrar que um processador quântico ruidoso retornou uma resposta correta quando a reprodução clássica direta se tornou impraticável.
As novas alegações de vantagem quântica da IBM abordam ambos os problemas. As equipes utilizaram processadores IBM Quantum Heron R3, vários métodos de mitigação de erros e experimentos projetados para preservar evidências sobre a qualidade das respostas.
Os resultados não estabelecem que computadores quânticos agora superam máquinas convencionais em cargas de trabalho comerciais. Os experimentos abrangem problemas de pesquisa restritos, e os artigos subjacentes surgiram inicialmente como preprints, e não como publicações revisadas por pares.
Ainda assim, a estratégia de verificação torna este anúncio mais relevante do que outro recorde de velocidade. A IBM e seus parceiros estão, na prática, convidando pesquisadores de computação clássica a atacar os resultados, aprimorar seus solucionadores e testar se a vantagem alegada se sustenta.
Esse convite importa porque a computação quântica já viu essa disputa antes. O Google anunciou uma vantagem computacional em 2019, apenas para pesquisadores clássicos reduzirem substancialmente o custo estimado de simulação. Mais recentemente, melhorias clássicas derrubaram uma vantagem aparente em amostragem de circuitos com picos em questão de meses.
A IBM, portanto, baseia seu argumento em uma referência móvel, não em uma declaração de vitória permanente. A disputa central ocorre entre resultados quânticos verificáveis e algoritmos clássicos em contínuo aprimoramento.
Três Experimentos Constroem um Caso de Vantagem Quântica da IBM
O argumento mais forte da IBM vem da combinação de três vias de verificação, em vez de depender de um único benchmark ou de uma única execução de processador.
O primeiro experimento envolveu a IBM e a empresa israelense de software quântico Qedma. Os pesquisadores estudaram um modelo de Ising de campo transversal Floquet, que descreve o comportamento variável de spins em interação sob um campo aplicado periodicamente.
Um modelo de spins representa partículas quânticas por meio de variáveis magnéticas simplificadas. Esses modelos ajudam físicos a estudar materiais, transições de fase e dinâmicas complexas de muitos corpos.
A equipe utilizou o software de supressão e mitigação de erros quânticos da Qedma, chamado QESEM, para estabilizar resultados de circuitos quânticos ruidosos. A mitigação de erros estima e reduz o ruído do hardware sem codificar qubits lógicos totalmente corrigidos contra erros.
Os pesquisadores primeiro compararam a saída quântica com cálculos do Fugaku, o supercomputador japonês operado pelo RIKEN. A concordância estabeleceu uma região em que ambos os sistemas ainda conseguiam calcular as mesmas quantidades.
Em seguida, aumentaram a dificuldade do circuito além da faixa em que o cálculo clássico selecionado permanecia prático. Segundo reportagens sobre os experimentos, a equipe repetiu medições relacionadas em cinco computadores quânticos.
Esses sistemas incluíam processadores IBM em Boston e Pittsburgh. Os pesquisadores também utilizaram duas máquinas da Quantinuum, dando ao experimento um componente multiplataforma, em vez de depender de um único dispositivo da IBM.
A equipe variou deliberadamente o ruído que afetava os circuitos. Estimativas consistentes entre hardwares e níveis de ruído sustentaram seu modelo de mitigação de erros, segundo os pesquisadores.
Um segundo experimento reuniu a IBM e a empresa finlandesa de software quântico Algorithmiq. Ele também examinou dinâmicas de Ising acionadas, mas utilizou uma formulação computacional e um método de mitigação distintos.
À medida que o sistema modelado crescia, os métodos clássicos comparados supostamente deixaram de concordar entre si. As estimativas quânticas mitigadas permaneceram consistentes em pontos de verificação onde a equipe ainda conseguia testá-las.
Esse padrão não prova automaticamente que a resposta quântica está correta em todas as escalas maiores. Ele oferece aos pesquisadores um caminho de extrapolação baseado na convergência observada antes que os cálculos clássicos se tornem pouco confiáveis.
O terceiro experimento, conduzido com pesquisadores da University of Chicago, utilizou um método de verificação mais estrutural. A equipe começou com circuitos formados por portas Clifford, operações quânticas que computadores clássicos conseguem simular eficientemente.
Os pesquisadores então introduziram portas T, que adicionam operações não Clifford e rapidamente elevam o custo da simulação clássica. Esse projeto permitiu que passassem gradualmente de um circuito eficientemente testável para um circuito classicamente difícil.
A característica importante era a continuidade. Os pesquisadores puderam estudar como o método de mitigação se comportava ao aumentar o número de operações difíceis, em vez de saltar diretamente para um circuito impossível de verificar.
Em conjunto, os experimentos visam três sinais distintos de confiança: concordância com um supercomputador, consistência entre métodos de mitigação e uma construção de circuito com um caminho testável para um território mais difícil.
Os estudos utilizaram a arquitetura supercondutora Heron R3 de 156 qubits da IBM. A IBM relatou uma taxa mediana de erro de duas portas quânticas de 1,17 vezes 10 elevado a menos três para essa geração de processadores.
Essa qualidade de hardware é relevante porque portas de dois qubits geram grande parte do erro acumulado em circuitos quânticos profundos. A IBM também relatou que 57 dos 176 acoplamentos do Heron R3 produziram menos de um erro a cada 1.000 operações.
Esses números descrevem o desempenho do dispositivo, não a vantagem em aplicações. Os três experimentos ainda dependem de seus algoritmos, pressupostos sobre ruído, processamento estatístico e comparações clássicas.
A distinção é crucial. Um hardware melhor tornou esses testes possíveis, mas a vantagem alegada vem do fluxo de trabalho computacional completo.
Por Que Resultados Quânticos Verificáveis Importam Mais do Que uma Manchete de Velocidade
Um resultado quântico tem valor científico limitado se ninguém consegue estabelecer se a máquina calculou a resposta correta.
Processadores quânticos operam por meio de distribuições de probabilidade, e não de sequências determinísticas de bits. Os pesquisadores executam um circuito muitas vezes, coletam medições e estimam, a partir dessas amostras, a quantidade que desejam.
O ruído complica o processo. Qubits podem perder seu estado, portas podem introduzir rotações indesejadas, componentes vizinhos podem interferir e as medições podem interpretar incorretamente o valor final.
A correção completa de erros quânticos oferece a resposta de longo prazo. Ela distribui um qubit lógico por muitos qubits físicos, para que erros possam ser detectados e corrigidos durante um cálculo.
O Heron R3 não é uma grande máquina tolerante a falhas. Em vez disso, os experimentos usam mitigação de erros, que estima um resultado mais limpo a partir de dados ruidosos e medições de calibração de apoio.
A mitigação traz seu próprio custo. Ela pode exigir mais execuções de circuitos, mais processamento estatístico ou pressupostos sobre como o ruído se comporta. Essas exigências podem consumir a economia de recursos que criou uma vantagem aparente.
Portanto, uma comparação crível deve considerar todo o fluxo de trabalho. Isso inclui preparação de circuitos, tempo de execução do processador, amostragem, mitigação e pós-processamento.
Também deve comparar métodos clássicos robustos. Superar um algoritmo antigo em hardware caro diz pouco se uma técnica moderna de GPU resolve a mesma tarefa rapidamente.
A IBM reconheceu esse alvo móvel por meio de seu Advantage Tracker aberto. O projeto permite que pesquisadores enviem candidatos quânticos, respostas clássicas e benchmarks atualizados.
O histórico do rastreador ilustra o risco. Um experimento de circuitos com picos em hardware da IBM foi inicialmente concluído em menos de 12 minutos, enquanto estimativas clássicas se aproximavam de quatro meses.
Novos métodos clássicos mais tarde reduziram simulações relacionadas para algo entre aproximadamente uma hora e segundos. Essa reversão eliminou a separação anterior de tempo de execução.
Isso não é evidência de que a vantagem quântica seja impossível. Mostra por que um anúncio não pode encerrar a questão permanentemente.
Os três novos experimentos tentam melhorar o processo ao incluir validação no próprio projeto de pesquisa. Em vez de pedir aos leitores que confiem em uma resposta inacessível, as equipes fornecem verificações intermediárias ou garantias matemáticas.
Na colaboração com a Qedma, múltiplos sistemas e ruído deliberadamente variado fornecem evidências de que a resposta corrigida não vem de uma única calibração favorável.
No trabalho da Algorithmiq, a consistência é examinada à medida que as abordagens clássicas começam a divergir. Na colaboração de Chicago, a estrutura do circuito oferece uma rota da verificação clássica fácil para instâncias mais difíceis.
Cada método aborda um modo de falha diferente. Nenhum elimina a possibilidade de uma resposta clássica mais forte.
A alegação mais defensável é que as equipes produziram candidatos testáveis à vantagem quântica. Esses candidatos agora precisam de escrutínio independente, linhas de base clássicas aprimoradas e revisão por pares.
Esse enquadramento também explica por que esses resultados importam para empresas. Um usuário comercial não precisa de uma máquina que vence uma disputa abstrata de velocidade enquanto retorna um número impossível de verificar.
Uma equipe de química precisa de confiança de que uma energia estimada corresponde a um estado molecular real. Um usuário de otimização precisa de evidências de que uma solução proposta supera as alternativas disponíveis sob limites de recursos comparáveis.
A verificação transforma uma saída de laboratório em algo que outro cientista pode avaliar. É a ponte entre um comportamento quântico incomum e um resultado que sustenta uma decisão.
Heron R3 Pressiona Solucionadores Clássicos, Não a Computação de Uso Geral
Os experimentos da IBM pressionam métodos especializados de simulação clássica, mas não ameaçam a computação convencional como um todo.
Os computadores clássicos continuam essenciais em todo experimento. Eles preparam circuitos, selecionam parâmetros, analisam medições, estimam erros e avaliam regiões que permanecem computacionalmente acessíveis.
Portanto, o oponente relevante não é o mercado de CPUs ou GPUs. É o melhor fluxo de trabalho exclusivamente clássico para a quantidade científica exata que está sendo calculada.
Esse limite mantém estreita a alegação de vantagem quântica da IBM. As equipes não estão mostrando que o Heron R3 pode substituir um supercomputador em modelagem climática, processamento de bancos de dados, inteligência artificial ou software empresarial padrão.
Elas visam sistemas quânticos que se tornam caros de representar classicamente. Um simulador clássico geralmente acompanha informações que crescem exponencialmente com o número de qubits entrelaçados.
Métodos especializados podem comprimir essa representação quando um circuito ou sistema físico possui uma estrutura favorável. Redes tensoriais, reduções por simetria, representações esparsas e aproximações específicas do problema podem ampliar substancialmente o alcance clássico.
A disputa resultante depende do problema. Um processador quântico pode liderar em uma família de circuitos e perder por ampla margem em uma tarefa ligeiramente diferente.
Outras pesquisas de 2026 sobre o Heron R3 reforçam essa ressalva. Um estudo de otimização testou um fluxo de trabalho quântico sequencial híbrido em 20 instâncias de otimização binária de ordem superior.
Uma única tentativa híbrida produziu soluções de alta qualidade em menos de um segundo e alcançou a energia do estado fundamental desejada em 14 casos. Ela competiu com solucionadores clássicos que utilizavam 128 CPUs virtuais ou oito GPUs Nvidia A100.
No entanto, um solucionador aprimorado de têmpera paralela e um método acelerado por GPU igualaram ou superaram os resultados quânticos em comparações importantes. Os pesquisadores explicitamente evitaram alegar domínio universal.
Outro estudo de estado fundamental utilizou um algoritmo de diagonalização quântica de Krylov baseado em amostras em um problema de 49 qubits. O fluxo de trabalho quântico superou heurísticas padrão de interação de configuração selecionada escolhidas como suas referências iniciais.
Posteriormente, pesquisadores desenvolveram dois solucionadores iterativos clássicos especializados capazes de resolver o problema construído. O resultado continuou significativo em relação aos métodos originais prontos para uso, mas não em relação a todas as abordagens clássicas possíveis.
Esses exemplos capturam a verdadeira dinâmica competitiva. O hardware quântico expõe uma região computacional, e então pesquisadores clássicos procuram estruturas ignoradas.
Às vezes, a resposta clássica elimina a diferença. Às vezes, o método quântico mantém uma vantagem de precisão, custo ou tempo de execução. Frequentemente, a resposta depende de quais recursos a comparação inclui.
As melhorias do Heron da IBM aumentam a pressão porque uma fidelidade de portas maior permite circuitos mais profundos antes que o ruído destrua informações úteis. A execução mais rápida também aumenta o número de medições que os pesquisadores podem coletar em uma janela prática.
A IBM afirmou que o Heron R3 atingiu 330.000 operações de camada de circuito por segundo, ou CLOPS, em toda a sua frota. CLOPS mede a rapidez com que um sistema consegue executar repetidamente circuitos quânticos parametrizados com interações clássicas de apoio.
A empresa também afirmou que seu experimento de utilidade atualizado poderia ser executado em menos de 60 minutos, mais de 100 vezes mais rápido do que sua versão de 2023. Esses ganhos ampliam a região em que pesquisadores podem testar algoritmos úteis.
Ainda assim, velocidade e fidelidade não resolvem a comparação em nível de sistema. A mitigação de erros pode adicionar uma sobrecarga substancial de amostragem, enquanto solucionadores clássicos se beneficiam de código otimizado e hardware acelerador maduro.
Os três experimentos importam porque enquadram a vantagem de várias maneiras. A definição da IBM inclui maior eficiência, menor custo ou maior precisão do que abordagens exclusivamente clássicas.
Essa definição mais ampla corresponde à forma como sistemas de computação são adquiridos. Um acelerador quântico não precisa substituir todos os componentes clássicos se melhorar uma etapa cara dentro de um fluxo de trabalho maior.
A IBM há muito descreve processadores quânticos como aceleradores dentro da supercomputação centrada em computação quântica. Nesse modelo, um sistema clássico orquestra a aplicação e envia cálculos selecionados a uma unidade de processamento quântico.
Isso se assemelha mais ao papel das GPUs do que à substituição de um data center. A questão importante é se o componente quântico contribui com valor verificado suficiente para justificar seu custo e complexidade.
Para desenvolvedores e compradores corporativos, o novo trabalho é, portanto, um sinal de maturidade da pesquisa, não um prazo imediato para migração. Pilhas gerais de aplicações continuarão sendo executadas em infraestrutura clássica.
Equipes que trabalham com química quântica, modelagem de materiais ou física de muitos corpos têm mais motivos para prestar atenção. Suas cargas de trabalho contêm as estruturas que esses experimentos estão começando a testar.
A Lacuna de Verificação Diminuiu, Mas Não Desapareceu
Os artigos oferecem verificações mais fortes, mas a expressão “vantagem quântica verificada” continua provisória até que desafios independentes não consigam refutá-la.
A primeira limitação é o status de publicação. Os artigos experimentais apareceram inicialmente como preprints, permitindo inspeção pública rápida, mas antecedendo a revisão formal por pares.
Preprints são normais em física e ciência da computação de rápida evolução. Eles também colocam mais responsabilidade sobre os leitores para examinar escolhas de benchmarks, confiança estatística e detalhes de implementação.
A segunda limitação é a seleção de referências clássicas. Nenhuma equipe de pesquisa pode provar que um algoritmo clássico ainda não descoberto jamais resolverá um benchmark de forma mais eficiente.
Pesquisadores podem comparar com os melhores métodos que conhecem e convidar especialistas a aprimorá-los. A alegação se fortalece à medida que desafiantes mais capazes não conseguem superá-la.
O cientista pesquisador principal da IBM, Abhinav Kandala, descreveu abertamente esse vai e vem como parte do processo científico. Essa posição é mais crível do que apresentar os experimentos como um caso encerrado.
A terceira limitação diz respeito à mitigação de erros. Uma estimativa mitigada não equivale a um resultado tolerante a falhas protegido durante todo o cálculo.
A mitigação pode ampliar a incerteza estatística quando pesquisadores removem matematicamente o ruído. Um valor reportado deve incluir dados suficientes para mostrar que sua vantagem resiste a essas incertezas.
O ruído também pode variar ao longo do tempo. Um modelo de mitigação calibrado em um momento pode se ajustar menos bem ao hardware após mudanças nas condições ambientais ou nas calibrações do dispositivo.
O experimento da Qedma responde a isso usando sistemas e níveis de ruído diferentes. Isso aumenta a confiança de que o método captura algo reproduzível, em vez do comportamento acidental de um único dispositivo.
A reprodução entre plataformas ainda exige interpretação cuidadosa. Os sistemas da IBM e da Quantinuum utilizam arquiteturas de hardware, conjuntos de portas e perfis de erro diferentes.
Um resultado físico compartilhado é valioso, mas os pesquisadores precisam estabelecer que o pré-processamento e a mitigação não impuseram a consistência desejada. Métodos detalhados e dados abertos moldarão essa avaliação.
A quarta limitação é a utilidade. Modelos de Ising acionados e circuitos de portas projetados são cientificamente significativos, mas não são demonstrações diretas de uma aplicação industrial lucrativa.
Eles funcionam como blocos de construção e testes de estresse. O sucesso mostra que um fluxo de trabalho quântico pode entrar em uma região classicamente difícil mantendo evidências de correção.
Passar desse resultado para descoberta de medicamentos, projeto de baterias, logística ou otimização financeira exige trabalho adicional. Aplicações reais introduzem restrições, entradas incertas e exigências de desempenho ausentes em benchmarks controlados.
A quinta limitação é a contabilidade econômica. A IBM define vantagem em parte pelo custo, mas os relatórios públicos sobre esses experimentos não oferecem uma comparação completa de custos comerciais.
Acesso à nuvem, utilização do processador, calibração, amostragem repetida, tempo de supercomputador e esforço dos pesquisadores afetam a economia. Sem uma contabilidade comparável, alegações de menor custo devem continuar prospectivas.
Os experimentos são mais convincentes quando enquadrados em torno do alcance computacional e da qualidade das respostas. São menos conclusivos como evidência de retornos empresariais de curto prazo.
A história sustenta essa cautela. O resultado de circuitos aleatórios do Google em 2019 foi uma conquista importante de hardware, embora equipes clássicas tenham posteriormente reduzido a carga de simulação ao explorar algoritmos e hardware melhores.
A própria IBM divulgou uma reversão semelhante em circuitos com picos. Uma tarefa clássica estimada em quatro meses acabou sendo reduzida a segundos com técnicas mais recentes.
Essa abertura fortalece o anúncio atual porque a IBM não pode alegar de forma plausível que um benchmark permanecerá invicto. Ela também eleva o padrão que os três experimentos precisam atingir.
Uma vantagem duradoura exige definições transparentes de circuitos, dados de medição acessíveis, referências clássicas robustas e replicações independentes. Os pesquisadores também deveriam informar o consumo total de recursos, não apenas o tempo do processador quântico.
Os leitores devem resistir a dois erros opostos. O primeiro é tratar os experimentos como prova de que a computação quântica útil e tolerante a falhas chegou.
O segundo é descartar toda vantagem temporária porque um algoritmo clássico pode melhorar. O progresso científico frequentemente vem de expor uma fronteira, observar concorrentes atacá-la e medir como essa fronteira se move.
A IBM e seus parceiros produziram três testes de fronteira com estratégias de verificação excepcionalmente explícitas. Se eles se tornarão marcos duradouros depende do que acontecerá após a publicação.
O Que Vem a Seguir para a Vantagem Quântica da IBM
Três sinais determinarão se as alegações da IBM marcam uma liderança computacional duradoura ou outra entrada temporária no ciclo de benchmarks da computação quântica.
O primeiro sinal é a resposta clássica aos três preprints. Grupos independentes examinarão se métodos de redes tensoriais, exploração de simetrias, melhorias de amostragem ou formulações alternativas conseguem reproduzir os resultados com eficiência.
Uma correspondência clássica rápida enfraqueceria a alegação ampla de vantagem. Isso não apagaria a conquista de hardware nem o valor das técnicas de verificação.
Se várias equipes fortes não conseguirem eliminar a diferença, o argumento se torna mais convincente. A qualidade dessas tentativas importa mais do que o número de manchetes favoráveis.
O quantum tracker da IBM oferece um espaço para esse processo. Seu valor depende de submissões detalhadas, comparações reproduzíveis e revisões visíveis quando um desafiante obtém sucesso.
O segundo sinal é a replicação independente em diferentes hardwares. O primeiro experimento já inclui sistemas IBM e Quantinuum, segundo relatos da apresentação de julho.
Pesquisadores fora das colaborações originais devem reproduzir as quantidades centrais com suas próprias calibrações e análises. Uma replicação bem-sucedida reduziria a preocupação com pressupostos específicos de fornecedores.
A concordância entre plataformas também tornaria os métodos de mitigação de erros mais úteis. Uma técnica que funciona apenas em uma configuração de processador tem menor alcance científico e comercial.
A falha em replicar não identificaria a causa imediatamente. As diferenças poderiam surgir de ruído, compilação de circuitos, orçamentos de amostragem ou conectividade de hardware.
É por isso que as equipes precisam publicar os dados intermediários. Um número final corrigido, por si só, não consegue mostrar onde duas implementações divergiram.
O terceiro sinal é a transição de benchmarks de física para cargas de trabalho semelhantes a aplicações. Química e ciência dos materiais são candidatas prováveis porque sua estrutura quântica se mapeia naturalmente para processadores quânticos.
A IBM e a RIKEN já combinaram um processador Heron com o supercomputador Fugaku para calcular propriedades eletrônicas de moléculas de ferro-enxofre. Esse fluxo de trabalho de química utilizou recursos quânticos e clássicos em conjunto, em vez de declarar um sistema como substituto do outro.
Trabalhos futuros devem mostrar que uma contribuição quântica melhora uma decisão científica. Exemplos incluem distinguir estados moleculares candidatos, estimar uma propriedade de material ou resolver uma via de reação além da precisão clássica disponível.
A mesma exigência se aplica à otimização. Um benchmark deve incluir pré-processamento, acesso ao processador, tentativas repetidas, pós-processamento e comparação com solucionadores modernos de CPU e GPU.
O benchmark de otimização de 2026 fornece um modelo útil porque reporta o tempo completo do fluxo de trabalho e reconhece métodos clássicos que continuam mais rápidos.
Para equipes corporativas, este é o momento certo para desenvolver disciplina de avaliação, em vez de elaborar planos de compra com base em uma manchete. Acompanhe o problema exato, o método de verificação, a referência clássica e o orçamento total de recursos.
Profissionais do conhecimento que cobrem a área enfrentam um desafio relacionado. Alegações quânticas abrangem artigos, atualizações de benchmarks, métricas de hardware e refutações clássicas que podem reverter a narrativa em poucas semanas.
Uma base de conhecimento estruturada pode ajudar equipes a conectar cada alegação aos desafios posteriores. Isso é mais útil do que arquivar anúncios isolados sem suas revisões.
A história da vantagem quântica da IBM deve, portanto, ser tratada como um registro ativo de pesquisa. Seu significado mudará à medida que grupos independentes testarem os métodos e publicarem comparações melhores.
O resultado imediato não é uma vitória quântica universal. É uma forma mais robusta de argumentar que um sistema quântico ruidoso produziu uma resposta difícil e confiável.
Essa diferença é importante. A separação computacional bruta pode desaparecer após um novo avanço clássico. Uma estrutura de verificação transparente continua útil mesmo quando a liderança muda.
A IBM deslocou a disputa de “nosso processador executou um circuito enorme” para “veja por que os pesquisadores devem confiar no resultado”. Essa mudança aproxima a computação quântica da utilidade científica.
Ela também torna a próxima fase menos glamourosa e mais decisiva. Equipes independentes precisam reproduzir as medições, desafiar as referências clássicas e expor os custos completos de recursos.
Se os três resultados sobreviverem a esse processo, a IBM terá um caso convincente de vantagem quântica verificada em tarefas específicas. Caso contrário, os avanços clássicos resultantes definirão uma meta mais precisa.
Qualquer um dos resultados beneficia o setor. A questão agora não é se a IBM deu a palavra final, mas se suas evidências podem resistir aos desafiantes que ela convidou.


