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 ثانیه‌ای، فقط ریاضیات. حساب کاربری هر سه محدودیت را برمی‌دارد.