[math-fun] proof of ABC conjecture?