MAESTRO w Kiro CLI: LLM-y rozwiązują trudne dowody matematyczne

Kiro wprowadza MAESTRO – framework koordynacyjny dla modeli językowych, który pozwala im systematycznie rozkładać i rozwiązywać skomplikowane problemy dowodów formalnych. System poradził sobie z wszystkimi sześcioma zadaniami IMO 2026 w niespełna dwie godziny, bijąc wyniki Codexa i Claude Code.