Georges Bizet | Georges Cuvier | Centre Georges Pompidou | Georges Simenon | Georges Bataille | Georges Clemenceau | Paul Georges Dieulafoy | Georges Perec | Georges Duhamel | Georges de La Tour | Georges Schwizgebel | Georges Pouchet | Georges Pompidou | Jean-Georges Vongerichten | Hurricane Georges | Georges Seurat | Georges Moustaki | Georges Méliès | Georges Jeanty | Georges Sadoul | Georges Mandel | Georges Cottier | Georges Carpentier | Georges Canguilhem | Georges Brassens | Georges Besse | Georges Vanier | Georges Duby | Georges Doriot | Georges-Charles de Heeckeren d'Anthès |
A fully formal proof, checked with the Coq proof assistant, was announced in September 2012 by Georges Gonthier and fellow researchers at Microsoft Research and INRIA.