כריסטוף תילה (Christoph Thiele): מפענח הסדר החבוי של הקול
ניתן לפרק פונקציה לסכום של גלים — תובנה יחידה זו, של פורייה (Fourier), הניעה מאתיים שנה של מתמטיקה ואחת הבעיות הפתוחות העקשניות ביותר שלה, שנפתרה בשנות ה-60 של המאה ה-20 על ידי לנארט קרלסון (Lennart Carleson) בהוכחה כה דחוסה שמעט מתמטיקאים הצליחו להפנים אותה במלואה. כריסטוף תילה הקדיש את הקריירה שלו לעשיית מה שדורו של קרלסון לא יכול היה לעשות: להפוך את האמיתות העמוקות של האנליזה ההרמונית לקריאות, ניתנות להוראה ובפרויקט החדש שלו, ניתנות לבדיקה על ידי מכונה.
מדרמשטאדט לייל
תילה נולד ב-10 בספטמבר 1968 בדרמשטאדט (Darmstadt), גרמניה המערבית. הוא למד מתמטיקה באוניברסיטה הטכנית של דרמשטאדט ובאוניברסיטת בילפלד (Bielefeld University) לפני שחצה את האוקיינוס לצורך עבודת דוקטורט באוניברסיטת ייל (Yale), שם קיבל את התואר ב-1995 בהנחיית רונלד קויפמן (Ronald Coifman), מאדריכלי האנליזה ההרמונית המודרנית. בית הספר של קויפמן התייחס לאנליזה לא כאל נושא עתיק וסגור אלא כאל ארגז כלים חי — גליונים (wavelets), אינטגרלים סינגולריים ושיטות זמן-תדר — עבור בעיות שתורת פורייה הקלאסית לא יכלה להגיע אליהן. תילה הטמיע את התפיסה הזו, השלים הסמכה לפרופסורה (habilitation) באוניברסיטת קיל (University of Kiel) והביא את הגישה לאוניברסיטת קליפורניה בלוס אנג'לס (UCLA), שם בנה את הקריירה שלו מ-1998 עד 2012, עד שהגיע לדרגת פרופסור מן המניין.
טרנספורמט הילברט הביליניארי
התוצאה שפרסמה את שמו של תילה הגיעה מוקדם בתקופה ההיא. בעבודה עם מייקל לייסי (Michael Lacey), הוא פתר השערה של אלברטו קלדרון (Alberto Calderón) הנוגעת לטרנספורמט הילברט הביליניארי, אופרטור שמתנהג, באופן רופף, כמו אינטראקציה של תדרים של שני אותות במקום אחד. קלדרון הציג את שאלת החסימות עשורים קודם לכן; הפתרון של לייסי ותילה, שנבנה על טכניקות זמן-תדר שמקורן בהוכחה של קרלסון עצמו להתכנסות נקודתית של טורי פורייה, סיפק כלים שדור של אנליטיקאים הרמוניים יישם מאז על אופרטורים סינגולריים ורב-ליניאריים דומים. פרס סיילם (Salem Prize) לשנת 1996, שהוענק על תרומות יוצאות דופן לאנליזת פורייה, הגיע ישירות מעבודה זו, וב-2002 הוזמן תילה לנאום בקונגרס הבין-לאומי של המתמטיקאים בבייג'ינג — הזמנה שמתפקדת במתמטיקה בערך כמו מועמדות בקולנוע, ומסמנת קבוצה קטנה של אנשים שעיצבו מחדש את תחומם במהלך מחזור של ארבע שנים.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →בון וקתדרת האוסדורף
בשנת 2012 עזב תילה את UCLA לאוניברסיטת בון (University of Bonn), שם הוא מחזיק בקתדרת האוסדורף (Hausdorff Chair) ועומד בראש קבוצת המחקר לאנליזה ומשוואות דיפרנציאליות חלקיות במכון למתמטיקה. המעבר הציב אותו בתוך מרכז האוסדורף למתמטיקה, אחד מאשכולות המצוינות המובילים של גרמניה, ובתוך תרבות מחקרית המעריכה שיתוף פעולה ארוך וסבלני על פני פרסום מהיר. שם הוא המשיך את תוכנית הזמן-תדר שהעסיקה אותו מאז ייל — פירוק אופרטורים לחבילות גלים המכוונות לתדרים ומיקומים ספציפיים, ולאחר מכן הרכבת החלקים מחדש כדי לשלוט בהתנהגות שאף אנליזת פורייה קלאסית או הערכות נאיביות אינן יכולות לראות. פרס המחקר על שם הומבולדט שקיבל לאחר מכן הכיר בגוף עבודה מתמשך זה בתחום שבו טכניקות הוכחה חדשות באמת, ולא רק שיפורים הדרגתיים, הן נדירות.
ללמד את הדיסציפלינה איך לחשוב
השפעתו של תילה משתרעת הרבה מעבר למאמרים שלו. החל מ-UCLA ובהמשך בבון, הוא בנה מודל של בתי ספר קיציים אינטנסיביים בנושאים כמו אנליזת פורייה, אנליזה הרמונית בדידה, ממוצעים ארגודיים ושיטות פולינומיות — בתי ספר שנועדו פחות להעברת תוצאות מוגמרות ויותר להכשרת חוקרים צעירים בהרגלי העבודה של התחום: כיצד לנחש את הפירוק הנכון, כיצד לבדוק הערכה מול דוגמה פשוטה וכיצד להיכשל בצורה פורייה. מוסדות אחרים אימצו מאז את הפורמט, סוג יוצא דופן של מורשת עבור מתמטיקאי מחקר, שהשפעתו נמדדת לעיתים קרובות יותר בציטוטים מאשר בפדגוגיה.
ללמד מכונות את אותו הדבר
בשנת 2026 העניקה אוניברסיטת בון לתילה את מדליית ברואר (Brouwer Medal), הכבוד הוותיק ביותר בהולנד במתמטיקה, לצד מענק סינרגיה של ה-ERC על סך 6.4 מיליון אירו בשיתוף עם פלוריס ואן דורן (Floris van Doorn). המענק מממן את מה שמחלקת המתמטיקה של בון מגדירה כפרויקט הפורמליזציה הגדול הראשון בתחום האנליזה: תרגום המנגנון שמאחורי משפט קרלסון והכללותיו לתוך מסייע ההוכחות Lean, מערכת הבודקת כל שלב לוגי בהוכחה באותה קפדנות שמהדר (compiler) מיישם על קוד. היכן שמומחים נדרשו שנים כדי לסמוך במלואו על משפט קרלסון-האנט המקורי, גרסה פורמלית תאפשר למחשב לאמת, שורה אחר שורה, שהטיעון אינו מכיל פערים — פרויקט המתייחס לאנליזה קשה, הנחשבת לרוב עמידה לאימות פורמלי בגלל הסתמכותה על הערכות עדינות ואינטואיציה אנושית, כברת-ביצוע בסופו של דבר. הפרויקט מציע עבודת תזה ברמת תואר ראשון, שני ודוקטורט, ומרחיב את האינסטינקט של תילה מבתי הספר הקיציים לבניית הדור הבא של התחום לתוך מדיום חדש לחלוטין.
מדוע כריסטוף תילה מכונה גאון
הטיעון של תילה למילה נשען על סוג מסוים ולא זוהר של אינטליגנציה: היכולת לקחת הוכחה כל כך סבוכה שהיא עמדה בפני עיכול במשך דור, ולמצוא את השלד הקומבינטורי שמתחתיה — פירוק זמן-תדר לאריחים ועצים שהופך הערכה אטומה למשהו שניתן ללמד סטודנט לתואר שני לשחזר. זה מה שהוא עשה עם המשפט של קרלסון ו, עם לייסי, עם השערת הביליניאריות של קלדרון; זהו כישרון שונה מגילוי משפט באופן ישיר, קרוב יותר למה שעושה חושף גדול או מהנדס מאשר למה שעושה בעל חזון בודד, וזהו בדיוק הכישרון שהפך את התוצאות הללו לשימושיות עבור מאות מאמרים עוקבים. ההודעה של בון על מדליית ברואר שלו מכנה את הטכניקות שלו "פורצות דרך" וזוקפת לזכותו פתרון של "בעיות ארוכות שנים", שפה שפקולטת המתמטיקה של האוניברסיטה אינה משתמשת בה בקלות ראש. טיעון הנגד הכנה הוא שתילה לא הפיק משפט אחד המגדיר תחום מהסוג המשויך למדליית פילדס; המוניטין שלו נשען על גוף של בניית טכניקות, הוראה וכעת עבודת פורמליזציה שנצברה במשך שלושה עשורים ולא פריצת דרך דרמטית אחת — גאון של תשתית ולא של התגלות, לפי הודאת התחום שלו עצמו.
מורשת בתהליך
בגיל 58, תילה עדיין באמצע פרויקט: הפורמליזציה של Lean למשפט של קרלסון נמצאת בעיצומה, לא הסתיימה, ומשמעותה הסופית — האם אנליזה מאומתת על ידי מחשב תהפוך לחלק נורמלי מהתחום או תישאר סקרנות של מומחים — לא תהיה ברורה במשך שנים. מה שכבר הוכרע הוא צורת תרומתו: מתמטיקאי שלקח אחת ההוכחות הקשות של המאה העשרים, הפך אותה לניתנת להוראה, וכעת מנסה להפוך אותה לניתנת להוכחה כנכונה עבור מכונה בדיוק כמו עבור בן אנוש.