Goldbach's conjecture

In 1998, Goldbach's Conjecture was shown by computer to be true for even numbers up to 400,000,000,000,000. In addition, some progress has been made towards formally proving the conjecture. As of this year, mathematicians with Goldbach fever have some extra incentive for their labours.