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