A39.ABC猜想是否已经被证明?