ExaktAI
How it works AI math reliability What validation adds ExaktAI vs CAS AI assistants Status About

Live Development Status, June 2026

Where ExaktAI stands

What is working

Validated computation

AI mathematics with validation using a Computer Algebra System (CAS) is implemented.

Multiple AI systems

ExaktAI operates with six independent AI systems: Claude, Codex, Gemini, DeepSeek, Grok, and Mistral; validation can use a chosen engine or cross-check several.

ExaktAI App

The desktop App accepts multilingual natural-language problems, CAS input, and mathematical notation entered via its palette.

Multiple interfaces

ExaktAI runs from the ExaktAI App and from within a Maple document or a Mathematica notebook.

Executable documents

ExaktAI automatically produces Mathematica notebooks or Maple documents carrying validation status where AI computations can be audited, reproduced, and edited.

ExaktAI in action: a problem validated in eight steps, with the Maple document generated alongside (Claude + Maple).

ExaktAI App in Presentation mode showing a problem validated in eight steps, with the generated Maple document open alongside
The validated solution in the App, and the executable Maple document it generates. The App (left) is in Presentation mode, an optional frameless display omitting visual distractions such as the Run ExaktAI button that ran the computation.

What is in progress

Benchmark analysis

A 500-problem benchmark covering the undergraduate mathematics curriculum has been run across all AI systems. Analysis of these results is driving improvements to the validation architecture.

Public access

A Beta release, opening access to external users (researchers, educators, collaborators and industry), is in preparation.

Coverage extension

ExaktAI currently handles the undergraduate mathematics and physics core; extending to graduate physics and advanced differential equations beyond Maple and Mathematica is in progress.

Technology Readiness Level

Using the ISED / Innovative Solutions Canada TRL scale:

ExaktAI matches TRL 8: it has been tested against a 500-problem benchmark in its production operating form, running on the user's own machine and performing every computation in the user's own copies of Maple and Mathematica. TRL 9 is the Public Access milestone, with Beta testing scheduled for late summer or fall 2026.

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.