Yeah, it’s actually not a hard problem in code — you just iterate over x values from 0 until you find one that works. What makes it remarkable here is just that counting letters and arithmetic are traditionally hard for LLMs and o1 claims to not be using tools/code

→ View original post on X — @goodside