Modelo de OpenAI refuta una conjetura matemática de 80 años

En un avance sorprendente, un modelo de razonamiento de OpenAI ha resuelto el problema de la distancia unitaria de 80 años en geometría discreta, refutando una conjetura importante que había perdurado desde 1946. El problema, que pregunta cuántas distancias unitarias pueden existir entre un conjunto de puntos en el plano, había resistido la solución durante décadas. Matemáticos que anteriormente expusieron una afirmación vergonzosa en el campo ahora han respaldado el resultado de OpenAI, marcando un hito significativo en el descubrimiento matemático impulsado por IA. Este logro demuestra la creciente capacidad de la IA en el razonamiento científico avanzado, yendo más allá del reconocimiento de patrones hacia la resolución genuina de problemas. Las implicaciones son profundas: la IA ahora puede ayudar a probar o refutar conjeturas matemáticas de larga data, acelerando potencialmente el progreso en campos que van desde la criptografía hasta la física. Para la comunidad investigadora, esta es una señal clara de que la IA se está convirtiendo en un socio indispensable en la búsqueda del conocimiento.