Proof by computer: Harnessing the power of computers to verify mathematical proofs
http://www.physorg.com/news145200777.html

Note
Your email address is used only to let the recipient know who sent the email. Neither your address nor the recipient's address will be used for any other purpose. The information you enter will appear in your e-mail message and is not retained by PhysOrg.com in any form.