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 چرکە، تەنها بیرکاری. هەژمارێک هەرسێ سنوورەکە لادەبات.