AI models and people played “collaborative” Battleship to test strategies for efficiently solving problems