Vou abrir a página do Alex May e checar a literatura relacionada para ancorar a lista só em problemas reconhecidos.
Quatro problemas passam no critério (resolvidos, mudariam os fundamentos da física). A ordem, por alcance, é julgamento meu. O conteúdo de cada item vem da literatura. A linha de May é informação quântica aplicada à gravidade quântica, com ênfase em computação quântica não-local.
**1. O espaço-tempo emerge do emaranhamento? E isso vale no nosso universo?**
Van Raamsdonk liga a conectividade clássica do espaço-tempo ao emaranhamento de uma descrição não perturbativa. ER=EPR identifica pontes de Einstein–Rosen com correlações do tipo EPR entre microestados. O teorema da cunha conectada (May–Penington–Sorce) liga a causalidade no bulk ao emaranhamento na fronteira. Tudo isso vive em AdS/CFT. Para de Sitter, que descreve um universo com constante cosmológica positiva, ainda falta um arcabouço completo. O próprio May trabalha em AdS por ser o cenário preciso, mirando o universo real.
**2. Unitaridade e o interior dos buracos negros**
Wormholes de réplica corrigem a entropia de Hawking e a tornam compatível com a unitaridade, em modelos com AdS. Segue em aberto se o interior é "vazio" ou tem firewalls: Raju reduz a pergunta à consistência de reconstruções dependentes do estado. Akers et al. propõem códigos não isométricos protegidos por complexidade. May e Xu relacionam colisões dentro do horizonte a computação não-local, com assinatura na informação mútua.
**3. A geometria do interior é complexidade computacional?**
Complexidade=Volume/Ação associa a complexidade do estado da fronteira a uma região do bulk, mas "Complexity=Anything" mostra uma classe inteira de duais igualmente viáveis. Decodificar a radiação de Hawking exige tempo exponencial na entropia (Harlow–Hayden), e Brakerski mostra equivalência existencial dessa dificuldade com primitivas de criptografia quântica. A conjectura do Python's lunch prevê reconstrução exponencial na diferença de áreas de superfícies extremais e continua sendo refinada. Os testes criptográficos de May–Pasterski–Waddell–Xu a apoiam, mas só foram provados em versões enfraquecidas, em AdS₃.
**4. Existe limite físico à computação em gravidade quântica?**
Bouland–Fefferman–Vazirani concluem que ou o dicionário AdS/CFT é exponencialmente complexo, ou a tese de Church–Turing quântica estendida é falsa em gravidade quântica. Kubicki–May–Pérez-García mostram que certas computações em n qubits não cabem em buracos negros com entropia abaixo de O(2ⁿ). May conjectura que a complexidade controla o custo de emaranhamento da computação não-local, o que limitaria a complexidade a algo polinomial na área. Esse custo é pouco caracterizado, e caracterizá-lo implicaria avanços em teoria da complexidade.
O item 4 é o mais próximo da fronteira do critério. Ficaram de fora, por não terem calibre Nobel por si sós, as cotas de emaranhamento em computação não-local, a segurança da verificação de posição e os esquemas de compartilhamento de emaranhamento.
**Fontes:**
1: [Van Raamsdonk](https://arxiv.org/abs/1005.3035) · [Maldacena–Susskind](https://arxiv.org/abs/1306.0533) · [May–Penington–Sorce](https://arxiv.org/abs/1912.05649) · [May et al. 2024](https://arxiv.org/abs/2404.15400) · [de Sitter](https://arxiv.org/abs/2306.10141) · [Kubicki et al.](https://arxiv.org/abs/2304.09900)
2: [Réplicas](https://arxiv.org/abs/1911.12333) · [Raju](https://arxiv.org/abs/2012.05770) · [Akers et al.](https://arxiv.org/abs/2207.06536) · [May–Xu](https://arxiv.org/abs/2304.11184)
3: [Compl.=Ação](https://arxiv.org/abs/1509.07876) · [Compl.=Anything](https://arxiv.org/abs/2111.02429) · [Harlow–Hayden](https://arxiv.org/abs/1301.4504) · [Brakerski](https://arxiv.org/abs/2211.05491) · [Python's lunch](https://arxiv.org/abs/1912.00228) · [Refinamento](https://arxiv.org/abs/2308.16226) · [Testes criptográficos](https://arxiv.org/abs/2411.10527)
4: [Bouland et al.](https://arxiv.org/abs/1910.14646) · [May 2022](https://arxiv.org/abs/2204.00908) · [Cleve–May](https://arxiv.org/abs/2602.00255) · [Bluhm et al.](https://arxiv.org/abs/2505.23893)
Perfil: [Perimeter Institute](https://perimeterinstitute.ca/people/alex-may)
