Pesquisadores desenvolvem testes de verificação incondicionais para vantagem de amostragem quântica usando correlações de bit único e pares, com provas verificadas por máquina em Lean 4 e caminhos identificados em direção à solidez completa.
@informaq-pt.bsky.social