Albert Jiang(@AlbertQJiang):Great to see @WendaLi8 talk about Leanstral in the ICML tutorial: https://t.co/6nLTSIjLJU Starting 2:09:00 you see Leanstral present an elegant 6-line proof using grind compared to Claude's 40-50 line slop and Aristotle's 180-line MCTS trace (alledgedly) :P Leanstral: https://t.co/XOlt6iD6FE Claude: https://t.co/HXHCmc4eia Aristotle: https://t.co/0xcBxObS2d Genuinely gobsmacked by the Aristotle proof taking three vertical screenshots to capture and the last one exceeds twitter photo limit lol

Albert Jiang

@AlbertQJiang

L∃∀N @MistralAI 知行合一 Nullius in verba

Joined June 2020

401 Following 4K Followers

Albert Jiang@AlbertQJiang

2026.08.18 23:00

Great to see @WendaLi8 talk about Leanstral in the ICML tutorial: Starting 2:09:00 you see Leanstral present an elegant 6-line proof using grind compared to Claude's 40-50 line slop and Aristotle's 180-line MCTS trace (alledgedly) :P Leanstral: Claude: Aristotle: Genuinely gobsmacked by the Aristotle proof taking three vertical screenshots to capture and the last one exceeds twitter photo limit lol