Is the sum of two invertible matrices necessarily invertible?