Validate
Results are validated step by step: AI drives the computation, one or more CAS execute it, and convergence of results is what makes a result trustworthy.
AI mathematics with validation
The unsolved problem is not whether AI can do mathematics. It can: state a problem, and AI proposes an approach and works through the steps. The problem is that an incorrect result can suddenly arrive with the same confidence as a correct one. ExaktAI addresses that gap, validating AI mathematical results in a way you can reproduce, not blindly accept. Each AI solution is delivered with its computations validated, in an automatically generated Mathematica notebook or Maple document.
The ExaktAI App
Six AIs split on this problem when asked for the solution in one go. Through ExaktAI, it is solved and validated in two different ways, on two CAS backends. The goal of ExaktAI is to blend AI and Computer Algebra Systems (CAS) into a process where AI mathematical results are not just generated but also step by step validated, and the validation can be audited.
Three pillars
Collaborate
AI drives, CAS executes, and you steer. Each result, with all its steps, appears automatically in a Mathematica notebook or Maple document that you can audit, modify, experiment, and extend.
Expand
The same architecture extends to new problem domains: each addition expands the kinds of mathematical problems whose solutions can be validated and documented.
Project
Project lead
Edgardo Cheb-Terrab, PhD, Theoretical Physics. 28 years at Maplesoft until the end of 2024.
LinkedIn →
Software portfolio →
ExaktAI Inc.
Incorporated in Canada.
Our vision →
Patent status
U.S. and Canada Patent Pending since August 2025.
Contact
Request early access
ExaktAI is up and running. Beta is scheduled for late summer or fall 2026. We can reach out when it's ready to try.