Граф решения eq29
\[\begin{aligned} &x\,y'' + \bigl[(ax + 1)\,f(x) + ax - 1\bigr]\,y'\\ &\qquad + a^2 x\,f(x)\,y = 0 \end{aligned}\]
Не решена
Найдено семейств: 0 / 2
Судья: Полнота не установлена
Ход решения: слабый
Lean: 4 / 20
Не решена. Ни одно из семейств решений справочника (2) не найдено. Полнота не установлена; этот вывод совпадает с эталоном.
Как читать граф
Граф показывает, как агент решал задачу, — слева направо. Ответ — в узлах ★ Решение; всё, что левее, — как он получен.
- Задача
- исходное уравнение, корень графа.
- Идея N
- замысел решения, который агент сформулировал до попытки.
- Вариант N
- попытка решить по идее N: «✓ дал решение» или «тупик» (решения не получилось; вся ветка скрыта фильтром).
- ★ Решение N
- итоговое решение варианта N — готовый ответ. «совпало с эталоном» — судья сопоставил его с семейством решений справочника; «Lean ✓» — его формальная часть компилируется.
- Полнота → Шаг N
- обоснование того, что других решений нет: шаги и их решения; ∎ Вывод о полноте — итог этой ветки, если агент его сформулировал.
- Подзадачи, фрагменты
- (переключатель) как выполнялся вариант: подзадачи и их решения; зелёные фрагменты вошли в итоговое решение.
- Судья
- (переключатель) узлы LLM-судьи: проверка решений, сверка с эталоном, вердикт.
Нажмите на узел — слева появятся его текст, Lean-код и результат проверки; «Куда ведёт» — поддерево узла.
Загрузка графа…
Промпты и сырые ответы модели не показываются; эталонные решения и их пересказ судьёй скрыты.