Storia: AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed — Warptech Lab News