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

AxiomProver: 42 из 42

Ансамбль агентов закрыл все шесть задач Международной олимпиады по математике 2026 года формальными доказательствами на Lean 4.