Comment on New largest prime number discovered by former Nvidia software engineer