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

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

פסק דין בוטה על המסמכים עצמם

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

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

'הכל נטען שהוכח'

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

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

הטבלה המחזורית אינה כימיה

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

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

אזהרה מההיסטוריה של תורת הקבוצות

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

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

מה קלגרי רוצה שמתמטיקאים יעשו

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

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

חלק מחשבון הרבה יותר גדול

החיבור נוחת בתוך שנה של חיכוך מתגבר בין מתמטיקאים ומעבדות בינה מלאכותית. AI Buzz Wire דיווח בעבר על מתמטיקאים שדרשו הוכחה שהמודלים של OpenAI לא הוכשרו בדיונים הפרטיים שלהם, על 25 זוכי מדליות בשדה, כולל טרנס טאו, שהכריז על "אי-התאמה חמורה" בין בינה מלאכותית למתמטיקה, על החששות של המכון ללימודים מתקדמים לגבי 377 תוצאות שמקורן בבינה מלאכותית ובלתי-התרעה על מתמטיקה של TaoAI. כריית מלאי של בעיות פתוחות טובות בעולם.

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

---

הישאר לפני AI

קבל את החדשות, הניתוחים ופריצות הדרך האחרונות של AI - הכל במקום אחד.

קרא עוד חדשות AI →