# Math To Manim ### Ask a question. Get a visual explainer. [](#mythos) [](#sol) [](#make-your-first-explainer) [](https://www.python.org/) [](https://www.manim.community/) [](LICENSE) [Featured explainers](#featured-visual-explainers) · [What you can ask](#what-can-i-ask) · [How the reasoning works](#how-the-reasoning-pipeline-works) · [MCP setup](#make-your-first-explainer) · [Native pipelines](#choose-a-native-pipeline) · [Technical reference](#installation)
> *Math To Manim turns a math or physics question into a carefully reasoned > visual explanation. It finds what the learner needs to know, teaches those > ideas in order, checks the mathematics, and builds the explanation in Manim.*
## Featured Visual Explainers

ERDŐS 1038: THE POTENTIAL LANDSCAPE

A polynomial is usually introduced as a line of symbols, but it can also be seen as a landscape made by its roots. Imagine every root pressing into a flexible sheet stretched above the number line. Taken together, the roots raise and lower that sheet. The transparent plane in the explainer marks zero. Wherever the landscape falls beneath it, the polynomial has size less than one. The footprint under the plane is therefore the exact set whose width the problem asks us to measure. That turns the question into something physical. How should the roots be arranged to make the submerged footprint as narrow as possible, or as wide as possible? For the narrow side, clusters of roots can be gathered toward their centres without making the footprint larger. Repeating that idea leads toward an increasingly fine, one sided distribution of roots. No finite polynomial quite reaches the limiting shape, but a sequence of them gets arbitrarily close. Its width is **1.834430475762661…**. This is the certified floor shown by the curved valley. The widest case is beautifully simpler. Put the roots at the two endpoints, −1 and +1, in equal numbers. This produces the family **f(x) = (x² − 1)ᵐ**, and the region where the polynomial is smaller than one runs from −√2 to +√2. Its width is therefore **2√2**. The explainer ends by contrasting two different kinds of extreme: a lower value that can be approached forever but never attained by a finite polynomial, and an upper value reached exactly by piling the roots at the endpoints.

Watch the complete 79 second visual explainer · Read the complete Sol production prompt

OLIN: THE SPACE INSIDE A TWEET

A tiny program draws ten thousand points by passing each one through five linked quantities: \(k\), \(e\), \(d\), \(c\), and \(q\). The final screen coordinates are only a flat pair, \((u,v)=(q+40\cos c,\;q\sin c+35d)\). A picture with two coordinates does not determine one unique object in three dimensions, so the film explores two different ways to reveal the space suggested by the code. The first construction is the exact lift \(E(i,t)=(u,\;40\sin c,\;v)\). It adds a hidden depth coordinate while leaving \(u\) and \(v\) untouched. Look straight down that hidden direction and every point lands exactly on the original drawing. This makes \(E\) a faithful spatial source for the flat shadow. The film then explores \(C(i,t)=((40+q)\cos c,\;(40+q)\sin c,\;35d)\). Here \(c\) turns each point around a vertical axis, \(q\) changes its radius, and \(35d\) sets its height. This is an alternate cylindrical interpretation, not another exact lift. Its projection does not reproduce the original drawing. The distinction matters: \(E\) preserves what the code drew, while \(C\) asks what other spatial form the same ingredients can suggest.

Watch the complete Olin visual explainer · Read the corrected Mythos production prompt · Inspect the Manim scene

THE JACOBIAN CONJECTURE. This explainer separates local certainty from global truth. A small cube becomes a parallelepiped, making the Jacobian determinant visible as local volume change. The camera then pulls back to show why a map can be reversible nearby without being reversible everywhere.

Explore every visual explainer in the motion showcase