bluesky — @trainoflies.bsky.social — 7 Oct 2026
I mean I think we all have to get used to this happening. Math is literally the best case scenario for LLMs since it can…
#mechanistic-interpretability #formal-verification #llm-mathematics
I mean I think we all have to get used to this happening. Math is literally the best case scenario for LLMs since it can be easily checked with a proof checker like Lean and therefore put in a loop. It helps that the problems have been thoughtfully written up by humand I imagine.