An autonomous AI research scientist for mathematics and engineering, built with 40-year math software pioneer Maplesoft. Give it a high-level problem and it reads the literature, derives the model, runs the computation, and shows its work at every step.
AI agents working on frontier math problems is one of the most exciting things happening in tech, but the tools to do it have sat behind the closed doors of corporate research labs. Primus for Math brings the field’s best computational engines to anyone with a Primus account.
Pursue a rigorous mathematics question without a department of specialists behind you.
Tackle a problem in an unfamiliar area, with every step shown and checkable.
Run system modeling that once required a major laboratory.
Primus for Math follows real research practice, from checking what’s already known and hunting for counterexamples to tracking every lemma until it’s proved.
Starts from what the field already knows, so it doesn’t rediscover old results.
Turns a high-level problem into precise statements and equations.
Exact symbolic calculation in Maple, simulation in Modelica, experiments at scale.
Logs its reasoning, failed paths included, for you to check and build on.
Rigorous arguments written up the way a paper would present them.
When Primus finds a result it can prove, it writes the proof in Lean so a computer can verify it.
Sweeps, searches and exact calculations that test conjectures and find closed forms.
That’s why the research loop is integrated directly with Maplesoft’s industry-standard Maple engine, which calculates answers exactly. Every finding is labeled by the strength of its evidence:
Proved, and the proof verified by Lean.
Checked exactly in Maple, not approximated numerically.
Backed by evidence, and clearly marked as open.
Primus builds and simulates system models in Modelica, the open standard across automotive, aerospace and energy. Instead of testing a handful of data points, it derives the model and sweeps the entire operating envelope, finding closed-form solutions that speed up production models.
Primus tests approaches, logs its reasoning including the paths that failed, and formally verifies what it finds, so you can see exactly what is proved and what is still open.
During the beta, Maplesoft is providing Maple access to Primus for Math users at no additional cost.
Primus for Math is available now to every Primus account. Sign in, create a project, and choose Primus for Math from the mode menu.