Whether ABC (or a similar conjecture) is proven has practically no cryptographic impact. This is because you can already write and execute algorithms (whose correctness depends on unsolved conjectures) without proving the conjectures. See http://math.stackexchange.com/questions/69540/would-a-proof-...