Did someone solve the problem and get the bounty? What was that mathematical formula for? I heard evil wants to crack bitcoin. This formula is useful for cracking bitcoin?