AI for Redistricting