🔬 Un modelo interno de OpenAI resolvió el problema planar de distancias unitarias, planteado por Paul Erdős en 1946, y matemáticos externos validaron el resultado. El problema pregunta cuántos pares de puntos pueden quedar a una unidad de distancia en un plano. Importa porque no fue entrenado para ese reto.
El mejor límite superior humano para este problema venía de 1984. Según OpenAI, su modelo de razonamiento general encontró una familia de arreglos que superó el límite asociado a la propuesta de Erdős. La empresa dijo además que el modelo no había sido entrenado para ese problema ni para matemáticas.
En el paper que acompaña el anuncio, los científicos de OpenAI muestran el prompt que llevó al resultado. También afirman que el modelo usó un enfoque nuevo para reemplazar una teoría de trabajo habitual en este problema. La sorpresa, según OpenAI, fue que ideas conocidas por especialistas en teoría algebraica de números tuvieran efecto sobre una pregunta geométrica.
Matemáticos humanos externos revisaron y confirmaron el resultado. Thomas Bloom, de la Universidad de Manchester, escribió que la prueba original de la IA era válida, pero que humanos de OpenAI y otros matemáticos la mejoraron. Tim Gowers, de la Universidad de Cambridge, sostuvo que ningún resultado previo generado por IA se le acercaba.
✅ El caso sugiere que la IA puede ayudar en investigación matemática de frontera, no solo verificar pasos cerrados. El límite es clave: el modelo era interno, la prueba fue pulida por humanos y OpenAI ya había retirado antes afirmaciones exageradas sobre problemas de Erdős. Falta ver si este desempeño se repite en otros campos.
Fuente: livescience.com
