Граф решения eq26
\[y(x) + \int_a^b g(t)\,y(x)\,y(t)\,dt = f(x)\]
Не решена
Найдено семейств: 0 / 1
Судья: Решения подтверждены
Ход решения: средний
Lean: 13 / 20
Не решена. Ни одно из семейств решений справочника (1) не найдено. Полнота не установлена; этот вывод совпадает с эталоном.
Как читать граф
Граф показывает, как агент решал задачу, — слева направо. Ответ — в узлах ★ Решение; всё, что левее, — как он получен.
- Задача
- исходное уравнение, корень графа.
- Идея N
- замысел решения, который агент сформулировал до попытки.
- Вариант N
- попытка решить по идее N: «✓ дал решение» или «тупик» (решения не получилось; вся ветка скрыта фильтром).
- ★ Решение N
- итоговое решение варианта N — готовый ответ. «совпало с эталоном» — судья сопоставил его с семейством решений справочника; «Lean ✓» — его формальная часть компилируется.
- Полнота → Шаг N
- обоснование того, что других решений нет: шаги и их решения; ∎ Вывод о полноте — итог этой ветки, если агент его сформулировал.
- Подзадачи, фрагменты
- (переключатель) как выполнялся вариант: подзадачи и их решения; зелёные фрагменты вошли в итоговое решение.
- Судья
- (переключатель) узлы LLM-судьи: проверка решений, сверка с эталоном, вердикт.
Нажмите на узел — слева появятся его текст, Lean-код и результат проверки; «Куда ведёт» — поддерево узла.
Загрузка графа…
Промпты и сырые ответы модели не показываются; эталонные решения и их пересказ судьёй скрыты.