Show HN: Explanations and follow-ons for OpenAI/mathhttps://thecompanygardener.yaks.app/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. Comments URL: https://news.ycombi…