“AI programs have solved approximately 50 out of the 1,100-odd Erdős problems.”