@ashishgaurav_13 OpenAI's "Spinning Up" website has a page with the proof. Haven't fully gone through it yet though:
https://spinningup.openai.com/en/latest/spinningup/extra_pg_proof1.html?highlight=extra%20material
@BenjaminHan I may have a look at this when I get some time. looks like the mathstodon fork is available on github, so there may not be much work to do provided that we trust their implementation!
https://github.com/christianp/mastodon/tree/mathstodon-3.5.3
pretty jealous of the LaTeX support on mathstodon. that's one thing making me think that I should abandon social media and make blogging great again
I suppose setting up my own mastodon instance with LaTeX support is another option, albeit a more time-consuming one