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-клиент вычисляет вместо того, чтобы угадывать, — и это открыто на бесплатном тарифе. Или попробуйте одно выражение прямо здесь, без аккаунта.

5 анонимных вычислений в час, бюджет 1 с, только математика. Аккаунт снимает все три ограничения.