RESEARCH NOTE VERIFIER
Checking math.js

A claim deserves a derivation

Plausible is not proved.

Run an expression through an independent symbolic check. Compare the derived derivative with a claimed one, then test both at a point.

Source lensA research story about an LLM making a non-trivial observation and using SymPy to verify its own prediction.
Independent proof chain

Show the work.

Waiting for an expression.

Ready for a claim

Put the algebra on the table.

Enter a function and the derivative someone claims. The verifier derives, simplifies, and evaluates both sides without treating the input text as evidence.

Proof verdict

Claim verified algebraically and at the chosen point.

Verified
Symbolic residual
0
Derived at point
9
Claim at point
9
Entered expressionx^3 - 3*x + 2
Claimed derivative3*x^2 - 3
Derived derivative3 * x ^ 2 - 3
Derived minus claim, simplified0

What this proves: The entered derivative matches the library-derived expression and both agree at the chosen point. It does not prove a research theorem or model understanding.

Super generates helpful tools and automates fact-checking across the internet proactively. If you enjoyed this tool, build your own with Super and share it with a friend.