It's not insane when you realize that in mathematics, the goal isn't theorems (we have always been able to generate correct theorems, this is a basic programming exercise).
The goal is to expand and extend our understanding.
When an LLM produces a proof, nobody (including the LLM) gained new understanding ... Unless, of course, a human being sits down and understands it, and communicates the new understanding to the broader community.
The goal is to expand and extend our understanding.
When an LLM produces a proof, nobody (including the LLM) gained new understanding ... Unless, of course, a human being sits down and understands it, and communicates the new understanding to the broader community.