Organizations
Explore companies, research labs, universities, nonprofits, and public institutions across the AI ecosystem.
ENS ParisENS Paris has been an important source of France’s mathematical approach to AI, with influential work in statistical learning, optimization and computer vision. Its interdisciplinary normalesup.ai lab connects foundational methods with climate, health and social research.
Lomonosov Moscow State UniversityMoscow State University has long been a major training ground for Russian mathematics and theoretical computer science. That foundation has fed work in machine learning, optimization and related fields, as well as researchers who later joined AI laboratories in Russia and abroad.
AxiomAI mathematics startup building systems for formal reasoning, theorem proving, and mathematical problem solving.
HarmonicAI company building Aristotle, a mathematical reasoning system that combines informal reasoning with formal verification so answers can be checked rather than merely generated. Harmonic is focused on theorem proving, Lean-backed verification, and high-stakes domains where correctness matters.
Institute for Advanced StudyThe Institute for Advanced Study is an independent research institute in Princeton . It supports theoretical research across mathematics, natural sciences, social science, and historical studies, and has long been a home for foundational work in computing, physics, and mathematics.
Math Inc.Math Inc. builds AI systems that translate ordinary mathematical arguments into Lean, a language in which every step can be checked by a computer. Its Gauss agent completed a formal proof of the strong Prime Number Theorem, demonstrating how AI could reduce the expert labor required to verify complex mathematics.
Paris-Saclay UniversityParis-Saclay concentrates a large share of France’s mathematics, computer science and engineering research. Its DataIA institute links more than 800 researchers across 47 laboratories, joining foundational AI with work in health, science, industry, ethics and public policy.
Software company that developed business-rule, optimization, visualization, and supply-chain tools, including ILOG Solver, before its acquisition by IBM.