La IA resuelve lo que los humanos no pudieron
Un modelo de inteligencia artificial ha resuelto un problema de geometría de 80 años planteado por el legendario matemático húngaro Paul Erdős, dejando atónito al mundo de las matemáticas. El problema de Erdős, uno de los aproximadamente 1.200 desafíos no resueltos que Erdős dejó, había resistido todos los intentos humanos de solución desde la década de 1940. Los investigadores descubrieron que la IA encontró una disposición más compleja de puntos emparejados — una que los matemáticos humanos nunca habían imaginado — que producía una tasa de crecimiento mayor que la que permitían los enfoques convencionales.
Matemáticos piden límites
El avance ha generado tanto entusiasmo como preocupación. 'Esto es lo que encontró la IA, cómo lo pasamos por alto y por qué importa', escribió The Wall Street Journal. Pero la comunidad matemática también insta a la cautela. La Declaración de Leiden, firmada por destacados matemáticos, pide supervisión sobre el uso de la IA en la investigación matemática, advirtiendo que una dependencia excesiva de la IA podría socavar la creatividad humana en el centro del descubrimiento matemático.
Una nueva era para la IA en la ciencia
Scientific American calificó el logro como 'el mayor avance de la IA en matemáticas hasta ahora'. La solución demuestra que la IA ya puede contribuir al descubrimiento matemático auténtico, no solo al cálculo. Mientras algunos celebran esto como una herramienta para acelerar la investigación, otros temen que pueda cambiar la naturaleza misma de la demostración matemática. El debate refleja conversaciones más amplias en la ciencia sobre dónde trazar la línea entre la asistencia de la IA y el descubrimiento liderado por humanos.