More than 1,000 humans fail to beat AI contender in top crossword battle