Решение олимпиадных задач по математике

★ 8.6 · learning

math-olympiad — это скилл для Claude Code, который решает олимпиадные задачи по математике (IMO, Putnam, USAMO, AIME) с многоступенчатой adversarial-верификацией, выявляющей ошибки, которые пропускает самопроверка. Скилл запускает 8–12 параллельных агентов-решателей с итеративным уточнением по схеме Yang-Huang (solve → self-improve → self-verify → correct), а затем прогоняет доказательство через 5-проходной adversarial-верификатор в чистом контексте — без влияния исходных рассуждений. Инструмент работает на чистом логическом рассуждении без вычислений; вместо уверенного неправильного ответа честно возвращает «no confident solution». Если доступен LaTeX, после успешной верификации автоматически компилируется аккуратный PDF. Подходит для проверки чужих доказательств, решения полных комплектов задач соревнований и разбора неравенств или задач на нахождение конкретного числового ответа.