ExaktAI

Validated AI mathematics you can reproduce and extend

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: every step of the AI’s solution becomes a computation, executed and checked by a Computer Algebra System (CAS), in a document ExaktAI generates and opens for you: a Maple document, a Mathematica notebook, or an ExaktAI Workspace document computed with SymPy, which needs no commercial licence. Press Enter on each step, or run the whole document, and the AI’s intermediate and final results are reproduced in front of you.

Two pillars

ExaktAI Workspace

A computational environment where mathematical computing systems work together, even in a single document: write in the notation of SymPy, Maple, Mathematica or MATLAB, and compute with the software you choose. SymPy, NumPy, SciPy and Matplotlib are included; Maple, Mathematica, MATLAB and Lean work alongside them when installed. The Workspace →

ExaktAI Validation

AI drives the mathematics, one or more computer algebra systems execute every step, and convergence is what makes a result trustworthy. Each validated solution arrives as a document you can audit and re-run: a Maple document, a Mathematica notebook, or an ExaktAI Workspace document. How validation works →

ExaktAI Validation

ExaktAI Validation: a vector projected onto a subspace, solved by Claude and validated step by step, with the Maple document generated and opened automatically
ExaktAI using Maple and Claude: a vector projected onto a subspace, validated step by step via Maple's LeastSquares. The document is generated, filled with the CAS results, and opened automatically.
ExaktAI Validation: the same projection problem solved by Claude and validated step by step, with the Mathematica notebook generated and opened automatically
ExaktAI using Mathematica and Claude: the same problem via Mathematica's PseudoInverse, a different command reaching the same validated result.

ExaktAI Workspace

The Workspace was created to present validated documents, live and editable beside the App, and evolved into a computational environment of its own. Here is the same problem again, validated with SymPy as the CAS, which is included in the ExaktAI application. The left panel is the App in Presentation mode, which omits the interface around the mathematics.

ExaktAI validating the projection problem with SymPy: on the left ExaktAI Validation in presentation mode, the problem marked Validated and its steps shown as typeset mathematics; on the right the ExaktAI Workspace document it generated, each step an executable SymPy instruction labelled Eq[1], Eq[2], Eq[3] with its computed result
ExaktAI using SymPy and Codex. The App in Presentation mode on the left, and on the right the ExaktAI Workspace document it generated and opened, where every step is an executable instruction carrying its own validated result: Eq[1], Eq[2], Eq[3].

Six AIs split on this problem when asked for the solution in one go. Through ExaktAI, it is solved and validated in three different ways, on three CAS backends, and the third of them, SymPy, needs no commercial CAS licence. The goal of ExaktAI is to blend AI and Computer Algebra Systems into a process where AI mathematical results are not just generated but also step by step validated, and the validation can be audited.

Project

Project lead

Edgardo Cheb-Terrab, PhD, Theoretical Physics
Maplesoft, 1997–2024
Editor, Computer Physics Communications, 1998–2023
ExaktAI, since 2025
LinkedIn →   Software portfolio →

Patent status

Canada and U.S. Patent Pending since August 2025.

Download

The complete ExaktAI Workspace is free for everybody through June 30, 2027. You can pick your machine on the download page.

Download the Workspace

Sign up for ExaktAI Validation

ExaktAI Validation is up and running. Its Beta is scheduled for October 20, 2026. Sign up, and we write to you when it opens.

Your address is used only to write to you about the Beta. Privacy policy →