这个项目很不错,很多线性代数和几何的知识用图形来变现出来,就变得简单易懂了

必须来试试

clone代码

git clone https://github.com/HarleyCoops/Math-to-Manim-CH

安装的话,不要看文档,代码比文档更直白,用uv来管理python

cd Math-to-Manim-CH
uv sync

然后测一把

uv run math-to-manim generate "Explain why derivatives are slopes" --deterministic --no-render

没问题安装渲染的其它组件

apt install -y ffmpeg dvisvgm texlive-latex-base texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended

apt install -y pkg-config     libcairo2-dev     libpango1.0-dev     libpangocairo-1.0-0
uv pip install -e ".[dev,render]"

一切就绪,然后需要配置好codex的cli,需要用到它的推理

验证一下GPT2模型中的 RoPE 旋转编码原理

uv run math-to-manim generate "Explain RoPE Positional Encoding in GPT2 model" --codegen-provider codex-cli

image-20260813094604107

上面可以看到生成了MP4视频,下载下来看看:

image-20260813094758116

可以看到还可以,但是实际有偏差,因为RoPE是捉对厮杀,快慢时钟,但是还可以了,配上更详细的Prompt提示词,应该是可以实现。