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
Each AI result is delivered with its steps in an automatically generated Mathematica notebook or Maple document that you can audit, reproduce, edit, and share.
What ExaktAI is about
The unsolved problem is not whether AI can do mathematics. It can. The problem is that an incorrect result can suddenly arrive with the same confidence as a correct one. ExaktAI addresses that gap: trust is assigned to an AI mathematical result whose steps were computationally validated, and you can reproduce the validation, not blindly accept it.
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. provisional patent application filed in 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.