is the new math result neurosymbolic with Lean, harnesses etc or a pure LLM?

→ View original post on X — @garymarcus