Tweet by Steve Newman:

Another great post from @GregHBurnham. He takes a deep dive into an LLM's proof of a tough math problem and surfaces with clear insights about the cognitive strengths and weaknesses of current models – they aren't much good at coming up with new abstractions on the fly.

"So, I… https://t.co/BxOvhOibin