 |
|
 |
||
|
||||
 |
ספקן. |  |
 |
 |
|
|
|
||
|
||||
|
כשזה יקרה, לא ישאר הרבה מקום לספק. או שיהיה מדובר ברעיון ברור שמתמטקאים יוכלו לוודא בעצמם את נכונותו באופן בלתי תלוי, או שיהיה מדובר בהוכחה שלפחות חלקיה המרכזיים (אם לא כולה) ינתנו באופן הניתן לאימות פורמלי (למשל ב-lean). אחרת לא סביר שהבעיה תוכרז כפתורה. | |
|
|
|
|
|
||
|
||||
|
אני התלבטתי קצת אם לכתוב ''כאשר...'' או ''אם...'' (אני לא מת על ''אם וכאשר''), אבל לא מפתיע שלך אין ספק שזה יקרה בימי חייך. | |
|
|
|
|
|
||
|
||||
|
אני לא מבין הרבה, ותקן אותי אם אני טועה, אבל מי שיפתור בעיות כאלה לא יהיה LLM. ממה שראיתי אלו נותנים תשובות מעולות, לעתים מדהימות, אבל לא מסיקים משהו שמישהו לא הסיק כבר (או שהיה מסיק בקלות) לפניהם. בסוגים אחרים של AI אני מבין עוד הרבה פחות. |
|
|
|
|
|
|
||
|
||||
|
בוודאי ש-LLM מסוגלים להסיק דברים שאיש לא הסיק בעבר לפניהם. לגבי "היה מסיק בקלות" - אני לא יודע מה פירוש המילה "בקלות" בהקשר הזה1, ולדעתי כבר הדוגמא אליה קישרתי לפני כמה רגעים מספיקה כדי להפריך את זה. בכל מקרה, גם אני - כמוך - הייתי מהמר שמי שיפתור בעיות כאלה לא יהיו LLM "טהור". אבל רבים וחכמים ממני מאמינים שזה דווקא כן יהיה LLM, אז הייתי נזהר בסכום ההימור. 1 נזכרתי בסיפור על גרומוב, ששאל מתמטיקאי מבטיח צעיר, בהפסקת הצהריים, על מה הוא עובד. המתמטיקאי סיפר לו על הפרוייקט שמן הסתם מעסיק אותו כבר שנה או שנתיים, והם נפרדו לדרכם. למחרת הם נפגשו שוב, וגרומוב שאל אותו "נו, אז על מה אתה עובד עכשיו?". |
|
|
|
|
|
|
||
|
||||
|
1 זה מזכיר סיפור דומה על סהרון שלח שפגש דוקטורנט בהפסקת שירותים2, וזה נמשך כמו בסיפור שלך רק ששלח היה אכזרי יותר ולפני שהם נפרדו לדרכם הוא כבר פירט לו את הפתרון - ובזאת חיסל לו את הדוקטורט. 2 או משהו כזה, כמו בכל אגדה אורבנית רואים פה את ההתפתחות הדרמטית. |
|
|
|
|
|
|
||
|
||||
|
בהוכחות מתמטיות אני לא מבין, אבל לסקפטיות שלי יש כבר תימוכין | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש והצהרת נגישות
|
© כל הזכויות שמורות |