Artificial intelligence threatens to outrun human understanding and control.
New mathematics is needed to design AI that is legible, steerable, and cooperative with humanity.
I organize this invitation by mathematical field, so you can turn straight to your own:
- logic and game theory for cooperation;
- probability for agency and world-models;
- algebra and representation theory for learned features;
- analysis and geometry for generalization and training dynamics.
Each section ends with an open problem that is accessible to a working mathematician with no prior experience in AI safety.