Anyone read the book about Goldbach's conjecture, it says every even number that's larger than 2 can be formed by summing two prime numbers. A 250 year-old problem.

I heard it's been proved, is this true?