blog — Proofs and Prompts — 13 Oct 2026
Mathematical proletarization
#philosophy-of-mathematics #ai-mathematics-interaction #professional-concerns
AI is disrupting mathematics and people are scared to be replaced by machines. Here, I try to give historical and philosophical perspectives, which we direly lack of. We need to change our values, or we'll become proletarians and mathematics will die with us.