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

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:

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

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.