Resumo Técnico: QuantumMind – Raciocínio Agêntico Baseado em Restrições para Análise de Aceleração em Computação Quântica

Definição do Problema

Identificar um ganho de velocidade quântica significativo exige mais do que apenas associar um problema clássico a um primitivo quântico familiar. Uma alegação válida deve preservar a tarefa original, respeitar modelos específicos de acesso e saída, expor promessas necessárias e permanecer dentro de um escopo de complexidade defensável. As abordagens atuais baseadas em IA para descoberta científica frequentemente geram propostas fluentes, mas estruturalmente inválidas, onde um modelo pode realizar uma correspondência local com um primitivo enquanto altera inadvertidamente a tarefa, assume acesso coerente indisponível ou oculta ônus computacionais dentro de um oráculo.

Existe uma carência de um teste de aceitação simples e automatizado para análise de aceleração quântica que impeça modelos generativos de autorizarem suas próprias conclusões. Benchmarks existentes para geração de código quântico mostram que programas plausíveis podem ser semanticamente incorretos, e agentes de pesquisa produzem artefatos polidos que falham sob critérios objetivos ou de replicação. O desafio central é expandir o espaço de busca para hipóteses de aceleração quântica enquanto se delimita estritamente o que pode ser reivindicado como válido.

Metodologia: QuantumMind

Os autores propõem o QuantumMind, um fluxo de trabalho agêntico auditável que separa a geração de propostas tipadas da autorização determinística de alegações. O sistema opera em uma base "relativa à representação", avaliando candidatos contra fatos públicos de problemas serializados, um registro curado e escopos declarados, em vez de depender de provas externas de correção algorítmica.

1. Plano de Proposta Tipada

O sistema utiliza um único estado tipado compartilhado ($S$) em vez de diálogo livre entre agentes. Um orquestrador determinístico executa uma sequência fixa de nove ações especializadas:

• Formalização: Acrescenta ambiguidades à especificação da tarefa pública sem reescrever a declaração central.
• Análise de Estrutura: Identifica estruturas de tarefas e gargalos clássicos.
• Correspondência de Primitivos: Corresponde a tarefa a um registro de primitivos quânticos (ex: Grover, Shor, HHL) vinculado a fontes e seus requisitos.
• Avaliação de Barreiras e Arte Prévia: Avalia custos não resolvidos (ex: construção de oráculo) e novidade.
• Geração e Revisão de Esquemas: Constrói esquemas candidatos e realiza verificações de consistência.

Cada ação possui um esquema de saída estrito, uma lista branca de contexto legível e uma política de atualização determinística. Os agentes podem propor estruturas e correspondências, mas não podem alterar os campos imutáveis da tarefa pública ou sobrepor o veredito final.

2. Autorização Baseada em Registro

Um candidato só é considerado plausível se satisfizer três predicados de compatibilidade contra um registro de primitivos:

• Seleção: O primitivo deve ter uma classe de aceleração e escopo definidos.
• Compatibilidade de Modelo: O modelo de acesso, o contrato de saída e as promessas da tarefa devem corresponder aos requisitos do primitivo.
• Estrutura: A tarefa deve exibir as propriedades estruturais exigidas.

Após a fase de proposta, um validador determinístico de dez verificações (B1–B10) atribui um veredito autoritativo. Estas verificações verificam a unicidade da seleção, certificados assintóticos, conformidade do modelo da tarefa, status de barreira, limites de escopo, novidade e isolamento do avaliador. O veredito é estritamente um de: Inválido, Negativo, Condicional ou Positivo. Apenas um veredito Positivo retém o escopo do candidato; todos os outros assumem o valor Nenhum.

3. QAEG e Tela de Pesquisa de Direção Única para Baixo

• Grafo de Evidência de Aceleração Quântica (QAEG): Após o fluxo de trabalho, um sidecar determinístico compila um grafo expondo a estrutura de dependência entre os fatos da tarefa, os requisitos do registro e as alegações. Cinco verificações rígidas de grafo (G1–G5) auditam a integridade desta estrutura de suporte.
• Tela de Pesquisa de Direção Única para Baixo: Uma tela final classifica a execução com base no alinhamento de saída, upgrades de acesso, construção de oráculo e status de linha de base. Crucialmente, esta tela só pode rebaixar ou adiar uma execução (ex: marcando-a como "Reformular" ou "Revisão de Especialista"); ela não pode elevar um veredito ou escopo.

4. Métrica de Avaliação: Pontuação de Descoberta Aberta (ODS)

O desempenho é medido usando uma Pontuação de Descoberta Aberta (ODS) congelada. Esta pontuação agrega classificações de revisores sobre validade técnica, auditabilidade epistêmica e utilidade de pesquisa, ponderadas por um prior determinístico baseado na disposição do sistema (ex: Inválido, Negativo, Positivo) e no status de auditoria do grafo. O ODS penaliza textos fluentes que carecem de um estado de grafo válido ou de uma alegação aceita.

Principais Contribuições

1. Formalização da Geração de Hipóteses Escopadas: O artigo formaliza a análise de aceleração quântica como um processo onde um candidato é autorizado apenas quando sua estrutura, acesso, saída, promessas, certificado de complexidade, barreiras e escopo de arte prévia satisfazem obrigações explícitas do registro.
2. A Arquitetura QuantumMind: Introduz um sistema que desacopla a geração de propostas agênticas tipadas da autorização determinística de alegações, auditoria de grafo de evidência e tela de pesquisa de direção única para baixo.
3. Avaliação Pareada de Descoberta Aberta: Os autores constroem uma avaliação rigorosa sobre 582 tarefas idênticas e sete controles adaptados à tarefa (incluindo prompting direto, autoconsistência, estilo ReAct e diálogo proponente-crítico).

Resultados

Avaliado contra sete baselines em 582 tarefas de descoberta aberta, o QuantumMind demonstra superioridade significativa na produção de estados cientificamente bem formados:

• Desempenho Geral: O QuantumMind atinge um ODS médio de 53,1, excedendo o baseline mais forte (Autoconsistência, 35,8) em 17,3 pontos (uma melhoria relativa de 48,2%).
• Vitórias por Tarefa: Ele vence 355 de 582 tarefas pareadas contra o baseline mais forte, empata em 98 e perde em 129. Ele ocupa o primeiro lugar em todas as sete famílias de tarefas (Busca, Estimativa, Grafo, Contagem, Backtracking, Caminhada Quântica, Minimização).
• Auditabilidade: O QuantumMind passa na auditoria de grafo em 99,8% das tarefas, comparado a 43,6% para o baseline mais forte.
• Validade da Alegação: Alcança uma taxa de alegação aceita de 66,0%, enquanto o baseline mais forte alcança apenas 0,2%.
• Taxas de Erro: O sistema mantém uma taxa de EstadoInválido de 0,2%, comparado a 56,4–99,7% dos controles.

Os resultados indicam que a lacuna de desempenho é impulsionada não pela "geração fluente" (as pontuações dos revisores sobre validade técnica foram semelhantes entre os sistemas), mas pela produção de estados auditáveis e consistentes com o validador.

Significância e Alegações

O artigo afirma que as transições de estado tipado e o controle de evidência determinística contribuem além da geração fluente sozinha. Ao separar a expansão do espaço de candidatos (tratada pelo modelo generativo) da restrição do que pode ser reivindicado (tratada por mecanismos determinísticos), o QuantumMind cria uma "arquitetura de confiança assimétrica".

Os autores enfatizam que seu sistema não substitui a prova formal, a análise de recursos em nível de implementação ou a revisão de especialistas. Em vez disso, fornece um mecanismo de suporte relativo à representação que garante que as hipóteses sejam estruturalmente consistentes com os fatos da tarefa pública e as obrigações do registro. A principal contribuição é um framework que impede agentes de IA de superestimar vantagens quânticas, garantindo que qualquer aceleração proposta seja rigorosamente limitada por modelos de acesso, contratos de saída e barreiras não resolvidas antes de ser apresentada como uma hipótese válida.