For n>4, smooth intersections of two quadrics in n-dimensional projective space defined over a number field k are conjectured to possess a k-rational point as soon as they have points in each completion of k. The talk will present some of the ideas involved in a proof of this conjecture modulo Schinzel's hypothesis and the finiteness of Tate-Shafarevich groups of elliptic curves.