Has there been attempts to prove the conjecture?