Automating Research-Level Mathematics with AI

nnmath is a non-profit whose goal is to devise AI tools that help mathematicians today.

We believe that artificial intelligence (AI) has the potential to profoundly benefit mathematicians, and by automating mathematics, we help automate all of science that rests on mathematics.