El estado del programa en 2026: de la acción de Polyakov a la holografía, el paisaje de vacíos y las conjeturas del pantano. Diez simulaciones calculan los resultados que se citan, y el último capítulo propone una agenda de problemas abiertos formulados para investigarse con modelos de IA y verificarse.
La teoría de cuerdas sustituye las partículas puntuales por objetos extendidos de una dimensión. Cuantizar una cuerda relativista impone condiciones fuertes: el espacio-tiempo debe tener diez dimensiones en la versión supersimétrica, y el espectro de la cuerda cerrada contiene necesariamente una partícula de espín 2 sin masa cuyas interacciones a baja energía son las de la relatividad general. La gravedad no se agrega al modelo; aparece como consecuencia de la consistencia.
Cincuenta años después de su origen como modelo de la interacción fuerte, la teoría no tiene una predicción contrastada a energías accesibles, y el trabajo se ha desplazado hacia cuatro frentes: la holografía, que la usa para definir gravedad cuántica en espacios anti-de Sitter; el bootstrap de amplitudes, que pregunta si la amplitud de cuerdas es la única compatible con ciertos principios; el programa del pantano, que busca las condiciones que distinguen una teoría efectiva con completación gravitatoria de una que no la tiene; y la construcción explícita de vacíos con bases de datos geométricas y cómputo masivo.
Este estudio recorre el aparato formal en el orden en que se construye, con los resultados de 2024 a 2026 en cada tema. Cada figura resuelve su propio cálculo en el navegador y la sección 11 contrasta esos cálculos con valores exactos o publicados. El capítulo 10 reúne lo que los modelos de IA han hecho efectivamente en física teórica y propone problemas en los que su contribución se puede certificar.
Una cuerda que se mueve en un espacio-tiempo de D dimensiones barre una superficie, la hoja de mundo, parametrizada por (τ, σ). La acción más simple es proporcional a su área, con una tensión T que define la única escala de la teoría, la longitud ℓs = √α′:

La raíz cuadrada de Nambu-Goto dificulta la cuantización. Polyakov introduce una métrica auxiliar γab en la hoja de mundo; al eliminarla con su ecuación de movimiento se recupera la acción de área. La acción de Polyakov es invariante bajo reparametrizaciones y bajo transformaciones de Weyl γ → e2ωγ, y esas tres simetrías locales permiten fijar γab = ηab. En ese gauge las ecuaciones de movimiento son ecuaciones de onda libres, pero sujetas a que el tensor de energía-momento de la hoja de mundo se anule:
Para la cuerda cerrada, X(σ + 2π) = X(σ), la solución general separa modos que viajan hacia la izquierda y hacia la derecha:
Los modos de Fourier de los vínculos son los generadores de Virasoro Ln. En el gauge de cono de luz, X+ = x+ + α′p+τ, los vínculos se resuelven explícitamente para X− y solo quedan D − 2 coordenadas transversales como grados de libertad físicos. La combinación L0 − L̃0 = 0 impone el emparejamiento de niveles: la excitación total de los modos izquierdos debe igualar a la de los derechos, N = Ñ.
Cuánticamente, los Ln forman el álgebra de Virasoro con carga central c. Es la estructura que ordena el resto de la teoría: la dimensión crítica, el espectro y la consistencia de las amplitudes dependen de ella.
Al ordenar normalmente los osciladores de L0 aparece la energía de punto cero de D − 2 osciladores transversales por cada modo n, una suma divergente ((D − 2)/2) Σ n. La divergencia se trata con un regulador físico: se suprimen los modos de frecuencia alta con un factor e−εn y se estudia el límite ε → 0.
El término 1/ε² depende del regulador y corresponde a un término de constante cosmológica en la hoja de mundo, que rompería la invariancia de Weyl; se cancela con un contratérmino local. Lo que sobrevive es la parte finita, −1/12, que coincide con el valor de la continuación analítica ζ(−1). La simulación del lado suma la serie término a término y muestra que ese finito no es un artificio de la continuación: es lo que queda al quitar el polo.
Así, la masa de un estado de nivel N en la cuerda abierta es α′M² = N − a con a = (D − 2)/24. En el gauge de cono de luz la invariancia de Lorentz no es manifiesta; exigir que el conmutador [Ji−, Jj−] se anule (Goddard, Goldstone, Rebbi y Thorn, 1973) fija a = 1 y D = 26.
En la cuantización covariante el mismo número aparece como anomalía conforme: las D coordenadas aportan carga central D, los fantasmas de Faddeev-Popov b, c aportan −26, y la simetría de Weyl sobrevive a la cuantización solo si la suma es cero. Con supersimetría en la hoja de mundo, cada coordenada aporta 3/2 y el sistema de fantasmas −15, de donde sale la dimensión de la supercuerda.
La serie diverge y no tiene suma en el sentido usual. Lo que la física usa es la parte finita e independiente del regulador de una cantidad regulada, después de cancelar con un contratérmino local el término que viola una simetría. Es el mismo mecanismo que da la energía de Casimir entre dos placas.
El estado fundamental de la cuerda bosónica tiene M² < 0: es un taquión, señal de que ese vacío es inestable. En la supercuerda, la proyección GSO lo elimina. El primer nivel excitado de la cuerda abierta, α−1i|0⟩, tiene 24 estados y masa nula: son las polarizaciones de un bosón de gauge en 26 dimensiones.
En la cuerda cerrada, el nivel N = Ñ = 1 contiene los 24 × 24 = 576 estados α−1iα̃−1j|0⟩. Se descomponen en una parte simétrica sin traza, un gravitón; una antisimétrica, el campo de Kalb-Ramond Bμν; y la traza, el dilatón, cuyo valor esperado fija el acoplamiento de la cuerda.
El número de estados crece exponencialmente con el nivel. Con 24 osciladores transversales, la degeneración d(N) es el coeficiente de qN en Π(1 − qn)−24, la inversa de la función discriminante modular. El método del círculo da su comportamiento asintótico, y el crecimiento e4π√N implica una densidad de estados ρ(M) ~ e4π√α′M: por encima de la temperatura de Hagedorn la función de partición diverge.
Los estados de espín máximo en cada nivel satisfacen J = α′M² + 1: una trayectoria de Regge lineal, la relación entre espín y masa que llevó a proponer la cuerda como modelo de los hadrones en los años sesenta.
En 1968 Gabriele Veneziano buscó una amplitud de dispersión de cuatro mesones que tuviera polos en infinitas resonancias sobre trayectorias de Regge lineales y que fuera la misma vista desde el canal s o desde el canal t. La encontró como un cociente de funciones gamma. Dos años después, Yoichiro Nambu, Holger Bech Nielsen y Leonard Susskind entendieron, cada uno por su lado, que esa función describe la dispersión de cuerdas.



El residuo en el polo α(s) = n es un polinomio de grado n en t, lo que significa que en ese nivel se intercambian partículas de espín hasta n: una torre infinita de estados de espín alto. La amplitud es simétrica bajo s ↔ t sin sumar por separado los dos canales. Esa dualidad es el origen histórico de la teoría.
Su comportamiento a energía alta es inusual. A t fijo crece como sα(t); a ángulo fijo decae exponencialmente en s (Gross y Mende, 1987), mucho más rápido que cualquier teoría de campos. Esa blandura ultravioleta es la razón por la que las amplitudes de gravitones en teoría de cuerdas son finitas.
Para la cuerda cerrada, la amplitud de Virasoro-Shapiro tiene la misma estructura con los tres canales. Su desarrollo a baja energía reproduce el término de relatividad general y la primera corrección de cuerdas, con coeficiente 2ζ(3).
El programa del bootstrap invierte la pregunta: en lugar de derivar la amplitud de una cuerda, busca todas las funciones compatibles con unitariedad, causalidad, simetría de cruce y un espectro dado, y averigua dónde queda la de cuerdas.
Caron-Huot, Komargodski, Sever y Zhiboedov muestran que el intercambio de espines altos con acoplamiento débil fuerza trayectorias de Regge asintóticamente lineales y el comportamiento de Veneziano a energía alta.
Guerrieri, Penedones y Vieira acotan numéricamente los coeficientes de baja energía de amplitudes de gravitones en diez dimensiones; la supercuerda aparece cerca de un vértice del espacio permitido.
Cheung y Remmen construyen variaciones de la amplitud y estudian cuáles sobreviven; Arkani-Hamed, Cheung, Figueiredo y Remmen muestran que la factorización con muchas partículas las elimina; Cheung, Hillman y Remmen (2024) prueban que Veneziano es la única solución con blandura superpolinómica y una secuencia infinita de cancelaciones de espín alto.
Häring y Zhiboedov relacionan la blandura superpolinómica con el espín máximo del espectro, y Cheung, Remmen, Sciotti y Tarquini reducen las hipótesis necesarias para obtener amplitudes de cuerdas.
Los resultados de unicidad valen a nivel árbol y bajo hipótesis explícitas sobre el espectro y la blandura a energía alta. No son un teorema de que toda gravedad cuántica consistente sea una teoría de cuerdas.
Si una dimensión es un círculo de radio R, el momento en esa dirección se cuantiza como n/R, igual que para una partícula. Pero una cuerda cerrada además puede enrollarse w veces alrededor del círculo, y estirarla cuesta energía proporcional a wR/α′. La fórmula de masa queda:
El espectro es invariante bajo R → α′/R si al mismo tiempo se intercambian n y w. Las amplitudes también lo son: una teoría en un círculo grande es físicamente idéntica a otra en uno pequeño, y distancias por debajo de √α′ no tienen un significado operacional distinto de las de arriba.
En el radio autodual R = √α′ aparecen estados sin masa adicionales, con n = ±1, w = ±1 y un oscilador excitado, que completan los bosones de gauge de SU(2) × SU(2). Es el ejemplo más simple de simetría de gauge que emerge de la geometría en un punto especial del espacio de módulos.




Green y Schwarz muestran que la supercuerda de tipo I es libre de anomalías solo con grupo de gauge SO(32); la misma condición admite E8 × E8. Ambos tienen dimensión 496. Es el comienzo de la primera revolución de cuerdas.
Polchinski identifica los objetos donde terminan las cuerdas abiertas, que aparecen al aplicar T-dualidad a condiciones de Neumann, como estados solitónicos con carga de Ramond-Ramond.
Witten muestra que las cinco teorías de supercuerdas son límites de una sola teoría, y que el acoplamiento fuerte de la tipo IIA abre una undécima dimensión.
Strominger y Vafa cuentan los microestados de un agujero negro extremal supersimétrico construido con D-branas y reproducen exactamente la entropía de Bekenstein-Hawking, A/4G.
Para pasar de diez dimensiones a cuatro conservando una supersimetría, las seis restantes deben formar una variedad compacta Kähler con holonomía SU(3): una variedad de Calabi-Yau (Candelas, Horowitz, Strominger y Witten, 1985). Yau probó en 1978 que admiten una métrica Ricci-plana, pero no se conoce en forma explícita para ninguna variedad compacta. Solo se puede aproximar numéricamente.
La física de baja energía depende de la topología. El número de Hodge h1,1 cuenta las deformaciones de tamaño (módulos de Kähler) y h2,1 las de forma (módulos de estructura compleja). En la compactificación heterótica estándar, el número de generaciones de fermiones es |χ|/2.
La quíntica daría cien generaciones, muy lejos de las tres observadas; los modelos realistas usan otras construcciones. Los catálogos crecieron con el tiempo: 7.890 intersecciones completas en espacios proyectivos (Candelas, Dale, Lütken y Schimmrigk, 1988) y 473.800.776 politopos reflexivos en cuatro dimensiones (Kreuzer y Skarke, 2000), cada uno fuente de familias de hipersuperficies.



Simetría espejo. Las variedades Calabi-Yau aparecen en pares con h1,1 y h2,1 intercambiados que dan la misma física. En 1991, Candelas, de la Ossa, Green y Parkes usaron esa equivalencia para calcular, a partir de los periodos de la variedad espejo, el número de curvas racionales de cada grado en la quíntica: 2.875 rectas y 609.250 cónicas, cifras que los geómetras algebraicos confirmaron después. La física predijo resultados de geometría enumerativa que la matemática no sabía calcular.
La influencia sigue activa. En 2025, Katzarkov, Kontsevich, Pantev y Yu definieron «átomos de Hodge» a partir de invariantes de Gromov-Witten y los usaron para probar que la cuártica cúbica muy general no es racional, un problema abierto durante décadas. El trabajo está en proceso de verificación por la comunidad.
En 1997 Maldacena conjeturó que la supercuerda de tipo IIB en AdS5 × S5 es equivalente a la teoría de Yang-Mills supersimétrica N = 4 con grupo SU(N), una teoría de campos sin gravedad que vive en la frontera. El diccionario relaciona radio y acoplamiento, L⁴/α′² = g²N: la gravedad clásica es el límite de acoplamiento fuerte y N grande de la teoría de campos. Gubser, Klebanov, Polyakov y Witten dieron en 1998 la regla precisa para calcular correladores.
Ryu y Takayanagi (2006) propusieron que la entropía de entrelazamiento de una región A de la frontera es el área de la superficie mínima del interior anclada a su borde. En AdS3 esa superficie es una geodésica, y su longitud regulada reproduce la fórmula de Calabrese y Cardy para una teoría conforme en dos dimensiones.
Con dos intervalos A y B hay dos candidatos: las dos geodésicas separadas o las que cruzan los huecos entre ellos. Gana la más corta. Mientras domina la configuración separada, la información mutua I(A:B) = SA + SB − SAB es exactamente cero a orden dominante en 1/G; al pasar a la conectada crece de golpe (Headrick, 2010). Es una transición de fase geométrica que no tiene análogo en una teoría de campos débilmente acoplada.




La paradoja de la información. Si un agujero negro se forma a partir de un estado puro y se evapora, la entropía de la radiación debe subir y luego volver a cero. Page (1993) calculó ese comportamiento para un estado aleatorio: la entropía de un subsistema sigue la menor de las dos dimensiones. El cálculo semiclásico de Hawking, en cambio, da una entropía que crece sin límite.
En 2019, Penington y, en paralelo, Almheiri, Engelhardt, Marolf y Maxfield mostraron que extremizar la entropía generalizada incluyendo islas —regiones del interior del agujero negro que pasan a pertenecer a la radiación— reproduce la curva de Page dentro de la gravedad semiclásica. Las contribuciones de réplica que lo justifican son geometrías de agujero de gusano en la integral de camino.
Estas ideas reorganizaron la gravedad cuántica en torno a tres resultados recientes. Witten (2021) mostró que el álgebra de observables de un agujero negro, de tipo III1 en teoría de campos, pasa a tipo II∞ al incluir la primera corrección gravitatoria, lo que da una entropía bien definida. Chandrasekaran, Longo, Penington y Witten (2022) encontraron tipo II1 para de Sitter, con el espacio vacío como estado de entropía máxima. Y Saad, Shenker y Stanford (2019) mostraron que la gravedad de Jackiw-Teitelboim es dual a una integral de matrices.
No todo lo que se anuncia sobre el tema resiste revisión. El experimento de «teleportación por agujero de gusano» en un procesador cuántico (Jafferis et al., 2022) fue cuestionado por Kobrin et al. (2023), que mostraron que el hamiltoniano aprendido no termaliza y que la señal atribuida a gravedad aparece en modelos genéricos; los autores originales respondieron en 2025.
Una compactificación deja campos escalares sin potencial, los módulos, que describen el tamaño y la forma de las dimensiones extra. Si no se estabilizan, producen fuerzas de largo alcance que no se observan. Los flujos de campos de norma a través de ciclos de la variedad fijan los módulos de estructura compleja y el dilatón (Giddings, Kachru y Polchinski, 2002); los de Kähler requieren efectos no perturbativos.
Kachru, Kallosh, Linde y Trivedi (2003) propusieron un mecanismo en dos pasos. Con un superpotencial de flujo W₀ pequeño y una contribución no perturbativa, el módulo de volumen σ = Re T queda en un mínimo supersimétrico anti-de Sitter. Una anti-D3-brana en una garganta con alabeo suma una energía positiva D/σ² que lo levanta. Con los parámetros del artículo original, W₀ = −10−4, A = 1 y a = 0,1, la figura encuentra el mínimo en σ = 113,59 con V = −2,00 · 10−15 y comprueba que ahí DTW = 0.
El mínimo pasa a Minkowski con D = 2,59 · 10−11 y desaparece con D = 9,72 · 10−11, cuando el módulo rueda hacia volumen infinito. Entre ambos valores hay un de Sitter metaestable. El escenario de gran volumen (Balasubramanian, Berglund, Conlon y Quevedo, 2005) es la alternativa principal.
Demirtas, Kim, McAllister y Moritz construyen flujos con W₀ ≈ 2 · 10−8 en un orientifold con (h1,1, h2,1) = (2, 272), y con Rios-Tascon, vacíos supersimétricos AdS con |Λ| < 10−123 en unidades de Planck.
McAllister, Moritz, Nally y Schachner presentan 30 candidatos a vacíos de tipo KKLT en orientifolds explícitos, con la anti-D3 en la punta de una garganta de Klebanov-Strassler. Advierten que la estabilidad frente a correcciones subdominantes en α′ y gs sigue abierta.
Bena, Dudas, Graña y Lüst señalan inestabilidades de la subida; Gao, Hebecker y Junghans encuentran que el factor de alabeo se vuelve negativo en regiones del interior; Junghans argumenta que los de Sitter de gran volumen probablemente no son controlables.
El pantano. En lugar de construir vacíos, el programa iniciado por Vafa en 2005 busca propiedades que toda teoría efectiva con completación gravitatoria debería cumplir. Las principales:

DESI. Las oscilaciones acústicas de bariones del Dark Energy Spectroscopic Instrument prefieren una ecuación de estado que evoluciona, w(a) = w₀ + wₐ(1 − a) con w₀ > −1 y wₐ < 0: 2,6σ en la primera publicación (2024) y 3,1σ con BAO y CMB en la segunda (2025), entre 2,8σ y 4,2σ al agregar supernovas. Si se confirmara, un de Sitter exacto quedaría descartado como explicación, lo que es compatible con la conjetura.
Un campo con potencial exponencial V₀e−λφ es el modelo que el pantano sugiere con λ de orden uno. Akrami, Alestas y Nesseris (2025) lo ajustan a DESI DR2 y obtienen λ ≈ 0,70 con preferencia de 3,3σ a 3,8σ. La figura integra ese modelo: con λ = 0,70 y Ωφ = 0,685 hoy da w₀ = −0,927 y un ajuste CPL con wₐ = −0,10, bastante más suave que los mejores ajustes CPL de DESI. Esos ajustes cruzan w = −1 a corrimiento al rojo alto, algo que un campo escalar canónico no puede hacer. Por eso las propuestas de cuerdas recurren a sectores oscuros acoplados, como la dimensión oscura con radio variable de Bedroya, Obied, Vafa y Wu (2025).
La significancia de DESI depende de la muestra de supernovas y de la parametrización, y la recalibración de DES de 2025 la modifica. A septiembre de 2026 no hay publicación cosmológica de DESI DR3, y la ESA anunció los primeros resultados cosmológicos de Euclid para 2027.
La teoría de cuerdas no fija la escala de su física nueva: √α′ puede estar cerca de la escala de Planck, donde ningún experimento llega. Lo que se puede contrastar son escenarios particulares. La tabla resume los que tienen datos.
| ESCENARIO | OBSERVABLE | MEDICIÓN | ESTADO |
|---|---|---|---|
| Supersimetría a baja energía | Gluinos y squarks en el LHC | Gluinos ≳ 2,4 TeV · stops ≳ 1,2 TeV (ATLAS, Run 2) | NO OBSERVADA |
| Dimensión oscura | Desviación de 1/r² bajo la décima de milímetro | Excluido λ > 38,6 μm con intensidad gravitatoria (Eöt-Wash, 2020) | ABIERTO · VENTANA 1–30 μm |
| Supercuerdas cósmicas | Fondo de ondas gravitacionales en pulsares | NANOGrav 15 años: ~3σ; ajuste con Gμ ~ 10⁻¹²–10⁻¹¹ | COMPATIBLE · NO ES EVIDENCIA |
| Energía oscura dinámica | w₀, wₐ con BAO, CMB y supernovas | DESI DR2: 2,8σ–4,2σ frente a ΛCDM | ABIERTO · EUCLID 2027 |
| Axiverso | Axiones ultraligeros | Distribuciones a priori desde Kreuzer-Skarke (Jain et al., 2025) | BÚSQUEDAS EN CURSO |
| Microestados de agujeros negros | S = A/4G | Exacta en extremales supersimétricos (Strominger-Vafa, 1996) | CONSISTENCIA INTERNA |



El fondo de NANOGrav se explica también con binarias de agujeros negros supermasivos, y la propia colaboración advierte que los ajustes de física nueva no deben leerse como evidencia. El conteo de Strominger y Vafa es el resultado cuantitativo más fuerte del programa, pero es un control de consistencia de la teoría consigo misma y con la termodinámica de Bekenstein y Hawking, no una medición.
La teoría de cuerdas es un terreno favorable para trabajar con modelos porque muchas de sus preguntas abiertas son computacionales y admiten certificados: un residuo numérico, un número entero que debe salir entero, un funcional dual que prueba una cota, una demostración que un verificador formal acepta. La literatura ya tiene ocho años de aprendizaje automático sobre estos datos.
He, Krefl y Seong, Ruehle, y Carifio, Halverson, Krioukov y Nelson entrenan redes sobre datos de compactificaciones; Bull, He, Jejjala y Mishra predicen números de Hodge de las 7.890 CICY.
Halverson, Nelson y Ruehle entrenan un agente A3C para explorar modelos de D6-branas intersecantes; encuentra unas 200 veces más soluciones consistentes que una caminata aleatoria.
Ashmore, He y Ovrut; Douglas, Lakshminarasimhan y Qi; Anderson, Gray y colaboradores; Larfors, Lukas, Ruehle y Schneider con la librería cymetric. En 2026 aparecen métricas con dependencia completa de módulos y con alabeo.
Guevara, Lupsasca, Skinner, Strominger y Weil prueban que las amplitudes árbol de gluones con un solo signo negativo de helicidad no se anulan. Según OpenAI, la fórmula cerrada la conjeturó primero GPT-5.2 Pro y los autores la demostraron.
Brenner, Cohen-Addad y Woodruff obtienen resultados analíticos exactos para el espectro de ondas gravitacionales de lazos de cuerdas cósmicas con Gemini Deep Think y búsqueda en árbol.
Wrase documenta el uso de ChatGPT 5.4, Claude Opus 4.6 y Gemini 3.1 en una investigación sobre vacíos de cuerdas en el interior del espacio de módulos: qué aportaron y dónde fallaron.
Alpöge y Furman prueban que más de dos tercios de los ceros de zeta son simples y están en la recta crítica, con una demostración que atribuyen a Claude. El 7 de septiembre, Alpöge y Buckmaster publican explosión en tiempo finito con forzamiento para Euler 3D; el 8, OpenAI anuncia una demostración análoga para Navier-Stokes forzada, producida por un modelo interno no publicado y formalizada en Lean con GPT-6 Astra. Ver el estudio del milenio.
A septiembre de 2026, ningún modelo ha resuelto un problema central de la teoría de cuerdas: ni la selección del vacío, ni la existencia de de Sitter, ni una predicción contrastable. Ningún problema del milenio figura como resuelto por el Clay aparte de Poincaré. GPT-6 Astra, disponible desde el 4 de septiembre, no tiene resultados propios de matemática o física reconocidos; su papel en el anuncio de Navier-Stokes fue la formalización. El resultado de Navier-Stokes es con forzamiento externo, no tiene arbitraje y está sujeto a una disputa de prioridad.
Una agenda. Los problemas siguientes están abiertos y tienen una forma de verificar la contribución sin depender de la palabra del modelo. Están ordenados de lo más numérico a lo más formal.
Los acoplamientos físicos dependen de la normalización de los modos cero, que requiere la métrica Ricci-plana y la conexión de Hermitian-Yang-Mills. Extender las redes actuales a modelos heteróticos con tres generaciones y calcular masas con barras de error.
CERTIFICADO · residuo de Monge-Ampère y medida σ convergiendo al aumentar la resolución; independencia de la base de funciones.Calcular las correcciones subdominantes en α′ y gs para los 30 candidatos de McAllister, Moritz, Nally y Schachner, y decidir cuáles conservan el mínimo.
CERTIFICADO · cómputo reproducible con CYTools: tadpole cancelado, factor de alabeo positivo, jerarquía de correcciones explícita.Calcular invariantes de género y grado altos en variedades de Kreuzer-Skarke con h1,1 grande, donde se contrasta la conjetura de cuerda emergente.
CERTIFICADO · los invariantes deben ser enteros; un número no entero delata un error. Coincidencia con las tablas conocidas en casos pequeños.Reducir las hipótesis de unicidad de Virasoro-Shapiro y mejorar las cotas numéricas sobre coeficientes de baja energía en diez y en cuatro dimensiones.
CERTIFICADO · funcional dual factible del programa semidefinido, verificado con aritmética de intervalos.Construir modelos de cuerdas con sector oscuro acoplado que reproduzcan el cruce aparente de w = −1 y cumplan las conjeturas de distancia y de Sitter.
CERTIFICADO · verosimilitud calculada sobre las cadenas públicas de DESI DR2 con un pipeline abierto, frente a ΛCDM y w₀wₐ.Extender la demostración de Heidenreich y Lotito de la cuerda bosónica a la supercuerda perturbativa, anunciada como trabajo en preparación.
CERTIFICADO · demostración revisada paso a paso; idealmente sus lemas algebraicos formalizados.No es un problema abierto sino un vacío de infraestructura: no existe una formalización en Lean del álgebra de Virasoro con carga central ni del cierre de Lorentz en cono de luz que da D = 26. Es el terreno natural para entrenar la verificación de física teórica.
CERTIFICADO · el núcleo de Lean acepta la prueba, sin axiomas adicionales.Método. Las cuatro reglas con que conviene usar un modelo en estos problemas vienen de lo que ya salió bien y mal:
1 · El objetivo trae su certificado. Antes de empezar se fija qué cuenta como éxito y cómo se comprueba sin leer la argumentación del modelo.
2 · Se separa lo derivado de lo conjeturado. Cada paso se etiqueta como derivación, conjetura o resultado numérico, y las hipótesis se declaran.
3 · Todo se reproduce. Código y datos quedan disponibles y un segundo modelo o una persona los ejecuta desde cero.
4 · Las referencias se verifican. Los modelos inventan títulos e identificadores de arXiv verosímiles; cada cita se abre antes de usarse.
PROBLEMA
Enunciado preciso con convenciones explícitas
(α′ = 1, métrica (−,+,…,+), normalización de W y K).
ESTADO DEL ARTE
Tres a cinco trabajos con identificador de arXiv
verificado. Qué resolvió cada uno y qué dejó abierto.
OBJETIVO VERIFICABLE
Qué cuenta como éxito: residuo < 10⁻⁶, invariantes
enteros, funcional dual factible, prueba en Lean.
REGLAS
· Etiquetar cada paso: DERIVADO / CONJETURA / NUMÉRICO.
· Declarar toda hipótesis, incluidas las de gauge.
· No citar sin identificador; marcar lo no verificado.
· Buscar primero un contraejemplo al propio resultado.
ENTREGABLES
1. Derivación paso a paso.
2. Código que reproduce cada número.
3. Una prueba automática que falla si el resultado
es falso.
4. Lista de los puntos más débiles del argumento.
Las funciones que dibujan las figuras están separadas del dibujo y se ejecutan en una suite de validación con los mismos parámetros. La tabla muestra una selección de sus controles; los criterios de aceptación se fijaron antes de correrla.
| FIGURA | CONTROL | MEDIDO | REFERENCIA |
|---|---|---|---|
| −1/12 | Suma directa menos 1/ε² con ε = 0,02 | −0,08333166669 | −0,08333166669 · forma cerrada |
| Hagedorn | Coeficientes d(0) … d(8) | 1, 24, 324, 3200, 25650, 176256, 1073720, 5930496, 30178575 | Enteros exactos |
| Hagedorn | d(320) / término principal de Rademacher | 1,00000000 | 1 |
| Veneziano | Residuo en α(s) = 2 con α(t) = 1,37 | 3,9934493 | 3,9934500 · (α(t)+1)(α(t)+2)/2 |
| T-dualidad | Sectores (n, w) ≠ 0 sin masa en R = 1 · en R = 1,37 | 8 · 0 | (±1,±1), (±2,0), (0,±2) · ninguno |
| Quíntica | máx |z₁⁵ + z₂⁵ − 1| en los 25 parches | 6,7 · 10⁻¹⁵ | 0 |
| Page | ⟨S⟩ de 5 cúbits de 10, 60 estados de Haar | 2,9681 | 2,9663 · Page 1993 |
| Page | Householder-QL contra Jacobi, máx |ΔS| | 2 · 10⁻¹⁴ | 0 |
| Ryu-Takayanagi | I(A:B)/c con θ = 2π/3 | 0,36620 | 0,36620 · (2/3) ln tan(π/3) |
| KKLT | VF cerrada contra eK(KTT̄|DW|² − 3|W|²) | 3 · 10⁻¹¹ relativo | 0 |
| KKLT | DTW / |W₀| en el mínimo AdS | 1,7 · 10⁻¹⁰ | 0 · mínimo supersimétrico |
| Quintaesencia | w a 40 e-folds con λ = 1 · Ωφ con λ = 2 | −0,666667 · 0,75000 | −1 + λ²/3 · 3/λ² |