בתשובה לעומר, 29/11/22 15:58
מי צריך לימודי ליב"ה‏1? 754433
המסקנה שלי לאחר כמה שעות של משחק עם ה-AI היא שזה ממש לא "מעבר לפינה". בפרט, אני מוכן להתערב שלא תהיה שום הוכחת היתכנות לפני ש-‏2023 תסתיים.
מי צריך לימודי ליב"ה‏1? 754434
ביחס של 1:1 אני מוכן להתערב על 2024 (ובכל מקרה אסכים רק להתערבות קטנה).

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

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

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

יש גם תרחישים שלדעתי צריכים להסתיים בתיקו. למשל מערכת שמסוגלת לקבל היפותזה מוגדרת היטב ולהוכיח אותה, והיא מספיק חזקה כדי להפיק עצמאית הוכחות חדשות ומלאות לבעיות קשות וראויות לפרסום. פרקטית זו אולי תהיה פריצת דרך משמעותית יותר מהתרחישים הקודמים, אבל זו לא בדיוק הוכחת התכנות למתמטיקאי בקופסא עדיין.
מי צריך לימודי ליב"ה‏1? 758086
משהו קשור מהבלוג של סקוט אהרונסון : "After ChatGPT got “only” a D on economist Bryan Caplan’s midterm exam, Bryan bet against any AI getting A’s on his exams before 2029. A mere three months later, GPT-4 has earned an A on the same exam (having been trained on data that ended before the exam was made public)."
מי צריך לימודי ליב"ה‏1? 758106
הציטוט הזה אפילו יותר מצחיק: ״AI enthusiasts have cried wolf for decades. GPT-4 is the wolf. I’ve seen it with my own eyes.״
מי צריך לימודי ליב"ה‏1? 758089
עוד לא מתימטיקאי בקופסה, אבל נראה אותה חושבת מחוץ לקופסה!
מי צריך לימודי ליב"ה‏1? 758173
אם למישהו יש ראש לעניינים חסרי חשיבות כאלה, התרשמתי מאד
מי צריך לימודי ליב"ה‏1? 758175
מן הסתם אני מסכים שזה מעניין (גילוי נאות: מכיר חלק מהמחברים).

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

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

ברמה האישית, יש אבסורד שקשה לי להכיל בכך שמשהו מופשט ומד"בי כמו האמור לעיל הוא הדבר היחיד בעיני שמאפיל בחשיבותו על הייאוש מכך שישראל בדרך לאבדון (גם מבחינת ההשלכות על חיי היומיום שלי, וגם מבחינת הטיימליין והמהירות בה דברים מתרחשים). כל ההיוריסטיקות שלי לחשיבה רציונאלית צועקות שפשוט לא ייתכן שהתפתחויות טכנולוגיות מעוררות בי (הרבה) יותר תקוות ופחדים בו זמנית מאשר פאקינג הפיכה משטרית שמתרחשת סביבי ומאיימת להפוך את ישראל לאוטוקרטיה ותאוקרטיה רצחנית, אבל כל ניתוח קונקרטי של העובדות מוביל אותי למסקנה הזו. אני מתחיל קצת לפקפק בבוחן המציאות שלי.
מי צריך לימודי ליב"ה‏1? 758176
על מה אתה מדבר? נתניהו הרי הבטיח שהוא הולך לחוקק חוק שיבסס את זכויות הפרט, כך שהסכנה חלפה.
מי צריך לימודי ליב"ה‏1? 758179
אל דאגה, בסבירות גבוהה הג'פטו החדש בעברית יאמר כמה מילים על פוליטיקה ומיד יקבל מתקפת "שמאלן/בוגד/אנרכיסט" וייאסר לשימוש במרחבי הדיקטטורה המתחדשת.
מי צריך לימודי ליב"ה‏1? 758182
בס"ד

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

רק ביבי!
מי צריך לימודי ליב"ה‏1? 758184
אלא אם ניתן לו להתאמן על טקסטים דל האייל הקורא.
היי - מצאתי את המטרה האולטימטיבית של האתר שלנו, שרק עבורה היה שווה לשמר אותו כל השנים. הידד!
מי צריך לימודי ליב"ה‏1? 758187
מרשים ביותר!
מי צריך לימודי ליב"ה‏1? 774101
2024 עוד לא נגמרה ובכלל לא התערבנו, ובכל זאת מעניין אותי מה דעתך בנושא כיום.
מי צריך לימודי ליב"ה‏1? 774120
הערה צדדית: אתם אנשי מקצוע, אבל שאלה להדיוטות שבחבורה: האם רק אצלי תחום ההתעניינות העיקרי עבר מבינה מלאכותית לטיפשות אנושית? (ואצל הרבה אחרים שהיו עסוקים בסדרי שלטון וההפיכה המשטרית, העניין הוחלף מ-regulation ל-reloacation?)
מי צריך לימודי ליב"ה‏1? 774643
אתה לא לבד!
מי צריך לימודי ליב"ה‏1? 774649
מזכיר את היחס שלי להתחממות הגלובלית.
כרגע לא נראה לי שהיא בחמישייה הראשונה של האיומים על עתידי ועתיד משפחתי ובנותיי. וגם לא על סביבתי הרחוקה יותר.
והיחס שלי בהתאם.

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

חזרה לעמוד הראשי

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים