ExaktAI™ Inc.
Incorporated in Canada.
Our vision →
ExaktAI™ Inc.
Mathematics and physics are evolving disciplines. AI is increasingly becoming an active participant in that evolution, producing results at a speed and scale that are difficult to follow without appropriate computational tools.
In the ExaktAI project we are addressing two related issues: the reliability problem of AI mathematics through computational validation, and maximizing human participation in checking, understanding and extending the results.
ExaktAI Validation
ExaktAI Validation takes advantage of AI's ability to infer mathematical results while identifying and filtering incorrect inferences through a blended validation strategy. It delivers a concise answer with its derivation validated step by step, and opens an executable Maple, Mathematica or ExaktAI Workspace document with the validated solution, ready to inspect, reproduce, edit and share.
ExaktAI Workspace
The ExaktAI Workspace is a computational environment where mathematical computing systems work together, even in a single document. Mathematics is the language: write in the SymPy, Maple, Mathematica or MATLAB dialect, and compute with the software you choose. SymPy, NumPy, SciPy and Matplotlib are included; Maple, Mathematica, MATLAB and Lean work alongside them when installed on your computer.
Symbolic and numerical computation, interactive plots, and proofs checked by Lean sit side by side. Close the Workspace and open it again: every document is where you left it, the unsaved ones included. In the Workspace you can follow, reproduce, modify and extend AI mathematics, or simply do the mathematics yourself.
Founder
Edgardo Cheb-Terrab, PhD in Theoretical Physics and Research Fellow Emeritus at Maplesoft.
Edgardo spent 28 years at Maplesoft, until the end of 2024, developing core components of the Maple computer algebra system, including its ODE and PDE solvers, Physics package and Mathematical Functions Advisor.
This background joins mathematical research with direct experience building the computational systems used by ExaktAI Validation and the Workspace.
The company
Patent status
Canada and U.S. Patent Pending since August 2025.