Any mild pushback to the claims of LLM companies sure bring out the promptfondlers on lobste.rs
https://lobste.rs/s/qcppwf/llms_don_t_do_formal_reasoning_is_huge
Plenty of agreement, but also a lot of "what is reasoning, really" and "humans are dumb too, so it's not so surprisingly GenAIs are too!". This is sure a solid foundation for multi-billion startups, yes sirree.
yeah, there's a stench of desperation from the defenders
of course, as with crypto, there are uses (in the case of crypto , nothing legitimate). And it will be going to be a fallback for fondlers to point them out (for example, I believe that auto-generated audiobooks are viable, if they're generated from actual books)