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

מ"אינטליגנציה טבעית" ועד להשתכנעות על ידי בינה מלאכותית

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

פרופסור קן אונו.jpg
קן אונו משתתף בסדרת הדוברים המצטיינים של אגודת הספרות והדיבייט של ג'פרסון (ארה"ב) ב-3 באוקטובר 2025. צילום: The Cavalier Daily

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

אונו התחיל לבלות שעה-שעתיים ביום ב"שיחות מתמטיקה" עם בינה מלאכותית והבין שזה יכול לחולל מהפכה באופן שבו אנשים עושים מתמטיקה.

תלמיד לשעבר הופך ל... מנהל חדש

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

הונג סיימה את לימודיה ב-MIT תוך שלוש שנים, זכתה בפרס מורגן היוקרתי, קיבלה מלגת רודס, ולאחר מכן למדה לדוקטורט כפול במתמטיקה ובמשפטים באוניברסיטת סטנפורד. לפני שפרשה מהלימודים כדי להקים את Axiom, גייסה מימון של 64 מיליון דולר ומשכה מספר חוקרי בינה מלאכותית מ-Meta.

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

המסע יוצא הדופן של קן אונו

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

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

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

פרופסור קן אונו 12.jpg
המתמטיקאי קן אונו ותלמידתו קארינה הונג. צילום: הוול סטריט ג'ורנל

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

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

סיפורו של מנכ"ל צעיר

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

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

"קן אונו הוא אליל של תלמידי מתמטיקה רבים", אמר הונג.

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

מקור: https://vietnamnet.vn/ngoi-sao-toan-bo-lam-giao-su-dai-hoc-ve-dau-quan-cho-hoc-tro-24-tuoi-2470077.html