🚀🚀 Introducing MAGENTA 🚀🚀 MAGENTA is the first agentic pipeline that brings natural-language reasoning and formal verification into a feedback loop, achieving perfect scores on AIME 2025, AIME 2026, and HMMT (February 2026) with various reasoning models. 🔥 MAGENTA achieved 100% accuracy across 93 problems from AIME 2025, AIME 2026, and HMMT February 2026 using K2-Horizon models of different sizes. 🔥 With the compact K2-Horizon-7B, MAGENTA solved all six IMO 2026 problems. The solutions were assessed using automated grading with reference answers and were separately reviewed by IMO medalists. 🔥 To the best of our knowledge, K2-Horizon-7B paired with MAGENTA is the smallest reported reasoner to solve all six IMO 2026 problems. This result suggests that verification and iterative refinement can allow compact models to achieve performance normally associated with much larger systems.