## ¿Qué plantea el problema de Heilbronn?

El problema de Heilbronn es un desafío de optimización de la geometría discreta: dado una región de área unitaria—un cuadrado, un triángulo equilátero o cualquier forma convexa—colocar *n* puntos de modo que el triángulo más pequeño determinado por cualquier trio de esos puntos sea lo más grande posible. El valor de esa área máxima posible del triángulo mínimo se denota *A*(*n*).

Estudiado inicialmente por Hans Heilbronn en la década de 1950, el problema se encuentra en la intersección de la geometría combinatoria y la optimización computacional. Para cada forma de contenedor y cada *n*, el objetivo es hallar una configuración de puntos que eleve *A*(*n*) por encima de cualquier disposición conocida anteriormente. Demostrar que una configuración es realmente óptima (y no simplemente la mejor encontrada hasta ahora) es una tarea distinta, a menudo más difícil.

## Un liderboard en tiempo real con registros verificables

El sitio web **math.tejstead.com/heilbronn/** funciona como un archivo viviente de las configuraciones conocidas más altas para tres contenedores clásicos: el cuadrado unitario, el triángulo equilátero unitario y la región convexa óptima para cada *n*. Cada entrada muestra:

- Coordenadas exactas de los *n* puntos

- Análisis de simetría y congruencia de la configuración

- Referencias a pruebas publicadas donde se ha establecido la optimalidad

- Un **verificador de aritmética racional en el navegador** que permite a cualquiera recalcular exactamente el área del triángulo mínimo, sin errores de redondeo de punto flotante

El sitio marca las entradas con el símbolo ▲ cuando una configuración ha sido demostrada óptima. Para la mayoría de los valores de *n* y la mayoría de los contenedores, los valores listados siguen siendo «best known» en lugar de óptimo demostrado.

## Mejoras recientes de récords (septiembre–octubre de 2026)

Desde finales de septiembre de 2026, el liderboard ha presentado un grupo de nuevos récords, casi todos aportados por investigadores independientes que trabajan fuera de los canales académicos tradicionales:

| Fecha | Contenedor | *n* | Nuevo *A*(*n*) | Ganancia | Colaborador |n|------|-----------|-----|--------------|------|-------------|n| 2026-10-01 | Triángulo | 20 | 0.01260939 | +2.37% | Rob Gardiner |n| 2026-10-01 | Cuadrado | 23 | 0.00975728 | +1.18% | Rob Gardiner |n| 2026-09-28 | Cuadrado | 21 | 0.01147376 | +1.85% | Rob Gardiner |n| 2026-09-28 | Cuadrado | 23 | 0.00964331 | +1.97% | Rob Gardiner |n| 2026-09-28 | Cuadrado | 25 | 0.00823006 | +3.74% | Rob Gardiner |n| 2026-09-28 | Cuadrado | 35 | 0.00443228 | +0.53% | Rob Gardiner |n| 2026-09-25 | Convexo | 31 | 0.00630967 | +3.46% | Alexandar Lackovic (con ayuda de Opus 5.5) |n| 2026-09-25 | Convexo | 33 | 0.00547013 | +3.21% | Alexandar Lackovic (con ayuda de Opus 5.5) |n| 2026-09-23 | Triángulo | 19 | 0.01348189 | +0.21% | Marc-Emmanuel Coupvent des Graviers |n| 2026-09-23 | Triángulo | 29 | 0.00612369 | +2.55% | Marc-Emmanuel Coupvent des Graviers |

El creador del sitio señala que «lately there has been a wave of contributions of new records made by amateur mathematicians.» La participación de asistencia de IA (Opus 5.5) en los récords de región convexa de Lackovic marca un desarrollo notable en cómo se está realizando la búsqueda computacional.

## Cómo se comparan los valores entre los contenedores

La tabla de los valores conocidos más altos (truncada a ocho decimales) muestra cómo el área mínima alcanzable del triángulo se reduce al crecer *n*, y cómo influye la forma del contenedor:

- Para *n* = 3, tanto el cuadrado como el triángulo alcanzan *A*(3) = 0,5 (el triángulo mismo), mientras que la región convexa óptima alcanza 1,0 (toda la región).

- Para *n* = 10, el cuadrado lidera con ~0,0465, seguido por la región convexa con ~0,0520 y el triángulo con ~0,0434.

- Para *n* = 35, el cuadrado llega a ~0,00443, la región convexa a ~0,00477, mientras que la entrada del triángulo aún no está tabulada.

La región convexa supera consistentemente al cuadrado y al triángulo fijos para valores mayores de *n*, como se espera—optimizar la forma del contenedor en sí mismo añade un grado de libertad.

## Preguntas abiertas y límites conocidos

**Comportamiento asintótico.** Un comentario en el hilo de envío esboza un argumento sencillo del palomar que proporciona un límite superior de aproximadamente 1/*n* para el cuadrado: dividir el cuadrado unitario en *n*/3 tiras verticales; una tira debe contener tres puntos, y cualquier triángulo dentro tiene un área a lo sumo el área de la tira (~1/*n*). El límite inferior conocido más alto es del orden de (log *n*)/*n*²—un amplio vacío. La fuente primaria no trata estos límites asintóticos; siguen siendo un área activa de investigación.

**Criterio de inclusión.** El sitio no establece explícitamente su criterio para listar una configuración como el valor actual más conocido. El liderboard es finito porque solo se registran las configuraciones que mejoran todos los resultados publicados previamente; la «infinitamente larga» lista que un lector podría imaginar consistiría en configuraciones que no son mejoras.