Show HN: Explanations and follow-ons for OpenAI/math

The official openai/math repo is closed to issues, PRs, and discussion.

I made this app to share some explanatory videos that help us all make sense of the release, catalogue follow-ons and improvements that build on the openai research, and more broadly provide a set of community tools for distributed research.

I am not a trained mathematician and most of the math exceeds my understanding. As such, the videos _are_ AI-generated, but IMHO, go a long ways towards helping folks like me understand the problems, proofs, and related ideas.

Suggestions are welcome.