Claude סיכם ביומיים 1,009 עמודי מחברות של קורט גדל, ולפי החוקר נמצאו בהם מאות משפטים לא מוכרים
הלוגיקן הפיני יאן פון פלאטו מאוניברסיטת הלסינקי נעזר במודל Claude כדי להבין 1,009 עמודים ממחברות העבודה של קורט גדל, שנכתבו בחלקן הגדול בקצרנות גרמנית נשכחת. בתוך יומיים קיבל הסבר בן 650 עמודים, שלדבריו מראה שגדל הוכיח מאות משפטים מתמטיים שאיש לא הכיר. עד אז התקדם הצוות בקצב של כעמוד בשבוע, והחוקר עדיין צריך לבדוק את הפלט עמוד אחר עמוד.
הלוגיקן הפיני יאן פון פלאטו מאוניברסיטת הלסינקי קיבל בספטמבר ממודל ה-AI Claude של אנתרופיק, בתוך יומיים, הסבר בן 650 עמודים ל-16 מחברות עבודה של קורט גדל. לדבריו, ההסבר מגלה שגדל הוכיח מאות משפטים מתמטיים שאיש לא ידע עליהם, כך מדווח הגרדיאן.
המחברות נכתבו בתחילת שנות ה-40 ומחזיקות 1,009 עמודים צפופים של מתמטיקה ולוגיקה. חלק גדול מהן כתוב בגבלסברגר (Gabelsberger), שיטת קצרנות גרמנית שיצאה משימוש עוד בימיו של גדל. פון פלאטו מוביל את הפרויקט מאז 2017, ועד ספטמבר התקדמה ההבנה המתמטית של הטקסט בקצב של כעמוד בשבוע.
מה נמצא במחברות
"הייתי המום", אמר פון פלאטו לגרדיאן. "מחברות העבודה מכילות עשרות הקדמות של תוצאות שלא היו ידועות עד שנות ה-70 וה-80, וגם 14 נושאים בלוגיקה שאיש לא המשיך לחקור. גדל הקדים את זמנו בהרבה".
גדל, לוגיקן אוסטרי, פרסם ב-1931 את שני משפטי אי-השלמות, שהראו כי בכל מערכת מתמטית יש טענות שאי אפשר להוכיח או להפריך בתוכה. עבודתו השפיעה על אלן טיורינג, שמאמרו מ-1936 פתח את תורת החישוב המודרנית. ב-1940 נמלט גדל מאוסטריה שתחת השלטון הנאצי והשתקע בפרינסטון, שם התיידד עם אלברט איינשטיין. אחרי שנות ה-30 פרסם מאמרים מעטים בלבד, אבל הותיר עשרות אלפי עמודים שלא ראו אור. הוא מת ב-1978.
איך זה נעשה
העבודה הארכיונית עצמה הייתה אנושית. פון פלאטו סיפר שהתחיל בפרויקט כי עמד בפני פרישת חובה מהאוניברסיטה וחיפש דרך להישאר חיוני. הוא קיבל מענק של 2.5 מיליון אירו ממועצת המחקר האירופית (ERC), לימד את עצמו את הקצרנות ("אני אחד משישה אנשים בעולם שיודעים לקרוא אותה") והקים צוות קטן.
באוגוסט, בכנס בצרפת על AI והוכחת משפטים, פגש מדעני מחשב שהציעו לו לנסות את Claude. כשחזר להלסינקי הזין למודל את התמלולים שלו למחברות, שישה ספרים שכתב בעבר על גדל וספרות מחקר נוספת.
"בתוך יומיים ראיתי הסבר של 650 עמודים למחברות. צריך היה לבדוק אותו עמוד אחר עמוד, אבל זו עבודה שבני אדם פשוט לא מסוגלים לעשות", אמר. "בני אדם קוראים עמוד אחד בכל פעם ונוטים לשכוח. לוקח לנו שנה לקרוא כ-50 עמודים. ה-AI מסוגל לחבר את כל החלקים באלף עמודים ולראות את כל כתבי גדל כיצירה אחת".
מה עוד לא ברור
הטענה על מאות משפטים מוכחים נשענת בשלב זה על דברי פון פלאטו ועל הסיכום שהפיק המודל, סיכום שהוא עצמו אומר שיש לבדוק עמוד אחר עמוד. בחומר שעמד לרשותנו אין פירוט של המשפטים עצמם, ואין אישור של חוקרים אחרים לממצאים. ההערכה הזהירה היא שהיקף התגלית יתברר רק כשהחומר יעבור בדיקה כזאת.
כל בוקר במייל?סיכום חדשות ה-AI של אתמול, בעברית, בדקות קריאה ספורות. חינם, בלי ספאם.
מעדיפים טלגרם?להצטרפות לערוץ ←
ביטול בקליק אחד, בכל מייל · מדיניות פרטיות