Quanta Magazine relata cómo erdosproblems.com — un catálogo aficionado de los más de 1.200 problemas que dejó Paul Erdős — se convirtió en la arena donde los laboratorios de IA ponen a prueba a sus matemáticos artificiales. Los modelos de OpenAI resolvieron en mayo el problema de la distancia unidad, de 80 años, y otros tres problemas de Erdős el 1 de agosto; Google DeepMind ha resuelto cuatro, recuperado nueve soluciones olvidadas y cerrado de forma autónoma 9 de 353 problemas planteados formalmente. El sitio cuenta ya 565 problemas resueltos frente a 652 abiertos, y los problemas de Erdős se concentran en teoría de números y combinatoria — justo donde los modelos de lenguaje son más fuertes.