lionellevine/MAIS: Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward ·

This is the home of Math for AI Safety: An Invitation for Mathematicians by Lionel Levine (Cornell University). Beyond the invitation paper, this repo hosts three kinds of pre-publication research: The intended life cycle is open problem → agenda → paper → publication: open problems get incorporated into agendas, and a maturing agenda spins off papers. Each document carries a unique permanent identifier — MAIS-On for open problems, MAIS-An for agendas, MAIS-Pn for papers — so a reference like MAIS-O1 or MAIS-A4 stays valid even if the title changes. The open-problem index is the full registry, and the agenda guide offers a first foothold in each research direction. Conventions for numbering, structure, and building live in HOUSEKEEPING.md. Contributions of every size are welcome; see CONTRIBUTING.md. The best first move is to open an issue — a public thread that anyone can answer. A substantial contribution earns an invitation to join the author list, subject to the judgment of the doc

saved by

• Lydia Nottingham
• Bhagyesh Kumar