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.

Dear MapleSoft Team,

I am writing to share some feedback regarding a new feature introduced in Maple 2025. Specifically, when typing ^, /, or __ followed by a number or symbol and then entering another operator (such as +), the operator is automatically inserted on the baseline.

While I understand this "smart baseline behavior" may be useful for some users, I personally find it disruptive and counterproductive. It often interferes with my workflow rather than improving it.

May I suggest adding an option that allows users to choose whether to enable or disable this feature? Providing such flexibility would accommodate both those who appreciate the behavior and those who prefer the previous input style.

Thank you for considering this feedback. I hope this suggestion can help improve the user experience for a wider range of Maple users.