>> We've had automated theorem proving since the 60s. > By that logic, we've had LLMs since the 60s! From a bit earlier[0], actually: Progressing to the 19

>> We've had automated theorem proving since the 60s. > By that logic, we've had LLMs since the 60s! From a bit earlier[0], actually: Progressing to the 1950s and 60s We saw the development of the first language models. Were those "large"? I'm sure at the time they were thought to be so. 0 - https://ai-researchstudies.com/history-of-large-language-models-from-1940-to-2023/ https://ai-researchstudies.com/history-of-large-language-mod...