  In a delightful article, Richard Stanley derived, algebraically, the
surprisingly simple formula, 3 times 7 to the power n-1, for the sum of the
cubes of the n-th row of Stern's diatomic array. In this note, we find an
elegant bijective proof of this surprising fact, that explains it and gives
insight. The novelty is that this gorgeous bijection was discovered by a
computer (SBE), with minimal guidance by a human (DZ). This debunks the
conventional wisdom, held by some human supremacists, that computers can only
compute, but they can't give insight
