Solution graph eq05 · SciLib

Solution graph eq05: x ^ 5 - (a ^ 4 - 3 * a ^ 2 * b + b ^ 2) * x + a * b * (a ^ 2 - 2 * b) = 0

Matches reference: 2 / 2 Judge: Completeness proven Run: strong Lean: 6 / 15
How to read the graph

The graph reads left to right. Problem — the original equation. Idea — a solution plan the agent formulated before trying. Variant — an attempt to solve along the idea; a successful variant ends in a ★ final solution. A variant is carried out by an implementation: subtasks whose solutions (fragments) are assembled into the final solution — only some fragments make it into the result. A dead end is a variant that produced no solution: its whole branch (implementation, subtasks, fragments) is not part of the result. Completeness is a separate branch: the argument that there are no other solutions.

★ final solution idea / variant fragment used in the result fragment not used completeness dead end
Loading graph…

Prompts and raw model outputs are not shown; reference solutions and the judge's retelling of them are hidden.