מדליסט פילדס שינג-טונג יאו מקים בבייג'ינג ברית מתמטיקאים למחקר AI: "סין מפגרת אחרי ארה"ב"

מתמטיקאים סינים בכירים הקימו בבייג'ינג ברית מחקר שתעסוק בשילוב בינה מלאכותית במתמטיקה. את הברית, שנקראת Yau Mathematical Sciences and Artificial Intelligence Laboratory Alliance, מוביל זוכה מדליית פילדס שינג-טונג יאו, מנהל המרכז למדעים מתמטיים על שמו באוניברסיטת צ'ינגחואה. לפי דיווח של South China Morning Post, כפי שצוטט באתר UA.News, צפויים להשתתף ברשת יותר מ-1,000 חוקרים.

מה הברית תעשה

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

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

"צונאמי"

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

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

על רקע המחלוקת סביב OpenAI

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

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

למה זה חשוב

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

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