Apr 24, 2026 QED Solves Two Open Problems in Analysis Apr 10, 2026 QED: A Multi-Agent System for Mathematical Discovery Apr 10, 2026 pdf-to-Lean: Automatically Formalizing Mathematics from Textbooks Feb 07, 2026 Forward looking: How powerful the foundational models will be at the end of 2026. Jan 22, 2026 Paper Analysis: Gemini Contributes Nontrivial Mathematical Insight