TFA isn't a blanket scoffing and neither are my comments. I think LLM's are neat, interesting, and could be very useful. However I do remain skeptical of the m

TFA isn't a blanket scoffing and neither are my comments. I think LLM's are neat, interesting, and could be very useful. However I do remain skeptical of the more extreme claims made by researchers that don't publish their experiments for others to reproduce, by companies with a vested interest in maintaining narratives that improve their gains, etc. That kind of hogwash does make it all the more difficult to have sensible conversations and perform real research. Edit: I, for one, am hopeful we will be able to add reasoning models to our tool-chain one day for the purposes of dispatching trivial proofs to. It would be nice to use formal methods in more places in software development and be able to move past the, cost and time excuses for avoiding them.