I think you are just agreeing with me and restating the inputs to my argument. I didn’t say LLMs are capable of zero reasoning. An approximation is just an ap

I think you are just agreeing with me and restating the inputs to my argument. I didn’t say LLMs are capable of zero reasoning. An approximation is just an approximation no matter how good. Will you bet your wealth or critical safety systems on: 1. Accuracy of standard computer arithmetic: Yes 2. Accuracy of Lean or automated theorem provers: Yes (you already do) 3. Accuracy of LLM reasoning: No https://en.wikipedia.org/wiki/Handbook_of_Automated_Reasoning https://en.wikipedia.org/wiki/Handbook_of_Automated_Reasonin...