Post #2438873

@adamshostack@infosec.exchange @screwlisp@gamerplus.org @tao@mathstodon.xyz @Ardubal@mastodon.xyz I'm not arguing that LLMs cough up _bad_ proofs, I'm pointing out that they cough up _unchecked_ proofs. Whether those unchecked proofs are useful food for thought, or a cesspool of random garbage, is in the eye of the beholder. But the bottom line is that they are randomly generated proofs. Thinking that they are more than that is a category error.