This sort of nonsense makes me root for the AI companies to set the edifice of organized math on fire.