OpenAI anunció el 20 de mayo de 2026 que un modelo de IA desarrollado para uso interno encontró un contraejemplo del problema de 'distancia unitaria' planteado por Paul Erdős en 1946. Esto se considera un indicio de cómo la IA puede revolucionar las investigaciones matemáticas. La solución encontrada por el modelo de IA fue rápidamente desarrollada por matemáticos, aportando nuevas ideas de un campo diferente de las matemáticas.
Erdős planteó miles de problemas matemáticos, pero el problema de 'distancia unitaria' ocupaba un lugar especial por ser a la vez simple y de profundo contenido matemático. La solución encontrada por el modelo de IA fue rápidamente desarrollada por matemáticos, aportando nuevas ideas de un campo diferente de las matemáticas. Esto se considera un indicio de cómo la IA puede revolucionar las investigaciones matemáticas.
OpenAI anunció el 1 de agosto de 2026 que un modelo llamado Astra había logrado 10 avances matemáticos más. Entre estos avances, había tres problemas más de Erdős. Estos desarrollos se consideran un indicio de cómo la IA puede revolucionar las investigaciones matemáticas.