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.

For the latter, we developed the ExaktAI Workspace.

The Workspace is a full computational-mathematics document environment in which one can follow, inspect, modify and extend AI-generated mathematics, or simply do the mathematics directly. Of particular relevance here, the Workspace can run Maple directly when Maple is installed.

The public beta is now open. I would be particularly interested in feedback and suggestions, both about the Maple integration and about the broader ideas for keeping us, the humans, actively involved and increasingly participating in AI-mathematics developments.

Edgardo S. Cheb-Terrab
ExaktAI
Research Fellow Emeritus at Maplesoft.