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ó