Math-for-AI-Safety / MAIS

Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward

MColbrook / AIM

AI for Mathematical Problems: An Invitation for Mathematicians