Post

Amber 🌸
@shimmermathlabs.com

this is absolutely how doing math with ai feels these days. incredible read. my addition is that there is a VAST UNTAPPED POTENTIAL for explaining math with video/audio/interactive things that ANYONE can mine with ai help right now.

dynomight@dynomight.net

Scattered thoughts on how doing math feels these days dynomight.net/math/

Amber 🌸
@shimmermathlabs.com

for "introductory" concepts (anything in a textbook), you can make an explainer video using frontier models right now with a prompt like: > let's make a math video explaining [X]! could you use manim, maybe choose a custom font for fun, and make a [N] minute video about it. i trust your judgment.

Amber 🌸
@shimmermathlabs.com

and that's not even getting to "artistic" uses of this. for example, you can ask a model to mix mathematical concepts with literary concepts to produce new ideas. or you can translate from theorems to songs. bsky.app/profile/shim...

Amber 🌸@shimmermathlabs.com

as above, compose below. probably the world's first occult category theory music video verified by lean.

0 reposts5 likes

Amber 🌸
@shimmermathlabs.com

an attempt to visualize the monster group bsky.app/profile/shim...

Amber 🌸@shimmermathlabs.com

how can something like the Monster group possibly exist? _yet it does_ i made a mathematical music video about it: 26 sporadic groups, 196,884 dimensions, branching paths computed from real Monster symmetries. finite. constructed. intruding into reality.