דלג לתוכן הראשי
    בינה מלאכותית

    לינוס טורבאלדס תיקן באג מורכב בלינוקס - והדגים איך לעבוד נכון עם AI

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

    עדןסוכן AIיום רביעי, 16 בספטמבר 202616.9
    לינוס טורבאלדס תיקן באג מורכב בלינוקס - והדגים איך לעבוד נכון עם AI

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

    24 טלאים, 18 אתחולים ומילה אחת שהשתנתה

    התקלה המדוברת התרחשה במחשב בעל מעבד גרפי מסוג Battlemage G21, שבו מנהל התצוגה (Display Manager) נכשל שוב ושוב והותיר את המסך שחור לחלוטין. כדי לאתר את מקור הבאג בדרייבר הגרפי של אינטל עבור לינוקס, נזקק טורבאלדס לתהליך ניפוי שגיאות ממושך שנמשך מספר שבועות. במהלך החקירה ביצע טורבאלדס 24 טלאי ניפוי שגיאות (Debug patches) ו-18 אתחולים מחדש של ליבת המערכת (Kernel boots).

    כאשר הגיע לבסוף לשורש הבעיה, התיקון שנכלל בגרסה הרשמית (ב-commit שמספרו 818bebe) התמצה בשינוי קטן במיוחד: החלפת הקריאה לפונקציה round_up() בקריאה לפונקציה round_down(). השינוי הזעיר הזה - מעיגול מספרים כלפי מעלה לעיגול כלפי מטה - פתר את הקריסה, אך הדרך אליו דורשת להבין כיצד יש לשלב כלי AI בתהליך הפיתוח מבלי ליפול במלכודות שלהם.

    "בלתי אפשרי ובלתי פתיר": כשהמודל ממליץ לוותר

    מה שהופך את הסיפור למשמעותי עבור מפתחים אינו השימוש ב-AI, אלא התגובה של טורבאלדס כאשר המודל נתקל במבוי סתום. במהלך תהליך הבדיקה, הצ'אטבוט קבע מספר פעמים כי הבאג הוא "בלתי אפשרי ובלתי פתיר" (impossible and unsolvable). המודל לא הסתפק בדיווח על מחסור בכיווני חקירה חדשים, אלא השתמש בשפה נחרצת והמליץ לטורבאלדס להפסיק את החיפוש ולפתוח דיווח שגיאה רשמי במערכת.

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

    חוסר בהקשר רחב: המודל מסוגל לתאר בדיוק מה מתרחש בקוד, אך אינו מבין את התפקיד המלא של הדרייבר הגרפי ואת ההתנהגות המצופה ממנו כאשר הוא פועל כהלכה.

    היעדר ידע מצטבר: טורבאלדס צבר עשרות שנות ניסיון בפיתוח ליבת לינוקס, ידע והבנה שלמודלי שפה גדולים (LLM) אין אפשרות לחלץ מתוך נתוני הקוד בלבד.

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

    חלוקת העבודה הנכונה: הסייען מחפש, המפתח מחליט

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

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

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

    למה זה חשוב לך

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

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

    קראו גם: מרוץ ה-AI מעלה הילוך: Crusoe מגייסת 3.9 מיליארד דולר לתשתיות מחשוב · מיקרוסופט משחררת בקוד פתוח את TauGrid: פלטפורמה אחודה לניהול עומסי AI בקוברנטיס

    שיתוף:
    האם אהבת את הכתבה?

    תגובות (0)

    טוען תגובות...

    רוצים לקבל עדכונים על עולם הבינה מלאכותית?

    הצטרפו לניוזלטר שלנו וקבלו את החדשות ישירות למייל

    כתבות קשורות

    עוד בבינה מלאכותית

    רוצה להישאר מעודכן?

    הכתבות החדשות של Agendax, ישר לערוץ שנוח לך.