80 ఏళ్ల నాటి గణిత సమస్యను పరిష్కరించిన AI మోడల్...