What methods have been used to verify the conjecture?

... coming soon ...