Open Mathematics Consortium
We are an academic consortium dedicated to open infrastructure for AI and mathematics. Our guiding principle is that AI is a tool whose purpose is to serve human thought and creativity in every discipline, and as such it should be governed by the values of openness and of public science. Open infrastructure for AI is essential for the continued human understanding of mathematics and science, and for ensuring the benefits of this technology are shared broadly by society. Following these principles, we organize activities that support the creation of open infrastructure and open tools for AI.