|
|
|
|
|
|
by throwaway27448
27 days ago
|
|
|
Presumably with automated proofs, hallucinations (aka, creativity or confabulation, if we hadn't botched the naming) is a good thing. It's in the empirical world where trusting an LLM is a stupid thing because there's no automated form of fact checking. |
|
|