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 engine or cross-check several.

ExaktAI App

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 engine that computes are separate settings, with SymPy, NumPy, SciPy and Matplotlib bundled, and Maple, Mathematica, Jupyter and Python documents opening natively. The Workspace →

Executable documents

ExaktAI automatically produces Maple documents, Mathematica notebooks, or ExaktAI Workspace documents (validated with SymPy, no CAS licence required) carrying validation status where AI computations can be audited, reproduced, and edited.

ExaktAI App 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 SymPy 101 tutorial with executable equation labels and exact arithmetic — The ExaktAI Workspace, in the two languages it was computing in 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 SymPy 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

A Beta release, opening access to external users (researchers, educators, collaborators and industry), is in preparation. The Workspace is the first of the two products to open.

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 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.

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

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.

Your address is used only to write to you about early access. No tracking, no mailing list, and it is never shared. Privacy policy →