Apr 24, 2026 QED Solves Two Open Problems in Analysis Apr 10, 2026 QED: A Multi-Agent System for Mathematical Discovery 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