>=Neil Sloane Why not use AI to strengthen Superseeker?, I keep saying Indeed. Want to mention this again, for anyone who might pursue this further: "Deep Learning for Symbolic Mathematics" https://arxiv.org/pdf/1912.01412.pdf Not necessarily the answer, but perhaps it may inspire something interesting?