AI Is Taking On Ever-Larger Puzzles