Qurak

もっともらしいことと正しいことは同じではない

言語モデルが自信を持って誤答する六つの問題を、エンジンが計算した答えと並べて。

パターンから答えるアシスタントは、無視できない頻度で間違え、しかも特徴的な間違え方をします。答えの形は正しいのです。級数の最初の数項は合っている。積分は有名な値に間違った範囲が付いている。因数分解は、目視で見抜ける限界のところで止まる。下の各行は、パターンの答え、それが崩れる項、そしてエンジンが計算して返した答えを示しています。

このページではモデル名を挙げていません。左の列はこれらの問題に対してパターンマッチングが一般に生み出すものであり、どれか一つのモデルが改善した時点で古くなります。右の列はビルドごとにエンジンで再検証され、ずれが生じればこのページは出荷できません。

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

言語モデル、パターンから答える

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

誤った項: 31x^9/2835

Qurak、計算する

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

ビルド時にエンジンで検証

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.

自分で計算する

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

言語モデル、パターンから答える

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

誤った項: -1

Qurak、計算する

{4, 3, 2, 1}

ビルド時にエンジンで検証

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.

自分で計算する

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

言語モデル、パターンから答える

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

誤った項: Pi

Qurak、計算する

Pi/2

ビルド時にエンジンで検証

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.

自分で計算する

FactorInteger[987654321987]

言語モデル、パターンから答える

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

誤った項: 329218123329 declared prime

Qurak、計算する

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

ビルド時にエンジンで検証

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.

自分で計算する

PowerMod[3, 1000000, 1000000007]

言語モデル、パターンから答える

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

誤った項: 1

Qurak、計算する

64935414

ビルド時にエンジンで検証

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.

自分で計算する

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

言語モデル、パターンから答える

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

誤った項: Pi^4/96

Qurak、計算する

Pi^4/90

ビルド時にエンジンで検証

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.

自分で計算する

アシスタントは数学をエンジンに任せられます

Qurak は MCP サーバーです。接続すれば、Claude、Cursor、VS Code をはじめどの MCP クライアントも、推測する代わりに計算します。無料プランで使えます。あるいは、アカウントなしでここで式を一つ試してください。

匿名では 1 時間あたり 5 回の評価、1 秒の計算時間、数学のみ。アカウントを作れば三つとも解除されます。