[math-fun] Recent factorization of RSA-240 & DLP