Граф решения eq02
\[(x^3 + a)^3 + a = x\]
mo873.pdf: пример 7, уравнение (33)
Решена полностью
Найдено семейств: 1 / 1
Судья: Полнота доказана
Полнота: Lean ✓
Ход решения: сильный
Lean: 12 / 22
Решена полностью. Найдены все семейства решений справочника (1 из 1). Доказано, что других решений нет (подтверждено в Lean); этот вывод совпадает с эталоном.
Как читать граф
Граф показывает, как агент решал задачу, — слева направо. Ответ — в узлах ★ Решение; всё, что левее, — как он получен.
- Задача
- исходное уравнение, корень графа.
- Идея N
- замысел решения, который агент сформулировал до попытки.
- Вариант N
- попытка решить по идее N: «✓ дал решение» или «тупик» (решения не получилось; вся ветка скрыта фильтром).
- ★ Решение N
- итоговое решение варианта N — готовый ответ. «совпало с эталоном» — судья сопоставил его с семейством решений справочника; «Lean ✓» — его формальная часть компилируется.
- Полнота → Шаг N
- обоснование того, что других решений нет: шаги и их решения; ∎ Вывод о полноте — итог этой ветки, если агент его сформулировал.
- Подзадачи, фрагменты
- (переключатель) как выполнялся вариант: подзадачи и их решения; зелёные фрагменты вошли в итоговое решение.
- Судья
- (переключатель) узлы LLM-судьи: проверка решений, сверка с эталоном, вердикт.
Нажмите на узел — слева появятся его текст, Lean-код и результат проверки; «Куда ведёт» — поддерево узла.
Загрузка графа…
Промпты и сырые ответы модели не показываются; эталонные решения и их пересказ судьёй скрыты.