Speed&Inertia

The Mathaverse is an open-source mathematical workspace for Meta Quest and desktop. People can explore ideas visually, manipulate experiments, and ask Meta Muse AI to help them investigate. Mathematics offers powerful ways to understand the world, yet symbols and written explanations can leave learners struggling to grasp what an idea means or why a proof works. As AI contributes to mathematical discovery, helping people understand the reasoning behind those results becomes increasingly valuable. Mathaverse makes mathematical relationships interactive. In VR, learners can rotate objects, change the order of operations, or rearrange vectors and observe the consequences. The experience encourages exploration: change something, compare outcomes, and ask why. Meta Muse connects natural-language requests to the workspace. It receives the current experiment, selected objects, exact computed facts, and available actions. Muse explains and proposes supported changes; Mathaverse validates those proposals, computes the results, and updates the scene. Asking Muse to reverse a sequence of operations, for example, lets a learner compare how the order changes the outcome. The prototype includes seven authored experiments spanning linear maps, finite groups, symmetries, braids, and a step from a published proof. Reusable visualizations reveal different structures: the same kinetic sculpture shows a four-step cycle in one group and paired exchanges in another. One prepared lesson explores a step in a proof of a 95-year-old conjecture. Learners rearrange mathematical steps and investigate how the resulting path changes. For supported claims, Lean—a formal proof checker—verifies the exact finite example and produces a receipt identifying what was checked. This connects visual intuition with precise mathematical statements. Mathaverse is intended for curious learners, students, educators, and developers creating mathematical experiences. Its code is publicly available under the MIT licence. Developers can add mathematical objects, visual representations, and actions available to Muse. Today's prototype uses prepared experiments. The broader vision is an extensible library through which people and AI agents can create new mathematical explorations together which will help more people build intuition, ask better questions, and understand advanced ideas.