יטנג ז'אנג: המתמטיקאי מדוכן הכריכים שפיצח את פער המספרים הראשוניים
במשך רוב העשור, מתמטיקאי בעל הכשרה מאוניברסיטת פרדו (Purdue University) ללא משרה אקדמית עבד כרואה חשבון, חילק הזמנות ממסעדות בניו יורק, עבד במוטל בקנטקי והכין כריכים בדוכן של סאבוויי (Subway) — לפי הדיווחים, הוא אף התגורר במכוניתו במהלך תקופות מסוימות בחיפוש עבודה. באפריל 2013, בגיל 58 ולאחר שלא פרסם מאמר מאז 2001, הגיש אותו אדם מאמר לכתב העת Annals of Mathematics שהוכיח דבר שתיאורטיקנים של מספרים רדפו אחריו למעלה ממאה שנה: כי קיימים אינסוף זוגות של מספרים ראשוניים שההפרש ביניהם קטן מחסם סופי וקבוע. זה נותר אחד מסיפורי הקאמבק הבלתי סבירים ביותר במתמטיקה המודרנית.
ילדות שנקטעה
יטנג ז'אנג נולד ב-5 בפברואר 1955 בשאנגחאי, עם שורשים משפחתיים בפינגהו שבג'ג'יאנג. הוא גדל בעיקר אצל סבתו, והפגין סקרנות מתמטית מוקדמת — הוא פתר הוכחה למשפט פיתגורס בגיל תשע ולמד על המשפט האחרון של פרמה והשערת גולדבך בגיל עשר. המסלול הזה נקטע על ידי מהפכת התרבות בסין: ז'אנג ואמו נשלחו לכפר לעבודת כפיים חקלאית במשך עשור בערך, שיבוש שמנע ממנו ללמוד בתיכון כלל. כאשר האוניברסיטאות נפתחו מחדש לאחר המהפכה, הוא החל ללמוד באוניברסיטת פקין ב-1978, וקיבל תואר ראשון במתמטיקה ב-1982 ותואר שני ב-1984 בהדרכת התיאורטיקן של המספרים פאן צ'נגביא (Pan Chengbiao).
פרדו, והמשרה שלא הגיעה
עם המלצות מנשיא אוניברסיטת פקין ומראש המחלקה למתמטיקה, זכה ז'אנג במלגה מלאה לאוניברסיטת פרדו, והגיע לשם בינואר 1985. הוא השלים את הדוקטורט שלו בדצמבר 1991 — שש שנים וחצי לאחר מכן — כשהוא עובד על השערת יעקובי בהנחיית המנחה צונג-ציינג מו (Tzuong-Tsieng Moh). מה שבא לאחר מכן לא היה מסלול הפוסט-דוקטורט שכישוריו רמזו עליו. ז'אנג אמר מאוחר יותר בפשטות כי "היה קשה למצוא עבודה באקדמיה — זו הייתה בעיה של שוק העבודה", וכי המנחה שלו לא כתב לו מכתבי המלצה; מו ערער על דבריו, ואמר שז'אנג מעולם לא ביקש ושהישגיו המחקריים באותה עת לא הצליחו. תהיה הסיבה אשר תהיה, ז'אנג בילה שנים מחוץ למתמטיקה לחלוטין — כרואה חשבון, עובד משלוחים, עובד במוטל ועובד בדוכן הכריכים של סאבוויי — לפני שהמתמטיקאי קנת אפל (Kenneth Appel) שכר אותו כמרצה באוניברסיטת ניו המפשייר ב-1999, משרה ללא קביעות שבה החזיק במשך כחמש עשרה שנים.
הבעיה: עד כמה קרובים יכולים להישאר מספרים ראשוניים, לנצח?
השערת המספרים הראשוניים התאומים — הטענה שקיימים אינסוף זוגות של ראשוניים שההפרש ביניהם הוא בדיוק 2, כמו 11 ו-13 או 17 ו-19 — היא אחת הבעיות הפתוחות העתיקות ביותר בתורת המספרים, והוכחה מלאה נותרה מחוץ להישג יד. מתמטיקאים חיפשו במקום זאת שאלה חלשה יותר אך עדיין מרתיעה: האם קיים מספר סופי N כך שאינסוף זוגות ראשוניים נבדלים לכל היותר ב-N? למרות עשורים של עבודה באמצעות שיטות נפה, איש לא קבע שחסם כזה קיים כלל — מספרים ראשוניים עשויים, לכל מה שמישהו יכול להוכיח, להתפשט באופן שרירותי רחוק זה מזה לנצח.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →פריצת הדרך של 2013
ב-17 באפריל 2013, הודיע ז'אנג שהוא הוכיח בדיוק זאת: אינסוף זוגות של מספרים ראשוניים נבדלים בפחות מ-70 מיליון. החסם עצמו היה עצום וברור שלא אופטימלי, אך קיומו — החסם הסופי הראשון אי פעם על פערים בין מספרים ראשוניים שחוזרים על עצמם לעתים קרובות באופן אינסופי — היה התוכן המתמטי שחשוב. כתב העת Annals of Mathematics האיץ את בדיקת המאמר על ידי תיאורטיקנים מובילים של תורת המספרים האנליטית וקיבל אותו בתוך כשלושה שבועות, קצב כמעט חסר תקדים עבור כתב העת. התיאורטיקן של המספרים דניאל גולדסטון (Daniel Goldston), שעבד על גישות דומות מאוד במשך שנים, כינה את התוצאה "מדהימה", והוסיף: "זו אחת הבעיות שלא היית בטוח אם אנשים אי פעם יוכלו לפתור". אנדרו גרנוויל (Andrew Granville) ניסח זאת בצורה בוטה יותר: "עכשיו, לפתע פתאום, הוא הוכיח את אחת התוצאות הגדולות בהיסטוריה של תורת המספרים". אוניברסיטת הרווארד אירגנה לז'אנג להציג את העבודה תוך שבועות מרגע ההכרזה, ומתמטיקאים ברחבי העולם — כולל פרויקט שיתופי גדול בשם Polymath — בילו את החודשים הבאים בצמצום מהיר של חסם ה-70 מיליון שלו לעבר המאות הנמוכות, אם כי מקרה המספרים הראשוניים התאומים של הפרש של בדיוק 2 נותר לא מוכח עד היום.
הכרה, סוף סוף
הכבוד הגיע בזרם שהפך, כמעט בין לילה, חמש עשרה שנים של אלמוניות אקדמית: פרס מורנינגסייד להישגים מיוחדים (Morningside Special Achievement Award) לשנת 2013, פרס אוסטרובסקי (Ostrowski Prize) לשנת 2013, פרס פרנק נלסון קול (Frank Nelson Cole Prize) בתורת המספרים לשנת 2014, פרס רולף שוק (Rolf Schock Prize) לשנת 2014, מלגת "גאון" של קרן מקארתור (MacArthur Fellowship) לשנת 2014, בחירה לעמית באקדמיה סיניקה (Academia Sinica), והזמנה לנאום בקונגרס הבינלאומי של המתמטיקאים ב-2014. אוניברסיטת ניו המפשייר קידמה אותו לדרגת פרופסור מן המניין בינואר 2014. הוא בילה סמסטר במכון ללימודים מתקדמים בפרינסטון באותה שנה לפני שהצטרף לאוניברסיטת קליפורניה בסנטה ברברה (University of California, Santa Barbara), כפרופסור בסתיו 2015.
חזרה לסין
ז'אנג עזב את אוניברסיטת קליפורניה בסנטה ברברה כפרופסור אמריטוס בקיץ 2025 ותפס משרה במשרה מלאה באוניברסיטת סון יאט-סן בגואנגג'ואו, החל מ-27 ביוני 2025, כשהוא מתכנן מאוחר יותר לרכז את עבודתו במכון ללימודים מתקדמים בהונג קונג ברגע שהמתקנים שלו יושלמו. הוא ציין את האקלים הפוליטי האמריקאי כגורם למעבר — סיומת לקריירה שהחלה במחנה עבודה סיני ועברה דרך גלות אקדמית אמריקאית וההפך הגמור ממנה.
מדוע יטנג ז'אנג מכונה גאון
המתמטיקה עצמה מסבירה את רוב התווית: ז'אנג לא המציא תחום חדש לחלוטין, אלא לקח ארגז כלים תיאורטי-נפתי קיים שנחקר רבות — שנבנה במשך עשורים על ידי גולדסטון, פינץ (Pintz), יילדירים (Yıldırım) ואחרים העובדים על פערים ראשוניים — ודחף מכשול טכני ספציפי וקשה לשמצה מעבר לנקודה שבה למעשה כל קהילת תורת המספרים האנליטית נתקעה, כשהוא עושה זאת לבדו, ללא משתפי פעולה, תמיכה מוסדית, או אפילו משרה במסלול מחקר, במשך שנים של עבודה ללא תשלום וללא פרסום בזמן שעבד בדוכן כריכים. השילוב הזה — שליטה טכנית שנשמרה לאורך גלות מקצועית ממושכת, שיושמה כדי לפצח מחסום עקשן אחד שאחרים ויתרו עליו — הוא מה שקהילת המתמטיקה עצמה, לא עיתונאים שמחפשים מילה, התייחסה אליו כיוצא דופן: ביקורת העמיתים המהירה מהרגיל, רצף הפרסים המובילים המיידי, והשימוש הספונטני של עמיתים במילים כמו "מדהים" משקפים יראת כבוד מקצועית אמיתית ולא הייפ מיוצר. הגבול הכנה להגדרת התפקיד ברור באותה מידה: ההוכחה של ז'אנג נשענה על עשורים של מנגנונים קודמים שפותחו על ידי מתמטיקאים אחרים (מסגרת הנפה של גולדסטון-פינץ-יילדירים מעל הכל), החסם שלו של 70 מיליון שופר באופן מיידי ומשמעותי על ידי מאמץ שיתופי גדול בתוך חודשים, והוא לא הפיק מאז תוצאה בסדר גודל דומה, מה שאומר שהנרטיב של ה"גאון" תופס פריצת דרך יוצאת דופן אחת ולא דפוס מתמשך של עבודה המגדירה מחדש את התחום. זהו סיפור של התמדה מיוחדת ותובנה טכנית שיושמו בדיוק ברגע הנכון — לא הדומיננטיות רבת העשורים הקשורה לקריירות אחרות ברמת פילדס.
מורשת
המאמר של ז'אנג מ-2013 שינה לצמיתות את מסלול המחקר על פערים ראשוניים, כשהוא מזרז את פרויקט Polymath8 וגל של עבודות המשך שהורידו את החסם הידוע הטוב ביותר מ-70 מיליון המקורי שלו ל-246 תוך שנה — התקדמות שלא הייתה קיימת ללא ההוכחה הראשונית שלו שחסם סופי הוא בר-השגה כלל. מעבר למתמטיקה, הסיפור שלו הפך לחלק בלתי נפרד מתיאורים פופולריים של התחום בדיוק משום שהוא מסבך את מיתוס הילד הפלא: ההוכחה, במקרה שלו, הגיעה לא מילד פלא בתחילת דרכו אלא ממתמטיקאי עקשן ובלתי מוערך בשנות החמישים המאוחרות לחייו שמעולם לא הפסיק לחשוב על מספרים ראשוניים גם בזמן שהכין כריכים למחייתו.