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