This article on hackernews reads the same as "Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data" would on conkernews.
replies(4):
I for one am here for the random things that pop up on occasion. I have zero interest in LLMs and crypto-bollocks (mainly because I'm not earning money off of it)