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, Canada
Research Fellow Emeritus at Maplesoft.

The former Maple UI displayed shortcut-keys in the menu entries. There was no need to consult the help system and good overview of possible menu control alternatives was provided.

In the new ribbon interface, such hints are not given anymore (if I am not mistaken).

Suggestion:
The information of shortcut keys could be added after the mouse-over text. For example Crtl+O after "Open a file"

 

For me, attaching the shortcut-key to the corresponding menu item is the most intuitive way to look up this information. Adding text is probably less invasive then graphical design changes, hence this pragmatic suggestion.

Alternatively, AI could provide the information but simple prompts (like "shortcut to open a file in Maple" or "list all keyboard shortcuts for Maple under Windows") did not work for me. A waist of time, credits and energy for nothing. Somehow it is difficult for to todays AIs to identify that there is a help page (not easy to find for beginners and me in Maples help system, IMO) that contains all information needed:
?worksheet,reference,hotwin