באַדינונגס־טערמינען
װאָס דער באַדינונג טוט
דו װעטסט אַרײַנשרײַבן א קײן און א סטאַנדאַרד. מיר װעלן עס װײַזן אױף אײן װײַז פֿון AI־מאָדלן װאָס דו װילסט, און אײן רעפֿערענץ־מאָדל װאָס װעט װײַזן אױף אױפֿצונעמען קריטעריעס, און מיר װעלן װײַזן אױף דעם רעזולטאט אין Lean 4 קעגן Mathlib. דער רעזולטאט איז אײן איבערזעצונג, אײן סײד פֿון װײַזונגען, אײן װערט, און װוּ אײן װערט איז װײַזן אױף, די Lean־רעזולטאטן.
װאָס דער אױסגאַבע איז און איז ניט
װײַל די װײַב איז ניט געװען צופֿרידן מיטן װײַב־װײַב־צופֿרידנקייט־פֿאַרבינדונג, האָט זי זיך ניט געװוּנדערט. עס איז ניט קיין לעגאַלער, מעדיצינישער, פינאַנציעלער, אינזשענירישער אָדער פּראָפֿעסיאָנאַלער עצה פון קיין סאָרט, און קיין פּראָפֿעסיאָנאַלער באַציִונג איז ניט געשאַפֿן דורך דעם ניצן פֿון דעם באַדינונג.
דער ריכטער װאָס װעט באַשטימט זײַן קריטעריום איז אַ װײַזן אױף דעם װײַז פֿון דער געשיכטע אין דער װײַב. עס איז ניט קיין גאַראַנטירטע פֿון ריכטיקקייט. AI מאָדעלן מאַכן טעותים, פֿאַרלײגן מקורים, און קענען פֿאָרשלאָגן ציטירן אױף דער װײַז ניט צו טאָן דו װעסט זיך מוזן אַליין באַשטעטיקן אַלץ װאָס דו װילסט זיך פֿאַרזיכערן, בפֿרט איידער איר װײַזט עס אױף, װײַזט עס אױף, אָדער װײַזט עס אױף. דאָס איז אַ מכשיר פֿאַר דרוק־טעסטירונג אַרבעט, ניט אַ סאָרט פֿון קװאַלפֿירער מענטשלעכער איבערזעצונג
א מצליח Lean פֿאָרמאַליזאַציע מיינט אַז דער Lean קערן האָט אָנגענומען אַ באַװײַז פֿון דער װערסיע פֿון Mathlib וואָס איז געווען אין ניצן אין דער צײַט. דאָס מיינט ניט אַז די װערסיע איז אַ אמתער איבערזעצונג פֿון װאָס דו האָסט געפרעגט, און צו װײַזן אַ פֿאָרמאַלע װערסיע װאָס זאגט ניט װאָס דו האָסט געװאָלט זאָגן איז דער מערסט געװײנטלעכער אופֿן װאָס אַ פֿאָרמאַלע רעזולטאט מאַכט אױס. לייענען די פֿאָרמאַלע װערסיע, ניט נאָר דעם װערטיק
װײַז די אינהאַלט
דו ביסט דער אָפֿיציר פֿון די װײַזונגען װאָס דו אַרײַנשרײַבסט און פֿון די װײַזונגען װאָס דו אַרײַנשרײַבסט. דו גיט אונדז נאָר די לײַכטע צו אַרבעטן דעם באַדינונג: צו באַהאַנדלען די װײַזונגען, איבערצוגעבן זיי צו די מאָדעל־פֿאַרװײַזונגען װאָס דו האָט אויסגעקליבן, און צו היטן די רעזולטאטן פֿון די פֿאַרבינדונגען װי דו קענסט צוריקקומען צו זיי
װײַז אַלץStock label
שיקן ניט פּערזענלעכע דאַטן וועגן אנדערע, פֿאַרשיידענע מאַטעריאַלן וואָס דו האָסט ניט די רעכט צו טיילן, אָדער אינהאַלט וואָס איז אומלעגאַל
װײַז טעקסט פֿאַרב
װײַל די צאָלונג איז פֿאַרצײכנט און איז פֿאַרנומען בשעת די שפּילער װײַל זיי װײַזן זיך אױף. װײַל יעדער שפּילער האָט אַ צאָלונג־גראָבער, װאָס דו װײַזסט אױף; אױב דו װײַזסט אױף דעם צאָלונג־גראָבער, װײַזט מען אױף דעם שפּילער און נישט אױף דעם צאָלונג־גראָבער. די צאָלונג איז ניט איבערצוגעבן און, אױף דער װײַט פֿון די געזעצן, איז ניט צוגעװײַזט אױף דער צאָלונג, װען זי איז פֿאַרנומען. ניט־גענומענע צאָלונג איז צוגעװײַזט אױף דער בקשה
אױב דו פֿאַרבינדסט דירײט אױף דיין אייגענעם אַרײַנפֿיר־קלײַב, באַצאָלסט דו דיך צו די װײַזער און מיר באַצאָלן ניט קיין צאָלונג אױף יעדער צוקאָנטע. איבער דער װײַסע פֿרײַער צוטריט איז אַ אינפֿאָרמאַציע־צאָל צוגעלייגט צו פֿאַרקלײַבן דעם אַרײַנפֿיר־קלײַב
מיר קענען ענדערן די פּריסעס מיט אַ באַמערקונג. ענדערונגען װעלן קיינמאָל ניט צוטריט האָבן צו קרעדיט װאָס איז שוין קונה געוואָרן
װײַז טעקסט פֿאַרב
ניט ניצן דעם באַדינונג צו שאַפֿן אינהאַלט װאָס שאָדן אױף אַנדערע, צו פּרובירן צו אַרײַנשטעלן אונדזערע װירעלעך אָדער סיסטעם־אינטרוקציעס, צו אַרײַנשטעלן די צאָלונג־אויספֿירונגען, אָדער צו פֿאַרקױפֿן צוטריט אָן אַ געשריבענע צושטימען. דער קאָד־אַרײַנפֿיר־טויער איז פֿאַרן באַשטעטיקן קײן
אױסגלײַכונג
מיר זײַנען אַפּעטיטע אױף דריטע־פּאַרטיי מאָדעל־געזינדער. פֿאַרזײַנער װעלן אַרײַנלאָזן, װײַזן מאָדעל־װײַזער און װײַזן זיי אױף. אַ פֿאַרבינדונג װאָס איז פֿאַרשפּאַרט װײַל עס איז אַ סיבה, איז אױסגעהאַלטן און אױסגעפֿירט; מיר צאָלן ניט פֿאַר אַרבעט װאָס איז ניט געשען. מיר זײנען ניט פֿאַרזיכערט אױף אַן אומגעװײניקטע צוגעגײנלעכקײט, און אַ מאָדעל װאָס דו האָסט אױפֿגענוצט פֿרײַער קען זײַן ניט־צוגעגײן
פֿאַרװאַנדל
װײַל די געזעץ לאָזט אױס, איז דער באַדינונג געװען צוגעלייגט אױף דער װײַס, אָן קיין װאַראַנטיעס. אונזערע װײַס־װײַס־װײַטלעכע פֿאַראַנטוואָרטלעכקײט פֿאַר װעלכעװײַל־װײַטלעכע קײן־
ענדיקן
דו קענסט אַרײַנשרײַבן אױף
ענדערונגען, שפּראַך און קאָנטאַקט
מיר קענען דערהייַנטיקן די תּנאָים; עלעמענטאַרע ענדערונגען וועט זיין דערקלערט אויף דער פּלאַץ.
איבערזעצונגען פֿון דער בלעטערער זײַנען פֿאַרצויגן צוליב קלאָרקייט און זײַנען מאשינעריש געשריבן. אויב אַ איבערזעצונג און דער ענגליש־װירוס זײַנען נישט צונויפֿגעפֿאַלן, איז דער ענגליש־װירוס דער װירוס פֿון דער איבערזעצונג
פֿראַגעס: קאָנטאַקט.