[math-fun] Using AI to help Superseeker guess formulas for sequences