right, so mathematicians will be communicating someone else's discoveries instead of making their own. notwithstanding whether that's an interesting job or not (I know, it's not part of the discussion), why wouldn't LLMs be able to do that with enough RLHF?

And why would a human be able to come up with a proof an LLM can't? I get your point but the new paths and perspectives could probably all be derived by prompting "prove xyz statement" a few times in fresh chats.