The Goldbach Conjecture has been established up to 6 x 10^16. Of course, that's still a long way from proving that it's true for all integers.