Empresas Astra, la IA de OpenAI, resolvió problemas matemáticos que llevaban décadas sin solución por 2.000 dólares por Jon Markman
