What are some other domains outside of Math and Coding that would be suitable for RL with automated verification?
These LLMs are already very helpful when studying scientific fields. If you're reading a scientific paper and come across an equation you don't know how to derive, LLMs can often correctly derive it from first principles. It's not 100% reliable, but when it works, it's incredibly helpful.
Some people talk though as if the books on my bookshelf spontaneously combust if a language model helps me with anything.
Not to mention that I had many professors in college that were so full of shit they put the hallucinations of chatgpt3.5 to shame.