ב-1946 ניסח פאול ארדש, מהמתמטיקאיים המפורסמים בהיסטוריה, את בעית מרחק היחידה. שמונים שנה בול מאוחר יותר היא נפתרה – ולא על ידי בן אדם, אלא על ידי AI. בימים מאז שזה קרה תחום המתמטיקה בטלטלה. באתי להסביר את המאורע ולנתח אותו, עד כמה שאפשר.

השערת הרץ הבודד היא מהטענות המתמטיות שקל להסביר אבל קשה – בינתיים אפילו בלתי אפשרי – להוכיח. כבר יותר משישים שנה שהיא לא פתורה. עד לפני כמה חודשים לא הייתה התקדמות בפתרון הבעיה במשך עשור. בואו נראה מהי ההשערה הזאת ומה קרה איתה לאחרונה.

מתמטיקאי מקומי, מוכתארבאי אוטלבייב (Mukhtarbai Otelbayev) פתר את בעיית המילניום של משוואות נאוויה-סטוקס. אם זה נכון, אז זה אחד ההישגים המתמטיים הגדולים אי פעם, אבל האם זה נכון?