afolkest

To paraphrase my old Soviet physics professor:

What separates US and Soviet education systems is that in the former, they try to polish everyone into a diamond, while in the latter they sift through the sand to find the nuggets of gold with maximum efficiency.

Quote from paper worth being aware of:

"Disclaimer: We do not make claims about the correctness of OpenAI’s NL proof, we only make statements about mistranslations into Lean."

Not industry, but it's pretty popular among theoretical physics researchers.

Love it. I'll be using this on a weekly basis in my art practice.

Let me know if you ever create an API endpoint.