Reseña de «The story of Erdős problem #1026»

En el artículo «The story of Erdős problem #1026», Terence Tao detalla la resolución de un problema de 1975 mediante una colaboración híbrida entre matemáticos y herramientas de IA. El proceso incluyó

Vestigium