Cuando la IA resuelve matemáticas: ¿qué queda para la creatividad humana?
Durante siglos, las matemáticas fueron consideradas una de las expresiones más sofisticadas de la creatividad humana. Resolver un problema difícil no consistía únicamente en encontrar una respuesta: había que descubrir una idea, reconocer un patrón y construir una demostración capaz de convencer a otros matemáticos. Ahora, la inteligencia artificial está cambiando esa realidad. Los sistemas de IA ya pueden resolver problemas matemáticos de enorme dificultad, generar demostraciones y explorar miles o millones de posibilidades mucho más rápido que una persona. El avance plantea una pregunta inevitable: si una máquina puede encontrar una demostración, ¿qué papel queda para el matemático? La IA ya está entrando en las matemáticas avanzadas El cambio no es solamente teórico. En 2024, los sistemas AlphaProof y AlphaGeometry 2 de Google DeepMind resolvieron cuatro de los seis problemas de la Olimpiada Internacional de Matemáticas (IMO), alcanzando una puntuación equivalente al nivel de ...