Live solver
Watch it solve. Then watch it get checked.
Pick a math or code problem, or write your own. The model streams its reasoning live, and then the answer is verified, not vibed. Math answers are matched against a known gold value, sympy style. Code is run against real unit tests in your browser with Pyodide. Green means proven.
Problem
Pick a problem
PromptCalculus
Number theory
Word problems
Algebra
Combinatorics
Evaluate the definite integral of 3*x^2 from x = 0 to x = 1.
answer hidden, checked with sympy after you solve
Reasoningidle
The model's work streams here, then the verdict appears below.
This preview runs a base model plus the real verification layer. The adapted weights did not push the solve rate up: they scored 46 against the base model’s 54 on Adaption’s held out evaluation. The check is the same either way, and that is the part worth looking at. It does not care which model produced the answer, or whether the result flatters me.