Otra conjetura centenaria ha caído.
El matemático de Anthropic/Harvard, Levent Alpöge, junto con Claude, ha refutado directamente la Conjetura de Carathéodory, que ha desconcertado a la comunidad matemática durante más de 100 años, y de paso ha derribado la Conjetura del Índice de Loewner.
Un PDF ha circulado en los círculos matemáticos durante toda una semana. Ahora, se ha hecho público oficialmente.
Esta no es la primera vez que Alpöge y Claude hacen algo así. Durante la Copa del Mundo de este año, ya conmocionó al mundo matemático al proponer un contraejemplo a la Conjetura Jacobiana 3D.
¿De qué habla la conjetura centenaria?
Primero, la propia Conjetura de Carathéodory.
En 1924, el matemático alemán Hans Ludwig Hamburger planteó la Conjetura de Carathéodory en geometría diferencial, pero la nombró en honor a su doctorando, el matemático griego Constantin Carathéodory.
La conjetura afirma que cualquier superficie convexa, cerrada y suficientemente lisa en el espacio euclidiano tridimensional debe tener al menos dos puntos umbilicales.
Constantin Carathéodory
La conjetura es muy concisa pero extremadamente difícil de demostrar: cualquier superficie cerrada convexa suficientemente lisa tiene al menos dos "puntos umbilicales".
Un punto umbilical, en términos sencillos, es un punto en la superficie donde "la curvatura es exactamente la misma en todas las direcciones".
En la geometría diferencial de superficies tridimensionales, un punto umbilical es un punto donde la superficie es localmente esférica; todas las curvaturas normales son iguales, por lo que las dos curvaturas principales son iguales y cada vector tangente es una dirección principal.
Cada punto de una esfera es un punto umbilical: da igual hacia dónde toques, la curvatura es la misma.
Carathéodory afirmó: no importa cómo la deformes o la modeles, mientras esta superficie convexa sea suficientemente lisa, no puedes dejar solo un punto umbilical. Deben quedar al menos dos.
Esta conjetura parece intuitivamente "correcta".
Una esfera tiene infinitos puntos umbilicales, un elipsoide tiene 2.
Durante cien años, innumerables matemáticos lo intentaron, pero nadie pudo construir un cuerpo convexo liso con solo 1 punto umbilical.
En paralelo está la Conjetura de Loewner: el índice de un punto umbilical aislado no excede 1. Las dos conjeturas se apoyaban mutuamente, como un par de candados que, durante un siglo, bloquearon toda una región de la geometría diferencial.
Ahora, el candado ha sido forzado. Este descubrimiento muestra que si una superficie convexa es demasiado lisa (matemáticamente llamada C∞, infinitamente diferenciable), Levent Alpöge encontró una superficie convexa con solo un punto umbilical.
Un contraejemplo, dos conjeturas caen simultáneamente
Alpöge y John-Paul Smith presentaron una construcción extremadamente concreta.
Definieron una familia de funciones g_k, donde g2 (con k=2) sirve como función de soporte de una esfera, y el cuerpo convexo correspondiente genera un punto umbilical de índice 2 en el origen.
Nota: un índice de 2 ya viola directamente el límite superior de 1 de la Conjetura de Loewner.
Lo más crucial es que, debido a la presencia de términos de decaimiento exponencial, g2 garantiza matemáticamente suavidad C∞, es decir, este cuerpo convexo cumple todas las condiciones de suavidad requeridas por la Conjetura de Carathéodory.
Pero tiene solo 1 punto umbilical.
La Conjetura de Carathéodory exige al menos 2 puntos umbilicales, pero el contraejemplo muestra 1, por lo que la conjetura queda refutada.
La Conjetura del Índice de Loewner exige un índice de 1 para el punto umbilical, pero aquí es 2, por lo que también queda refutada.
Un contraejemplo explícito y verificable ha derribado dos conjeturas con más de un siglo de vida.
En matemáticas, refutar una conjetura solo requiere un contraejemplo. Pero encontrar ese contraejemplo puede ser más difícil que probar la conjetura misma.
La nueva normalidad en matemáticas
Mirando atrás a los últimos meses:
El nuevo récord de Claude en la Hipótesis de Riemann: aumentó el límite inferior de la proporción de ceros del 41.6% al 67.2%, mientras que en 37 años los humanos solo lo habían mejorado un 0.8%.
OpenAI lanzó un conjunto de 10 avances en matemáticas y ciencias de la computación teórica.
Alpöge ha refutado varias conjeturas clásicas de forma consecutiva usando Claude.
Un reciente ganador de la Medalla Fields anunció su incorporación a OpenAI.
Está surgiendo una nueva tendencia.
La IA ya no es solo una calculadora para matemáticos. Se está convirtiendo en un "suplemento de intuición" para los matemáticos: en lugares donde la intuición humana falla, su capacidad de enumeración y construcción abre nuevos caminos.
Las conjeturas centenarias no han sido derribadas por una inteligencia humana más fuerte. Han sido derribadas por un nuevo paradigma de colaboración humano-máquina.
Este paradigma continuará derribando más conjeturas. La pregunta es: ¿cuál será la siguiente en caer?
Referencias:
https://x.com/haider1/status/2090034966717677902
https://x.com/alpoge/status/2089971359921156203
https://en.wikipedia.org/wiki/Carath%C3%A9odory_conjecture
Este artículo proviene de la cuenta pública de WeChat "New Zhiyuan", autor: ASI Revelation
