_rpd comments on Creative math research by AI as the latest sign of the end