ההתכנסות הגדולה בעולם של המתמטיקאים התכנסה בסיאטל מה -8 בינואר עד 11 בינואר – 5,444 מתמטיקאים, 3,272 שיחות. השנה התוכנית התפשטה מעט מהפנורמה הקלידוסקופית המסורתית שלה. נושא רשמי, "מתמטיקה בעידן AI", נקבע על ידי ברינה KRA, נשיאת החברה המתמטית האמריקאית, המארחת את האירוע בשיתוף עם 16 ארגוני שותפים. בתצורה זו או אחרת, הפגישה, המכונה ישיבות המתמטיקה המשותפת, או ה- JMM, נערכה פחות או יותר מדי שנה במשך למעלה ממאה שנה.
ד"ר KRA התכוון לנושא AI כ"שיחת השכמה ". "AI הוא משהו שנמצא בחיינו, והגיע הזמן להתחיל לחשוב איך זה משפיע על ההוראה שלך, על התלמידים שלך, על המחקר שלך," אמרה בראיון ל"ניו יורק טיימס ". "מה המשמעות של AI כסופר משותף? אלה סוגי השאלות שעלינו להתמודד איתן. "
בערב השני, יאן לקון, המדען הראשי של AI במטא, נתן הרצאה מרכזית שכותרתה "מכשולים מתמטיים בדרך ל- AI ברמה האנושית" ד"ר לקון נכנס למעט העשבים הטכניים, אך היו טיפות עיכול.
"המצב הנוכחי של למידת מכונות הוא שזה מבאס," אמר במהלך ההרצאה, להרבה מאוד. "לא חשוב לבני אדם, לא חשוב לנסות לשחזר מתמטיקאים או מדענים; אנחנו אפילו לא יכולים לשחזר את מה שחתול יכול לעשות. "
במקום דגמי השפה הגדולה והגניבה המפעילים צ'אט בוטים, הוא טען, "בקנה מידה גדול מודל עולמי"יהיה ההימור הטוב יותר לקידום ושיפור הטכנולוגיה. מערכת כזו, אמר בראיון לאחר ההרצאה, "יכולה להסביר ולתכנן מכיוון שיש לה מודל נפשי של העולם שמנבא השלכות של פעולתה." אבל יש מכשולים, הוא הודה – כמה בעיות בלתי נסבלות מבחינה מתמטית, הפתרונות שלהם בשום מקום באופק.
דירדרה האסקל, מנהלת מכון פילדס למחקר במדעי מתמטיקה בטורונטו ומתמטיקאית באוניברסיטת מקמאסטר, אמרה שהיא מעריכה את התזכורת של ד"ר לקון שכאשר היא נזכרה, "הדרך בה אנו משתמשים במונח AI כיום היא רק דרך אחת של יתכן שיש לך 'בינה מלאכותית'. "
ד"ר לקון ציין בהרצאתו כי המונח אינטליגנציה כללית מלאכותית, או AGI-מכונה עם אינטליגנציה ברמה האנושית-היה כינוי לא נכון. לבני אדם "אין בכלל אינטליגנציה כללית", אמר. "אנחנו מאוד מתמחים." המונח המועדף במטא, הוא אמר, הוא "אינטליגנציה מתקדמת של מכונה", או עמי – "אנו מבטאים את זה 'עמי', שפירושו חבר בצרפתית."
ד"ר האסקל כבר נמכר בחשיבות של "שימוש ב- AI כדי לעשות מתמטיקה, והבעיה העצומה של הבנת המתמטיקה של AI" מומחה בהיגיון מתמטי, היא עובדת על המקבילה של ספר לימוד: אוסף תוצאות שיכולות לשמש מערכות AI לייצור ולאמת מחקרים והוכחות מתמטיות מורכבות יותר.
עבור קני בנקס, סטודנט לתואר ראשון באוניברסיטת צפון קרוליינה בגרינסבורו שהשתתף ב- JMM, הבינה המלאכותית אינה מושכת ככלי להנחיית הבדיקה. "אני חושב שהמתמטיקה שאנשים אוהבים כיום מונעים על ידי סקרנות אנושית, ומה שהמחשבים מוצאים מעניינים לא יכולים להיות זהים למה שבני האדם מוצאים מעניינים," אמר במייל. אף על פי כן, הוא התחרט לא סחט שום שיחות הקשורות ל- AI למסלול הטיול שלו. "הנושא Math + AI היה בהחלט מעניין, זה פשוט לא עבד עם כל הדברים שתכננתי!"
להלן כמה נקודות עיקריות אחרות מהמתפלוזה בסיאטל:
יום 1
בשעה 18 בערב ביום רביעי, 8 בינואר, לאחר טקס חיתוך ופרסים של סרטים, המשתתפים הוטבעו לקבלת הפנים של הפתיחה באולם התצוגה. ההגרלה הייתה א) אוכל בחינם, וב) דוכני תערוכות שכבשו על ידי מפרסמים ומסירים של מלחמות מתמיות שונות. בבות '337 מכר רוברט אתאואר מלאי מרשים של קוביות – כולל "החדש"5 שחקן ללכת קוביות ראשונות"סט צבעוני של חמש קוביות 60 צדדיות שלא חולקות שום מספר משותף, ומאפשר לחמישה שחקני משחק ירייה שווה כאשר הם מתגלגלים כדי לקבוע מי מתחיל קודם. ד"ר פאטאואר, שממוקם באריזונה, היה גם מארגן משותף לתערוכת האמנות של הפגישה ותרם שני פסלי קרמיקה משלו, "הליקואיד היפרבולי" ו"סחיטה מעוקבת ".
הגשות האמנות עטורות הפרסים של התערוכה היו "מפלצת אוכף", סרוגה בצמר, נחושת וניילון, מאת שיינג דונג מגריניץ ', קונט., אמן מתמטי עם דוקטורט. בפיזיקה …
… ו- "מעוותים" ו"לא מפותחים ", שנוצרו באמצעות אפליקציית גרפיקה וקטורית באייפד, מאת רשמי סנדר-ראג ', אמן מתמטי בווטרלו, אונטריו.
רבקה לין, דוקטורט. סטודנט במדעי המחשב ב- MIT, זכה לאזכור מכובד על חריטה חתוכה בלייזר על הנייר שכותרתו "מתפרק (מצב נפשי)."
יום 2
ביום חמישי הוזמן ג'ון ווילד, תיאורטיקן מוזיקה באוניברסיטת מקגיל במונטריאול שעושה מתמטיקה בצד, למפגש על מתמטיקה יישומית כדי לדון בחקירותיו ב"ספירה של עיגולים "במטוס. בהתחשב באילוצים מסוימים, יש דרך אחת לצייר מעגל אחד, שלוש דרכים לצייר שני עיגולים, 14 דרכים למשוך שלוש, 173 דרכים לארבע ו -16,951 דרכים למשוך חמש. (ספירה של שישה מעגלים טרם מחושבת.) ד"ר וויל הופתע לגלות כי מחקר זה היה רלוונטי להדפסת תלת מימד: כלומר, כיצד ראשי מדפסת מרובים יכולים להתחקות אחר קשתות מעגליות תוך הימנעות מתנגשויות. "הייתי מדגדג," אמר ד"ר ווילד.
במהלך פגישה בנושא מתמטיקה ואומנויות, סוזן גולדסטין, מתמטיקאית במכללת סנט מרי במרילנד, הרצה על פרויקט המלאכה שלה "Poincaré Blues". הפרויקט נקרא על שם המתמטיקאי הצרפתי אנרי פוינקארה, והיו כרוך בהכנת חצאית ג'ינס טלאים מג'ינס ישן. כפי שתיארה רישום: "לאחר שסיבובתי עם דפוסים שונים, הסתפקתי על אריחי דגם הדיסק של פוינקארה של המטוס ההיפרבולי ב- 30 מעלות צלזיוס של 30 מעלות צלזיוס", שהיה מוכר לה מ איור על ידי ה- Coxeter Geometer HSM הקלאסי (ואשר גם השראה לאמן ההולנדי MC Escher).
יום 3
בצהריים, מושב הפוסטר לתואר ראשון זמזום עם תערוכות בנושאים כולל סנכרון זמן ירח; מתמטיקה של כוונון פסנתר; לולאות במרחב ארבעה ממדי; ומודל להכללת אש בשדה קוצים, התפשטות עשן ותוצאות בריאות הציבור שלהם.
במהלך מפגש נוסף בנושא מתמטיקה ואומנויות, בארי סיפרה, מתמטיקאי ממינסוטה, נשא שיחה על "שדה צהוב"(" שדה צהוב "), ציור של האמן השוויצרי המאומן באוהאוס, מקס ביל.
נראה שזה נראה בד צבע מוצק, אמר ד"ר צ'יפרה, אך יש דפוס קלוש של נקודות מנוגדות, או ליתר דיוק ריבועים. "בואו נסתכל על גרסה מופשטת של התקציר של ביל," אמר. "אתה יכול להבחין באיזה הצעת החוק מתייחס?"
על ידי הניתוח של ד"ר צ'יפרה, האמן קידוד בציור ריבוע קסמים קלאסי 3 על 3-מערך מרובע של מספרים המהווים פאזל לוגי בו סכום כל שורה, עמוד ואלכסון שווה 15.
מוזרות נוספת הייתה שלכל שורה, עמוד ואלכסון היו חמישה פיפס (כמו על קוביות או דומינו):
ד"ר סיפרה ציין, "נראה כאילו ביל הציג ופתר בעיית מתמטיקה מקורית והסתיר אותה בציור: האם אתה יכול למקם את הפיפס בתוך כל ריבוע של כיכר הקסם 3 על 3 כך שיש בדיוק חמישה פיפס לאורך כל אחד מהם שורה, עמודות ואלכסון עיקרי של תת התת-על-על 9? " ניתן לשאול את אותה שאלה 5 על 5 וכיכרות קסם גדולות יותר בגדלים מוזרים, אמר. "אבל זה רחוק מלהיות ברור מה התשובה הולכת להיות."
ד"ר גולדסטין מצא את התגלית של ד"ר צ'יפרה משכנעת. "אני תמיד נרגשת כשמתמטיקה מופיעה במקום שלא היית מצפה לזה, "אמרה בהודעת דוא"ל. "לעתים קרובות אני משתמש בקשרים המפתיעים האלה כדי לגרום לתלמידים שעשויים לפחד או משועמם מתמטיקה כדי לראות חלק מהיופי שלה."
יום 4
היום האחרון הציע מספר אירועים ציבוריים, כולל מיני פסטיבל מתמטיקה עם חידות ומשחקים ידניים.
"למה זה מתמטיקה?" שאלה אלכסנדרה אפטון, בת 7, על חידה גיאומטרית.
"מכיוון שאנו יכולים לספור את כל הדרכים השונות בהן אנו מחברים את הצורות," אמרה אמה, קרולינה סרנובסקה-פוטון, מנהלת הנדסת תוכנה במיקרוסופט ברדמונד, ווש.
בהרצאה ציבורית אחת, רבי וקיל, מתמטיקאי בסטנפורד והנשיא הנכנס של החברה המתמטית האמריקאית, בחן את השובבים והעמוקים בו זמנית "מתמטיקה של דודינג. "
באחרת, יוג'ניה צ'נג, מתמטיקאי ופסנתרן בבית הספר למכון לאמנות בשיקגו, התייחס "למתמטיקה, אמנות, צדק חברתי." אחת ההודעות הבולטות שלה: "מתמטיקה טהורה היא מסגרת להסכמה על דברים." היא שרה חלק מההרצאה לצד סרטון מוקלט של עצמה מנגנת בפסנתר.
והייתה בכורה עולמית של סרט תיעודי, "יצירת מסלולים", השנייה בסרט "מסעות של מתמטיקאים שחורים"סדרה של הבמאי ג'ורג 'צ'סיקסרי. (זה משודר בתחנות טלוויזיה ציבוריות בפברואר.) היועץ הבכיר של הסרט היה ג'וני יוסטון, פרופסור אמריטוס באוניברסיטת אליזבת סיטי במדינת צפון קרוליינה. לאחר ההקרנה העיר ד"ר יוסטון על זמניותה של הבכורה של 2025: בשנת 1925 הפך אלברט פרנק קוקס לאדם האמריקני הראשון – ואדם שחור ראשון בעולם – שקיבל דוקטורט. במתמטיקה. מהמסע שלו שלו, ושל מתמטיקאים שחורים רבים, אמר ד"ר יוסטון כי עם חשיפה, ניסיון והזדמנות, "אנחנו יכולים לעשות כמו גם כל מתמטיקאי בהרוויח דוקטורט. ומעבר. "
אחרון השיחות נפלו באותו ערב. בשעה שלוש לפנות בוקר למחרת בבוקר, כאשר חלק מהמשתתפים פנו לשדה התעופה, שני מתמטיקאים פשוט פנו למיטה, אך לא לפני שרכבו על המעלית ללובי המלון כדי לבקש קבלת פנים לקופה מאוחרת.
