יום שבת, 14 בנובמבר 2026 מתעדכן אוטומטית כל שעה

בנושא

אוניברסיטת הלסינקי

מחקר

Claude סיכם ביומיים 1,009 עמודי מחברות של קורט גדל, ולפי החוקר נמצאו בהם מאות משפטים לא מוכרים

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