Mining graphs to discover new theorems in mathematics