A counterexample to the Hermite ring conjecture

We show that there exists a stably free module over a polynomial ring which is not extended from the ground ring. This provides a counterexample to the Hermite ring conjecture.