8h agoGoogle introduces LEAP, an agentic framework that boosted Gemini 3.1 Pro to a 70% success rate on Putnam math problemsR1 top authorThe system solved all 12 Putnam 2025 competition problems.Original postRORohan Paul@rohanpaul_aiRT @rohanpaul_ai: Another great paper from Google. Shows general LLMs can solve formal math by planning proofs and checking each step. Ra…4:28 AM · Jun 5, 2026SentimentSentimentPos100%Neg0%Positive users praise Google's LEAP framework for raising LLM formal math performance to 70% on Putnam problems.2 comments with sentiment. View comments.
