שאלה מתמטית שנותרה פתוחה 31 שנה נפתרה: חוקר ממיקרוסופט ושותף הוכיחו את השערת KLS
חוקר ממיקרוסופט ושותף למחקר הוכיחו את השערת Kannan-Lovász-Simonovits מ-1995, אחת השאלות הפתוחות המרכזיות בגאומטריה רב-ממדית. ההוכחה התגבשה בתהליך שבו סוכני AI בחנו כיווני פתרון והחוקרים כיוונו אותם, והיא כבר עברה אימות פורמלי ממוחשב. התוצאה מסירה מכשול תיאורטי בהבנת היעילות של אלגוריתמים הסתברותיים.