Something to also consider is 'Kill Math' (written in 2011, before LLM/AIs rise) by Bret Victor: https://worrydream.com/KillMath/