bluesky — Erik Istre — 7 Oct 2026
Yea in this case we probably wouldn't learn much from what the LLM tried that didn't work but I think we could start to…
#mechanistic-interpretability #mathematical-reasoning #llm-capabilities
Yea in this case we probably wouldn't learn much from what the LLM tried that didn't work but I think we could start to grasp the contours of what they can and can't do in math.
We could begin to hypothesize the shape of theorems and proof techniques LLMs may or may not be good at.