Comment by charcircuit
17 hours ago
>The output of an LLM is useless without a human mind to comprehend it
This is like saying software is useless if the user doesn't read the source code of it. This what happens >99.99999% a person uses software. People want to be entertained or have their problems solved.
Your analogy doesn't work. A "product" in research pure math is not the same as writing code.
You can import a theorem that another paper proves without having to understand the mechanics of the proof itself.
if your goal in life is proving theorems, then sure, but we don't fund mathematics to check if each conceivable theorem is true/false.