Open Mathematics Consortium

We are an academic consortium dedicated to open infrastructure for AI and mathematics. We will organize activities that support the creation of open AI tools, with the overarching aim of enabling the continued human understanding of mathematics and science.