¿Qué significan realmente el 47% y el 62% en los números primos?

Los avances recientes en inteligencia artificial han traído titulares fascinantes sobre los números primos. Es común ver afirmaciones como que un modelo ha resuelto el problema hasta un 47%, y luego se anuncia un nuevo avance al 62%. La primera reacción natural es preguntarse: ¿de dónde salen esos porcentajes? ¿Cómo se sabe exactamente qué porcentaje de una tarea matemática ha sido «resuelto»?

El mito del progreso lineal

Lo más importante para entender estas cifras es comprender que no significan que alguien haya «resuelto el 47% o el 62% de los números primos». Es una trampa conceptual. En realidad, esos porcentajes son resultados de un benchmark: una batería de problemas matemáticos diseñada para evaluar la capacidad de un modelo.

Pensemos en ello: si un benchmark tuviera 100 problemas matemáticos específicos, y el Modelo A resuelve correctamente 47 de ellos, entonces su rendimiento es del 47%. Si otro modelo resuelve 62, su porcentaje es el 62%. El número no mide una propiedad intrínseca de las matemáticas; simplemente mide el rendimiento del modelo en ese conjunto de pruebas.

Cotas inferiores y la Hipótesis de Riemann

La cosa se vuelve aún más interesante cuando pasamos a los avances reales sobre la hipótesis de Riemann. Aquí, el progreso no es un conteo de problemas, sino una mejora en las demostraciones matemáticas. El artículo original reportaba que Anthropic elevó la cota inferior conocida de los ceros de la función zeta de Riemann que satisfacen la hipótesis de 41,6% a 67,2%.

Esto responde directamente a tu duda inicial: ¿de dónde sale el porcentaje? La respuesta es que no se ha demostrado que el 100% de los ceros estén sobre la línea crítica. En su lugar, aparecen afirmaciones como «Al menos el 41,6% de los ceros están sobre la línea crítica».

Esto significa literalmente: Se ha demostrado matemáticamente que la proporción de ceros que cumplen la condición es como mínimo ese porcentaje. No se han comprobado el resto desconocidos. Es una cota inferior sobre una proporción infinita.

La verificación formal en Lean

Es crucial destacar cómo se llegó a este 67,2%. El trabajo fue formalizado utilizando un asistente de demostración llamado Lean. Esto es particularmente relevante porque no se trata simplemente de que dos matemáticos hayan dicho «parece correcta». Según el artículo, la prueba fue expresada en Lean, lo que permite verificar mecánicamente los pasos y garantiza una precisión absoluta.

Conclusión

En resumen, tu intuición inicial era muy buena al cuestionar esos números: «¿pero cómo demonios saben que es un 62%?». La respuesta es que no están midiendo cuánto «queda por resolver», sino una propiedad cuantificable de los ceros de la función zeta y una cota inferior demostrable.

Así que, aunque el porcentaje suena espectacular, no funciona como una barra de progreso simple. Es una magnitud matemática perfectamente definida sobre un conjunto infinito, mejorada por técnicas más potentes o evaluaciones de rendimiento en benchmarks.