¿El mayor logro de la IA en matemática? Explicado para todo público

Los especialistas están revisando y dan por correcta, en general, la prueba que algunos consideran el logro más significativo de la IA aplicada a las matemáticas hasta la fecha. Aquí, una forma muy simple de entender qué dice demostrar y qué falta