MAIC

Mathematics and AI
at Courant

Our research areas

At the center of our work is a single shared project: an open frontier model for mathematical discovery, which we call the core. Six research areas surround it, each feeding it problems, data or methods and each using it as an object of study:

  1. Formalization and autoformalization
  2. Frontiers in applied mathematics
  3. Frontiers in pure mathematics and theoretical computer science
  4. Mathematics of AI
  5. AI safety
  6. Training and outreach

Select a circle to explore a research area.

Research areas at Mathematics and AI at Courant An open frontier model for mathematical discovery connects to six complementary research areas. Each circle opens its research page. An openfrontier modelfor mathematicaldiscovery Formalization Frontiers inappliedmathematics Frontiers inpure mathematics& theoreticalcomputer science Mathematicsof AI AI safety Training& outreach