Greg71 comments on Refuting longtermism with Fermat’s Last Theorem