-
TLDR. AI will keep eating execution-heavy mathematics that sits on stable formal scaffolding – think large chunks of algebraic geometry or homological algebra once the objects are defined in Lean. The parts that resist are the ones where progress depends on inventing the invariant, the weight, the parametrix, or the gluing scheme – contest combinatorics…
-
Thesis A cluster of behaviors, performative nihilism (“I don’t care” as social pose), contrarianism-as-identity (disagreeing to signal status rather than to test truth), plausible-deniability retreats (hot takes downgraded to “just joking” when challenged), and demagogic crowd‑work, has migrated from broader Western cultural life into academic mathematics. The effect is to shift the scoreboard from logos…