
Project Numina develops open-source AI tools and datasets to help researchers and mathematicians study and solve mathematical problems. The non-profit builds large databases of mathematical problems and solutions and trains AI models using open-source machine learning techniques for tasks such as theorem proving, symbolic reasoning, and problem solving. As an open-source research organization, it focuses on collaboration with partners, publishes models and data openly, and targets researchers, academic labs, and institutions in mathematics and AI.

Project Numina develops open-source AI tools and datasets to help researchers and mathematicians study and solve mathematical problems. The non-profit builds large databases of mathematical problems and solutions and trains AI models using open-source machine learning techniques for tasks such as theorem proving, symbolic reasoning, and problem solving. As an open-source research organization, it focuses on collaboration with partners, publishes models and data openly, and targets researchers, academic labs, and institutions in mathematics and AI.