Mathematics and AI

-   A Response to “A Severe Misalignment of AI in Mathematics”


-   Mathematics Under Radical Uncertainty: How Should We Prepare for Several AI Futures?


-   A Four-Tier Publishing Landscape for Mathematics in the Age of AI


-   The AI That Kills Us and the AI That Rules Us


-   AI as Tool, Epistemic Agent, and Quasi-Author. An Unresolved Tension in the Leiden Declaration.