Мы достигли уровня золотой медали на этом year's IMO! Наша модель думает и пишет доказательства на понятном, простом английском - без необходимости в формальном коде. В отличие от более узких систем, использованных в прошлых соревнованиях, наша модель создана для широкого рассуждения, далеко за пределами конкурсных задач.