ABSRACT: I am going to discuss how modern data mining can help solving hard mathematical problems. My sample problems will be Andrews-Curtis Conjecture and Complexity of Whitehead method. These problems originally came from algebraic topology, but I will take on purely combinatorial viewpoint, assuming zero algebraic topology knowledge.The talk will be elementary, easily accessible to mathematicians and computer scientists.