¡Un problema del siglo que llevaba 78 años sin resolverse, se resolvió en solo tres días!
La pregunta era si la esfera sexdimensional admite una estructura compleja, planteada desde 1948 hasta hoy. Ahora la respuesta es sí.
Quienes dieron esta solución fueron el matemático de Harvard Levent Alpöge y Claude.
Y lo más impactante es cómo lo hicieron.
Evitaron el camino tradicional que todos habían seguido durante décadas y, en su lugar, lo construyeron directamente. Luego, señalándolo, declararon: esta es la estructura compleja en S6.
Cuando Alpöge anunció la noticia en X, la primera frase que escribió sonaba más como el nacimiento de una nueva vida:
Damos la bienvenida a este hermoso nuevo objeto geométrico al mundo.
Más de setenta años obsesionados con esta esfera
De todas las esferas, solo dos son elegibles para hablar de estructura compleja: S2 y S6; las demás dimensiones fueron descartadas hace tiempo.
S2 no ofrece dudas, es el ladrillo más básico en los cimientos de la geometría compleja.
Así que durante más de setenta años, todas las miradas se concentraron en la única candidata restante: S6.
Algunos afirmaron que existía, otros juraron que definitivamente no existía, pero ambos bandos tropezaron.
Por ejemplo, uno de los matemáticos más grandes de nuestra época, el medallista Fields Michael Francis Atiyah, afirmó en 2016 haberlo resuelto, pero se señaló que su argumentación tenía lagunas.
El gran maestro matemático chino Shiing-Shen Chern también estudió este problema en sus últimos años.
Lo que Alpöge presentó esta vez es un documento de 108 páginas.
Cada matriz, cada coordenada, cada método de pegado utilizado en la construcción está escrito en blanco y negro.
El matemático Qiaochu Yuan usó específicamente GPT-5.6 Sol para buscar fallos. Después de 6 minutos de análisis, descubrió que no había ningún error.
Insistió y revisó durante 15 minutos más, pero aún no pudo encontrar ningún defecto; al contrario, entendió mejor la lógica de la demostración.
La conclusión de Sol fue que, si estas 108 páginas se mantienen firmes, podría decirse que es el logro matemático de IA más importante hasta la fecha.
Si este trabajo hubiera sido realizado únicamente por humanos, probablemente habría ganado la Medalla Fields, no solo por su dificultad o fama, sino al menos por su impacto.
Tres números enteros dictaron el destino de este problema
Entonces, ¿cómo se construyó exactamente este nuevo objeto?
Primer paso: sentar las bases.
Toma un objeto llamado grupo triangular (3,4,∞) y pliega el semiplano superior; la forma que queda, intuitivamente, es una esfera.
Solo que en esta esfera hay tres puntos especiales clavados: uno de orden 3, uno de orden 4 y una cúspide, ubicados en t = 0, t = 1 y t = ∞, respectivamente.
Alpöge no ocultó su preferencia, afirmando directamente que el grupo triangular y la familia de toros que cuelga de él son su aportación más satisfactoria.
Segundo paso: adjuntar toros a la base.
Excepto en esos tres puntos especiales, a cada punto de la base se le adjunta un 2-toro complejo, una estructura que es bidimensional en números complejos y tetradimensional en números reales.
Esta cosa que cuelga sobre un punto se llama, matemáticamente, la fibra en ese punto. Todo X se construye fibra a fibra de esta manera.
Después de este paso, los tres puntos especiales siguen vacíos, lo que equivale a perforar tres agujeros en la esfera.
Tercer paso: rellenar los tres agujeros.
Rellenar los agujeros significa asignar una fibra a cada uno de estos puntos vacíos e insertarlos, cosiéndolos para formar una variedad compacta completa.
Lo más ingenioso es que los tres agujeros no se rellenan con el mismo método; cada orificio cae justo dentro del alcance de un método clásico de relleno.
La cúspide en t = ∞ utiliza la degeneración del toro de Mumford; la fibra insertada se llama W, obtenida identificando pares de aristas opuestas de un hexágono límite de una superficie del Pezzo de grado seis.
Los dos puntos restantes, t = 0 y t = 1, utilizan la transformación logarítmica de Kodaira, con multiplicidades 3 y 4, coincidiendo exactamente con los órdenes 3 y 4 de esos puntos en la base.
En el instante en que se rellenan los tres agujeros, surge una variedad compleja compacta tridimensional llamada X.
El objeto está construido, pero ¿realmente es S6?
En este punto, X ya es una variedad compleja completamente legítima, pero la pregunta aún no está respondida.
La sección 7 del artículo calcula a la fuerza el grupo fundamental de X, obteniendo π1(X) ≅ Z / |12l0 − 4l1 − 3l2|.
El grupo fundamental puede entenderse, en términos generales, como si hay agujeros inevitables en este espacio. Cualquier lazo dibujado en una esfera puede contraerse a un punto, por lo que el grupo fundamental de la esfera es trivial.
Los tres números enteros (l0, l1, l2) en la fórmula registran cuánto se torcieron las fibras al coser los tres agujeros.
Sustituyendo (0, 1, −1), se calcula 12×0 − 4×1 − 3×(−1) = −1, cuyo valor absoluto está firmemente fijado en 1.
Y Z módulo 1 es el grupo trivial. El grupo fundamental desaparece por completo aquí, y X coincide con la esfera en el primer criterio.
Dado que X es simplemente conexa y su homología entera coincide perfectamente con la de S6, aplicando los grandes teoremas de Hurewicz y Whitehead, es inequívocamente una esfera de homotopía sexdimensional. Luego, aplicando la conjetura generalizada de Poincaré demostrada por Smale en 1961, es homeomorfa a S6.
Finalmente, solo queda superar la prueba de la estructura diferenciable.
Porque en topología, homeomorfo no es igual a difeomorfo. Dos objetos pueden parecer idénticos, pero la forma de hacer cálculo diferencial en ellos no coincide. Estos impostores tienen un nombre especial: esferas exóticas.
Afortunadamente, ya en 1963, Kervaire y Milnor liquidaron esta cuenta. El mundo de seis dimensiones está limpio, no hay esferas exóticas. En siete dimensiones, podrían aparecer hasta 28.
Así, el homeomorfismo aquí se actualiza directamente a difeomorfismo. La verdadera identidad de X es S6.
Quien lo resolvió no se especializa en geometría compleja
Alpöge es Junior Fellow de la Society of Fellows de Harvard y también investigador postdoctoral en Anthropic. Su especialidad es la teoría de números y la geometría aritmética; no suele adentrarse en las aguas de la geometría compleja.
Y Yuan reveló que, justo tres días antes de resolver este problema, había discutido con él sobre este callejón sin salida.
De buscar respuestas a construirlas
Resolver en tres días un problema atascado durante más de setenta años ya es bastante increíble.
Pero en realidad, es solo la tercera vez en 35 días.
20 de julio: Alpöge utilizó Claude Fable 5 para encontrar un contraejemplo decisivo para la conjetura de Jacobi, un problema planteado en 1939 y sin resolver durante 87 años.
Solo tres semanas después, el 10 de agosto: una versión de investigación no pública de Claude, cuya identidad aún no se ha revelado, elevó el porcentaje probado de ceros de la función zeta de Riemann en la línea crítica del 41.6% al 67.2%.
En esa batalla de consumo computacional, orquestó aproximadamente 60 subagentes de IA, ejecutó más de 2400 comandos shell y consumió 31 millones de tokens de salida.
Luego vino el 24 de agosto: esta vez, S6.
Para los dos primeros casos, aún podrías explicar a duras penas que la IA era solo un buscador con una gran potencia computacional: uno buscando contraejemplos en un espacio de soluciones conocido, el otro combinando a la fuerza dos artículos ya existentes en la bibliografía.
Solo esta vez, la naturaleza cambió por completo.
Este objeto geométrico originalmente no existía; el modelo lo construyó desde cero.
Justin Curry, profesor asociado de Matemáticas y Estadística en la Universidad Estatal de Nueva York en Albany, afirmó directamente: Si la demostración es correcta, este es, sin duda, el logro de IA más extraordinario recientemente.
Durante los últimos 78 años, todos se preguntaron lo mismo: ¿existe o no una estructura compleja en S6?
Y a partir de este momento, la pregunta quizás deba ser otra.
¿Cuántas más hay escondidas allí?
Referencias: https://alpo.ge/s6.pdf
Este artículo proviene del WeChat público "新智元" (Nueva Era de la Inteligencia), autor: ASI启示录; editor: Moisés David
