What methods have been used to verify the conjecture?
... coming soon ...