Рассуждение с проверкой

Путь к золоту олимпиады

AlphaProof взял серебро IMO 2024, Aristotle — золотой уровень 2025 года. Все системы, решавшие задачи формально, работали через Lean.