I know google is working on a version of Gemini where chain of thought happens in Lean. Curious to know if it does better

→ View original post on X — @waitin4agi_