יומיות 19.08.2026: מתי להשתמש ב-AI? איזה סוג של מתמטיקה AI יכול לעשות?

מוקדם יותר השבוע פורסם פוסט על Snowflake, אפליקציה של פרוייקט Tor.  עם Snowflake אתם יכולים לעזור קצת לפרטיות ברשת.

היומיות היום כוללות כתבות ארוכות מהרגיל, עם יותר דיוני ברומו של עולם באנגלית מלינקים מקומיים בעברית. כך יצא.

1. ברוס שנייר, שאני מכור לבלוג שלו, כתב פוסט על מתי להשתמש ב-AI ומתי לעשות משהו בעצמכם?

הטריגר היה שהסטודנטים של שנייר השתמשו ב-AI בשיעורי בית. "מה המטרה?" הוא שאלה אותם, "אתם משלמים הון תועפות ללימודים, המטרה היא לצבור כישורים וידע – איך AI עוזר לזה? זה כמו ללכת לחדר כושר ולשתמש במלגזה כדי להרים משקולות."

אז מתי להשתמש ב-AI דאליבא דשנייר? כשצריך להיות מאד מעשי ומהיר. בעבודה, כשיש דדליינים, צריך AI. לפעמים. אם ידוע שהוא אמין במשימה הזאת. אבל בשביל משימות שנועדו לשפר את עצמכם או בשביל הכיף? כלומר, לימודים או פרוייקט צד – תמנעו מ-AI.

אני מסכים בגדול. אם היו שוכרים אותי לכתוב איזה אתר כיום בטח הייתי משתמש ב-AI. זאת עבודה ורוצים לסיים אותה כמה שיותר מהר. אם אני בונה אתר בעצמי, נגיד את האתר הזה, אז מעדיף לבד.

תוספת שלי: גם בעבודה לא תמיד עדיף AI1 כמו כל קיצור דרך – הוא מגיע עם מחיר, לפעמים המחיר הוא איכות, לפעמים המחיר הוא תחזוקה או קושי בשיפורם עתידיים.

שנייר גם מפספס את זה שהסטודנטים שלו, וכנראה רוב הסטודנטים בעשרות שנים האחרונות, לא הולכים לאוניברסיטה כדי לקבל ידע – אלא לקבל תואר. תציע להם לקנות תואר והרבה יסכימו (אם נשים את הסכנות החוקיות בצד). תואר זאת דרישה בעולם המודרני, לא משהו שעושים בשביל הכיף.

2. ההוכחות האחרונות של AI במתמטיקה גרמו להרבה מתמטיקאיים לרוץ בחדר בעודם מנפנפים בידיים צועקים שהמתמטיקה אבודה. מחוץ לעולם המתמטיקה מתמטיקאיים לא רציונליים כמו כל אחד אחר. כי האם AI זה סופה של המתמטיקה? מוקדם מאד מאד לחוות דעה בנושא. מאד.

טים גאוורס, מתמטיקאי בריטי מפורסם שאפילו היה לי הכבוד לפגוש כמה פעמים, שומר על ראש שקול. הוא כתב פוסט על איזה סוג בעיות מתמטיות AI יכול לפתור.

זה פוסט ארוך. גאוורס מנסה לנתח את השאלה באיזמיל של מתמטיקאי, על סמך העדויות האחרונות. גאוורס מאד מדגיש שזה ניתוח עכשווי! יכול להיות שמחר כבר יהיה מודל חדש שיגרום לו להיות לא רלוונטי. אבל אנחנו לא עוסקים בספקולציות; אנחנו עוסקים במה שידוע.

רבים משערים כרגע ש-AI פשוט יותר טובים מבני אנוש במתמטיקה בכלליות. אבל אם זה היה נכון, בהתחשב ביתרונות המהירות של AI ומחשבים באופן כללי, היינו רואים זרם אדיר של תוצאות. רק שלא: אנחנו רואים טפטוף ספיצפי – אז זה לא המצב.

יש שני דברים שה-AI כיום טובים בהם, לדעתו של גאוורס. האחד הוא זה שהם יודעים הרבה מתמטיקה. יותר מכל בן אדם חי. שזה אומר שהמידע שלהם כולל יותר הגדרות, ספרים ושיטות ממה שכל בן אדם יודע. השני זה שהם פועלים יותר מהר ויכולים לנסות יותר דרכים לפתור בעיה.

זה מוביל לכך ש-AI טובים בסוג בעיות שאפשר לנסות עליהן עוד ועוד שיטות קיימות עד שאחת מהן תופסת. זאת אסטרטגיה שלא דורשת הבנה של הבעיה. היא פשוט טכנית מנסה לפצח אותה. לעומת זאת, בעיות שדורשות חפירה לעומק של הבעיה והמצאה של שיטות פתרון חדשות – בזה ה-AI לא טוב כרגע.

זה יכול להסביר למה ה-AI טוב, בין השאר, בלפתור בעיות שצריך דוגמא בשבילן (כמו הפרכת השערת מרחק היחידה [פוסט] באמצעות דוגמא, או הפרכת השערת הג'קוביאן). אבל, גאוורס מדגיש, זה לא ש-AI לא יכול לפתור בעיות שלא דורשות דוגמא. הוא יכול והוא פותר, הן פשוט קיבלו פחות כותרות בגלל שהן בעיות פחות מפורסמות.

אני חש שיקח שנה, חמש שנים, עשור, אבל מתישהו תהיה תיאוריה של AI ומתמטיקה. משהו שמסווג בצורה מדויקת מה AI יכול לפתור ומה לא. ואנחנו ניזכר בתקופה שלנו כיום כ"זוכרים את הזמן שחשבנו ש-AI יכול להחליף מתמטיקאיים? חה חה, איזה תמימים היו כולם אז".

נראה בעתיד אם אני אופטימי או נאיבי.

3. איור של בהמה, Behemoth, מתוך אינציקלופדית השאול, אינציקלופדיה של דמונולוגיה. המהדורה הראשונה שלה יצאה ב-1818, אבל הגירסא הכי מפורסמת, מ-1863, כללה 69 איורים של לואי לה ברטון.

ממליץ להביט בקישור למה כדי לראות את שאר האיורים, הם מהממים. המקורי הוא בשחור לבן, ביקשתי מ-AI לצבוע אותו צבעוני, כי אני עצלן מדי בשביל לעשות זאת בעצמי.

4. יצא הספר השלישי בסדרת תעלומות אנה ודין של רוברט בנט ג'קסון. סדרה שקוראי האתר – ולא רק הם והן – מאד אוהבים! יקח לי קצת זמן להגיע אליו, חודש אני מקווה. ב-Grimdark יש כבר ביקורת עליו.

כדי לקדם את הספר עשה רב"ג' סשן שאלות ותשובות ברדדיט. לשאלה, "כמה ספרים מתוכננים בסדרה?" הוא ענה שבהתחלה הם תיכננו רק אחד, לראות איך זה יתפוס. כשזה תפס טוב, כאילו ממש טוב כי הספר זכה בפרס ההוגו, הוא קיבל חוזה לשני ספרים נוספים. אבל הכוונה לא הייתה לסיים את זה בטרילוגיה, כי כל הקטע בסדרות בלשיות זה שאפשר לכתוב כמה שרוצים.

אז כמה הוא רוצה? יש לו עלילה גדולה מאד ספציפית בראש והוא יודע איך הוא רוצה שהדמויות יסיימו את דרכן. כמה ספרים יקח לספר את זה? הוא לא בטוח. 7-8 נראה כרגע כמו מספר הגיוני.

5. טליה הגיבה במסטודון לפוסט הקודם על Tor, עם קישור למדריך שכתוב בעברית פשוטה ומסביר, מה זה Tor?

6. אחת המבשלות המובילות באירופה ייצרה בירה ע"פ חלום של מעריץ ישראלי.