Qurak

Plausible is not the same as right

Six problems a language model answers confidently and wrongly, beside what the engine computes.

An assistant answering from pattern is wrong just often enough to matter, and wrong in a particular way: the answer has the right shape. The series has the right first terms; the integral is a famous value with the wrong limits attached; the factorization stops at the point where inspection runs out. Each row below shows the pattern's answer, the term where it fails, and what the engine returns when it computes instead.

No model is named on this page. The left column is what pattern-matching produces on these problems in general, and it dates the moment any one model improves; the right column is re-verified against the engine on every build, and this page cannot ship if it drifts.

Series[Tan[x], {x, 0, 9}]

A language model, answering from pattern

x + x^3/3 + 2x^5/15 + 17x^7/315 + 31x^9/2835 + O(x^11)

The wrong term: 31x^9/2835

Qurak, computing

SeriesData[x, 0, {1, 0, 1/3, 0, 2/15, 0, 17/315, 0, 62/2835}, 1, 10, 1]

verified against the engine at build

The first four coefficients are common enough to be recalled correctly; the fifth is not. The true coefficient is 62/2835. A series that is right to four terms and wrong at the fifth looks like knowledge and is the shape of a guess.

Compute it yourself

Eigenvalues[{{2, 0, 0, 1}, {0, 3, 1, 0}, {0, 1, 3, 0}, {1, 0, 0, 2}}]

A language model, answering from pattern

{4, 2, 3, 1} - or, from a sign slip in the characteristic polynomial, {4, 3, 2, -1}

The wrong term: -1

Qurak, computing

{4, 3, 2, 1}

verified against the engine at build

A 4x4 characteristic polynomial has enough terms for one sign to go wrong on the way to the answer, and a wrong sign produces a wrong eigenvalue that still looks like one. Here the matrix decouples into two 2x2 blocks; the engine finds all four exactly rather than approximating the quartic.

Compute it yourself

Integrate[Sin[x]/x, {x, 0, Infinity}]

A language model, answering from pattern

Pi - the integral over the whole real line, quoted for the half line

The wrong term: Pi

Qurak, computing

Pi/2

verified against the engine at build

The Dirichlet integral is famous enough to be recalled, and famous enough to be recalled with the wrong limits: the value over (-inf, inf) is Pi, over (0, inf) it is Pi/2. Both facts are true; attaching the right one to the limits written down is the computation.

Compute it yourself

FactorInteger[987654321987]

A language model, answering from pattern

{{3, 1}, {329218123329, 1}} - the cofactor declared prime by inspection

The wrong term: 329218123329 declared prime

Qurak, computing

{{3, 1}, {329281, 1}, {999809, 1}}

verified against the engine at build

Dividing out the 3 is easy; deciding whether the twelve-digit cofactor is prime is not something inspection can do, so a plausible answer stops there and calls it prime. The engine factors it, and it is not.

Compute it yourself

PowerMod[3, 1000000, 1000000007]

A language model, answering from pattern

1 - by Fermat's little theorem, misapplied: 3^(p-1) is 1 mod p, but the exponent here is not p-1

The wrong term: 1

Qurak, computing

64935414

verified against the engine at build

The theorem is real and the shape of the problem invites it, but 10^6 is not 10^9+6. The correct residue is reached only by actually reducing, which is a few hundred squarings - trivial for an engine and impossible by inspection.

Compute it yourself

Sum[1/n^4, {n, 1, Infinity}]

A language model, answering from pattern

Pi^4/96, or Pi^4/45 - a neighbour of the right constant

The wrong term: Pi^4/96

Qurak, computing

Pi^4/90

verified against the engine at build

zeta(2) = Pi^2/6 is remembered by everyone; zeta(4) is remembered as 'Pi^4 over something', and the something is where a recalled answer diverges from a computed one. 90 is right; 96 and 45 both appear in nearby identities and are both wrong here.

Compute it yourself

Your assistant can hand the mathematics to the engine

Qurak is an MCP server. Connected, Claude, Cursor, VS Code or any MCP client computes instead of guessing - and it is open on the free plan. Or try one expression right here, without an account.

5 anonymous evaluations an hour, a 1-second budget, the mathematics only. An account lifts all three.