קלינאי אוטודידקט וסדנה של 16 שעות בבינה מלאכותית פתרו אחת הבעיות הפתוחות במתמטיקה שימושית
בקיצור
נוירוכירורג מבייג'ינג השתמש GPT-5.6 כדי להוכיח השערה מתמטית בת 20 שנה, מה שמאותת על שינוי במי שיכול לייצר - ולאמת - מחקר.
שאנמו ג'ין, חוקר פוסט-דוקטורט ומתמחה בנוירוכירורגיה בבית החולים לרפואה פקינג יוניון בבייג'ינג, הוכיח את השערת קרוזיי - בעיה בניתוח מטריצות שנותרה פתוחה במשך למעלה משני עשורים. הטיעון המכריע לא צץ ממחלקה למתמטיקה: הוא צץ במהלך ריצה אוטונומית של 16 שעות של... GPT-56 סול בפנים ChatGPT מצב עבודה, מונחה על ידי הנחיה מתוכננת בקפידה שג'ין עיצב בעצמו.
ג'ין הגיע לבעיה דרך נתיב לא ליניארי. הרקע לתואר ראשון שלו היה בגיאולוגיה; בהמשך הוא קיבל תואר ברפואה ובנה את הידע המתמטי שלו באמצעות לימוד עצמי, שהונע בתחילה על ידי מחקר על אולטרסאונד טרנסגולגולתי. השערת קרוזיי, שנוסחה בשנת 2004, עוסקת בקשר בין הנורמה הספקטרלית של מטריצה לבין המקסימום של פולינום על פני הטווח המספרי שלה - אזור קמור קומפקטי של המישור המרוכב שלוכד יותר מהתנהגות המטריצה מאשר הערכים העצמיים שלה בלבד. לפתרון שלה יש יישומים ישירים בניתוח פונקציות מטריצה, פותרים איטרטיביים כמו GMRES, ושיטות קרילוב רציונליות.
במקום להפעיל את המודל באופן אינטראקטיבי, ג'ין הפעיל סשן אוטונומי מורחב באמצעות ארכיטקטורת הנחיות שהותאמה מאחד OpenAI פיתחה עבור תוצאה מתמטית מוקדמת יותר, השערת הכיסוי הכפול של המחזור. ההגדרה מנעה מהמודל גישה לאינטרנט. היא פרסה סוכני משנה מתחרים שתפקידם היה לפתח באופן עצמאי ולבצע בדיקות מאמץ של אסטרטגיות הוכחה שונות, עם הוראות מפורשות כנגד התכנסות מוקדמת ודרישה לסלף טיעוני מועמדים רק באמצעות דוגמאות נגדיות קונקרטיות. המודל נוהל להמשיך עד שהוכחה מלאה תשרוד סקירה פנימית יריבה. ההדפסה המקדימה שנוצרה, שפורסמה ב-27 ביולי 2026, כוללת את ההנחיה המלאה, טיוטות כתבי יד עוקבות, פורמליזציה של Lean וביקורת אקסיומה.
אישור עמיתים והשאלה מי עושה מתמטיקה עכשיו
ההוכחה נבדקה ואושרה על ידי המתמטיקאי מקורנל, אלכס טאונסנד, האנליסטית הנומרית אן גרינבאום, ומישל קרוזיי עצמו - מחבר ההשערה המקורי. ביקורת עמיתים רשמית נמשכת. שמונה ימים לאחר הופעת הגרסה המוקדמת הראשונית, המתמטיקאים אמיל לוריסט ופליקס שוונינגר פרסמו הוכחה עצמאית בת חמישה עמודים תוך שימוש בשיטה שונה, המשלבת תורת פוטנציאל דו-שכבתית קלאסית עם למת הפרעות עבור התרחבות דו-שלבית. ג'ין בירך על התוצאה המקבילה כהשלמה לעבודתו שלו.
הפרק הזה חושף שינוי מבני במחקר המתמטי שקשה להתעלם ממנו. כאשר בעיה שפתוחה מאז 2004 נפתרת על ידי קלינאי אוטודידקט באמצעות כלי בינה מלאכותית צרכנית, המחסומים להפקת תוצאות חדשות יורדים באופן משמעותי - בעוד שהמומחיות הנדרשת לאימות תוצאות אלו הופכת בהתאם למרוכזת ובעלת ערך רב יותר.
עבור תחום הבינה המלאכותית, המקרה מציע הדגמה קונקרטית של מה שמודלים של שפות חזית יכולות להשיג כאשר ניתנות להן משימות אוטונומיות מובנות היטב וזמן חישוב מספיק. השאלה פתוחה האם לקהילה המתמטית יש את התשתית לספוג את כמות התוצאות שעשויה לבוא בעקבותיה.
כתב ויתור
בקנה אחד עם הנחיות פרויקט אמון, אנא שים לב שהמידע המסופק בדף זה אינו מיועד ואין לפרש אותו כייעוץ משפטי, מס, השקעות, פיננסי או כל צורה אחרת של ייעוץ. חשוב להשקיע רק את מה שאתה יכול להרשות לעצמך להפסיד ולפנות לייעוץ פיננסי עצמאי אם יש לך ספק. למידע נוסף, אנו מציעים להתייחס לתנאים ולהגבלות וכן לדפי העזרה והתמיכה שסופקו על ידי המנפיק או המפרסם. MetaversePost מחויבת לדיווח מדויק וחסר פניות, אך תנאי השוק עשויים להשתנות ללא הודעה מוקדמת.
על המחבר
אליסה, עיתונאית מסורה ב- MPost, מתמחה בקריפטו, בינה מלאכותית, השקעות והתחום הנרחב של Web3. עם עין חדה לטרנדים וטכנולוגיות מתפתחות, היא מספקת סיקור מקיף כדי ליידע ולערב את הקוראים בנוף ההולך ומתפתח של מימון דיגיטלי.
מאמרים נוספים
אליסה, עיתונאית מסורה ב- MPost, מתמחה בקריפטו, בינה מלאכותית, השקעות והתחום הנרחב של Web3. עם עין חדה לטרנדים וטכנולוגיות מתפתחות, היא מספקת סיקור מקיף כדי ליידע ולערב את הקוראים בנוף ההולך ומתפתח של מימון דיגיטלי.
