The Mathlib Initiative is a new programme of Renaissance Philanthropy. We exist to support Lean's open-source library of formal mathematics known as Mathlib.

YoY growth startup which enables AI

Matic is building autonomous consumer robots for in-home use. We're a small team (65 full-time) led by repeat founders Mehul Nariyawala and Navneet Dalal (author of HOG paper with over 44,000 citations to date). We bring a user-first mentality to solve existing, real-world problems. We're building robots meant to be incredibly useful first, and cool second!

Matroid’s mission is to enable computers to visually understand the world. Our “no programming required” product empowers businesses and industry with our computer vision solutions. We’re a Series B funded startup, with customers in the manufacturing and video security industries.

We’re building industrial AI for factories – deploying into some of the messiest, noisiest, most fascinating real-world environments you can imagine. We build our own hardware, write our own software and train our own models. Our systems watch over manufacturing processes and flags issues real-time - missing parts, out-of-specification dimensions and nearly imperceptible visual defects. We work across manufacturing sectors - aerospace, defence, automotive, food + beverage, electronics, textiles, polymers and all the rest!

Matterhaul is building an AI-native ERP for the $2T physical goods supply chain, replacing 30-year-old legacy systems with a unified data layer and AI agents.

Mattermost provides secure, workflow-centric collaboration for technical and operational teams that need to meet nation-state-level security and trust requirements. We serve technology, public sector, national defense, and financial services industries with customers ranging from tech giants to the world’s largest banks, to the U.S. Department of Defense and governmental agencies around the world.

At Matterworks we are building AI tools to extract insights from the ever-growing corpora of biological data and to unlock opportunities in therapeutic discovery, development, and manufacturing. We are building large-scale deep learning models of biological data to predict the phenotype and behavior of biological systems.

At Matterworks we are building AI tools to extract insights from the ever-growing corpora of biological data and to unlock opportunities in therapeutic discovery, development, and manufacturing. We are building large-scale deep learning models of biological data to predict the phenotype and behavior of biological systems.

Maven is the missing grad school for technology jobs. We have the largest collection of expert-led cohort-based-courses on the topics that matter most for today's careers.