Reseña de «¿Cuándo podrá la Inteligencia artificial ayudarnos a demost

En la conferencia «¿Cuándo podrá la Inteligencia artificial ayudarnos a demostrar teoremas?» se explica que la IA ya ayuda, pero con límites. Actualmente, es experta en reconocer patrones para encontr