מתמטיקאי סיני הפעיל מודל שפה גדול והפריך השערה מרכזית בגאומטריה אלגברית

הטענה והמאמר

ג'יאהאו ליו (Jihao Liu), גאומטריקאי אלגברי מאוניברסיטת פקינג, פרסם פרה-פרינט ב-arXiv שבו הוא מדווח כי מודל שפה גדול הצליח להפריך את השערת יאו-טיאן-דונלדסון (Yau-Tian-Donaldson). ההשערה, שעומדת במרכז תורת K-stability וקשורה לקיום מטריקות קהלר-איינשטיין על יריעות פאנו, נחשבה לאחת הבעיות הפתוחות החשובות בתחום. המאמר זמין תחת המזהה 2608.19301 ועדיין לא עבר שיפוט עמיתים.

מה שהמודל עשה אחרת

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

שאלת השחזור

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

מה חסר ומה הלאה

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