I can visually see why the Wikipedia elite, might be disinclined to include formal mathematical proofs in general audience articles. They look intimidating.It seems to me like the mathematics community on Wikipedia ought to be able to set up a new, top level Wiki-media project, along the lines of what Wikimedia Commons has become, dedicated to the sharing, presentation and interlinking of math proofs. The formal proofs could then be easily linked to from within Wikipedia, without making the Wikipedia articles harder for laypersons to understand.
Also such a top level project might be able to introduce some structure to proofs that would, not only allow input and output in formats like Latex, but also allow automated symbolic math processors [wikipedia.org] to work directly with the public proof base. Then some enterprising Google geeks and/or college students ought to be able to bring some sophisticated search techniques along with the computing power of something like Amazon's Elastic Compute Cloud [url] to the party. And that just might allow some truly amazing breakthroughs.
This work is licensed under a Creative Commons Attribution-Share Alike 2.5 License.