From cats and dogs to Erdős: AI groups chase progress through maths — Warptech Lab News