I dunno, the opacity of LLM’s might kind of fit the bill for not having an “algorithm” in the usual sense, even if it is possible in theory to boil them down to cathedrals of if-statements.