Dr. Fill, a puzzle-solving automaton, came out victorious at last week’s national tournament—but human solvers shouldn’t throw in the towel just yet.