Live Development Status, July 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 mathematical software or cross-check several.

ExaktAI Validation

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

ExaktAI Workspace

The second product is built and in daily use: a computer algebra environment where the notation you write and the mathematical software that computes are separate settings, with SymPy, NumPy, SciPy and Matplotlib bundled, and Maple, Mathematica, MATLAB, Jupyter and Python documents opening natively. The Workspace →

Executable documents

ExaktAI automatically produces Maple documents, Mathematica notebooks, or ExaktAI Workspace documents. Each carries its validation status, and the AI computations in it can be audited, reproduced, and edited.

ExaktAI Validation in Presentation mode showing a problem validated in eight steps, with the generated Mathematica notebook open alongside — The validated solution in the App, and the executable Mathematica notebook 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.

Two ExaktAI Workspace windows: on the left a Maple document on the retarded and Lienard-Wiechert potentials, the screen split to read one part while editing another, and the workspace browser filtered to the last day listing five documents in two dialects; on the right the NumPy 101 tutorial with executable equation labels and exact arithmetic — The ExaktAI Workspace, in the two dialects used that afternoon. Left, a Maple document on the retarded and Liénard-Wiechert potentials, the screen split and the workspace browser open on the day's five documents; right, the NumPy 101 tutorial that ships with the Workspace.

What is in progress

Benchmark analysis

A 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

The Beta of the Workspace opened on September 9, 2026, for external users (researchers, educators, collaborators and industry), on macOS, Linux and Windows. It is the first of the two products to open.

Download the Workspace

Coverage extension

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

Technology Readiness Level

Using the ISED / Innovative Solutions Canada TRL scale:

TRL 8: Actual technology completed and qualified through tests and demonstrations ✓ (current) TRL 9: Actual technology proven through successful deployment in an operational setting → next

ExaktAI matches TRL 8: it has been tested against that benchmark in its production operating form, running on the user's own machine and performing every computation there: in the user's own copies of Maple, Mathematica and MATLAB, or in the bundled SymPy. TRL 9 is the Public Access milestone: the Beta of the Workspace opened on September 9, 2026, and the Beta of ExaktAI Validation is scheduled for October 15, 2026.

IP status: Canada and U.S. Patent Pending since August 2025.

Sign up for the Beta

ExaktAI Validation is up and running. Its Beta is scheduled for October 15, 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 →