3 ms·
"In such cases I don't think we'd even care all that much how complicated a proof it generates." I think a proof is only useful, if you can validate it. If a L
by hutzlibu 3y ago
"In such cases I don't think we'd even care all that much how complicated a proof it generates."
I think a proof is only useful, if you can validate it. If a LLM spits out something very complicated, then it will take a loooong time, before I would trust that.