2024-11-16T13:56:07+03:00
מתמטיקה מבוססת לרוב על אינטואיציה, תחושה עמוקה של מה צריך להיות נכון. עם זאת, אינטואיציה יכולה להוביל למבוי סתום. דוגמה נוספת לכך היא ההפרכה האחרונה של אחת מההשערות בתורת ההסתברות, המכונה "
מיטת קומותיים
"תוצאה זו אילצה לחשוב מחדש על גישות לבעיות כאלה והעלתה שאלות לגבי אופן הפעולה של הוכחות במתמטיקה.
ההשערה, שהוצעה בשנות ה-80, נוגעת לגרפים, שהם אוספי נקודות (קודקודים) המחוברים בקווים (קצוות). אם תבנה עותק של גרף כזה על המקור ותחבר אותם עם קצוות אנכיים, המבנה ידמה למיטת קומותיים. ההשערה קבעה שההסתברות למצוא נתיב בין שתי נקודות ברמה התחתונה תמיד גדולה או שווה להסתברות של נתיב עם מעבר לרמה העליונה.
הרעיון נראה הגיוני. באופן אינטואיטיבי, האמינו שמעברים נוספים בין רמות יסבך את מציאת הנתיבים. להשערה היו גם יישומים בפיזיקה, בפרט לחקר התכונות של נוזלים בחומרים נקבוביים. עם זאת, מעולם לא ניתן היה להוכיח זאת. הספקנים ציינו כי ההצהרה רחבה מכדי להיות אוניברסלית.
צוות של שלושה מתמטיקאים הצליח
למצוא דוגמה נגדית
מפריך את ההשערה. לשם כך, הם השתמשו בשילוב של שיטות חישוביות וגישות תיאורטיות. בשלבים הראשונים בוצע חיפוש במחשב אחר גרפים שעלולים להפר את ההשערה. עם זאת, היקף הבעיה עלה במהירות מיכולות הניתוח. אפילו עם השימוש בלמידת מכונה, ההוכחה נותרה חמקמקה בשל האופי ההסתברותי של הגישה, שלא יכלה להבטיח ודאות מלאה.
פריצת הדרך הגיעה כאשר מתמטיקאי מקיימברידג' שעבד עם היפרגרפים (גרסאות מורחבות של גרפים) גילה דוגמה נגדית לניסוח כללי יותר של הבעיה. זה נתן השראה לחוקרים לשקול מחדש את הגישה. הם התאימו שיטות היפרגרף לגרפים קלאסיים ובנו מבנה מורכב המכיל אלפי קודקודים וקצוות. ההוכחה שלהם הראתה בביטחון מלא שההסתברות לנתיב ברמה העליונה יכולה להיות גדולה יותר מאשר בתחתית, מה שהפריך את ההשערה.
תוצאה זו מדגישה את החשיבות של ביקורתיות כלפי הנחות מתמטיות. למרות שההשערה נחשבה כמעט ברורה במשך עשרות שנים, ההפרכה שלה היא תזכורת לכך שהאינטואיציה עלולה להטעות. הדיון בתפקידן של שיטות חישוביות במתמטיקה נותר חשוב. למרות שמקרה זה נמנע מיישום סופי של למידת מכונה, הפיתוח של טכנולוגיות כאלה מעלה שאלות לגבי עתיד הראיות המבוססות על נתונים הסתברותיים.
הדוגמה הנגדית שנמצאה אינה מבטלת את הצהרות הפיזיקה שעליהן התבססה ההשערה. עם זאת, אישורם ידרוש כעת גישה אחרת. במקביל, הוויכוח על תפקידן של שיטות המחשב במתמטיקה נמשך, המעיד על שינויים בלתי נמנעים בפרקטיקה המדעית.
חֶברָה בטא טכנולוגיות השלים את הייצור של המטוס החשמלי הראשון בקו ייצור בקנה מידה מלא בוורמונט. אתר הייצור, שנפתח באוקטובר 2023, היה הראשון בארצות הברית שהוסמך לייצור המוני של מטוסים חשמליים, בקיבולת של עד 300 יחידות בשנה.
דגם דגל CX300, הוצג על הקו הזה, נמצא מטוס המראה ונחיתה חשמלי קונבנציונלי, שונה מדגם A250, המסוגל להמראה אנכית. ה-CX300 כבר השלים יותר מ-22,000 שעות של בדיקות אישור טיסה. לאחרונה היא קיבלה תעודת כשרות אוויר ניסיוני ממינהל התעופה הפדרלי של ארה"ב (FAA). החברה מתכננת להשלים את ההסמכה עד 2025.
הצלחות אלו התאפשרו הודות ליצירת שרשרת ייצור מאורגנת, הכנסת מערכות הנעה והתאמת ציוד במפעל. בתוך שנה עברה BETA מהשלמת בניית האתר בגודל 18,580 מ"ר לשחרור המטוס הראשון וטיסת המבחן המוצלחת שלו.
שלב חשוב בפיתוח החברה היה השלמת סבב השקעה מסדרה C, במסגרתו גייסה BETA 318 מיליון דולר. כספים אלו יסייעו להאיץ את מסחור תעופה חשמלית וייצור מטוסים עבור לקוחות מוקדמים.
BETA Technologies תופסת את אחד מהעמדות המובילות בתחום התעופה החשמלית. עוד בשנת 2021, החברה תפסה את המקום השני בדירוג יצרני המטוסים החשמליים המבטיחים, על פי ניתוח של SMG Consulting. ההישגים של היום מאששים תחזית זו ומדגימים צעדים משמעותיים לקראת מימוש עתיד בר קיימא בתעופה.
