חוקרים מקלטק טוענים שמצאו סינגולריות יציבה במשוואות אוילר תלת-ממדיות

הפריצה והמשמעות שלה

צוות של Anima AI, המסונף לקלטק, הודיע שגילה סינגולריות יציבה (stable singularity) במשוואות אוילר התלת-ממדיות, אחת הבעיות הפתוחות הקשות במכניקת זורמים ובמתמטיקה יישומית. המשוואות מתארות זרימה אידיאלית ללא צמיגות, והשאלה האם הן מפתחות סינגולריות בזמן סופי מעסיקה חוקרים עשרות שנים. הטענה החדשה, אם תעמוד בביקורת עמיתים, תהיה התקדמות משמעותית בכיוון של הוכחת קיום פיצוץ סופי בזמן.

הגישה: PINN עם אילוצים מכוונים

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

ניתוח שדה ההובלה ודעיכה לינארית

בנוסף לבניית הפרופיל המקורב, הצוות ביצע מחקר מפורט של שדה ההובלה (transport field) שלו, והראה שהוא מציג תכונות מבטיחות של זרימה יוצאת מקומית, מרכיב חיוני להוכחת דעיכה לינארית (linear damping), שהיא עצמה מרכיב מרכזי ביציבות הכוללת. החיבור בין הפרופיל המקורב מה-PINN לבין ניתוח שדה ההובלה הוא שמאפשר, לטענתם, לסגור את מעגל ההוכחה.

ביקורת על LLMs והקשר לעבודת טריסטן

לדברי החוקרים, בינה מלאכותית מודעת-פיזיקה וממוקדת-פיזיקה היא מרכיב קריטי בתחומי מחקר רבים העוסקים במערכות פיזיקליות, ומודלי שפה גדולים (LLMs) חסרים עיגון פיזיקלי כזה. הם עובדים על הבעיה מרבית השנה, ומציינים שבדיוק ראו את ההכרזה של טריסטן (Tristan) על אוילר עם כפייה (forcing), בעוד עבודתם מתמקדת במקרה ללא כפייה ובניסוח PINN.