这个项目很不错,很多线性代数和几何的知识用图形来变现出来,就变得简单易懂了
必须来试试
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

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

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