כשחברות AI עושות פריצות דרך במתמטיקה, לא כולם מריעים
OpenAI ופרופ' אמנון שעשוע מ-doubleAI פרסמו פתרונות לכמה מהבעיות המתמטיות הקשות ביותר של המאה האחרונה, מה שמעלה שאלות לגבי עתיד מקצוע המתמטיקה וסיכונים ביטחוניים חמורים, כולל פגיעה בהצפנה ובנכסי ביטחון לאומי. 25 זוכי מדליית פילדס הזהירו מפני הפיכת בעיות מחקר לאמת מידה להצגת עוצמת מודלים.
שתי חברות בינה מלאכותית, OpenAI ו-doubleAI של פרופ' אמנון שעשוע, פרסמו פתרונות לכמה מהבעיות המתמטיות הקשות ביותר של המאה האחרונה. שעשוע חשף ש-doubleAI פתרה את בעיית המסלול הארוך ביותר בתורת הגרפים, שנותרה בלתי פתורה במשך 38 שנים, בעלות של פחות מ-2,000 דולר. במקביל, OpenAI פרסמה מאגר של 722 מחקרים המדגימים הוכחות לבעיות פתוחות במתמטיקה ובמדעי המחשב, כולל התקדמות בבעיה העשירית של הילברט, קבוע קטלאן וגרסה חלשה יותר של השערת רימן. פריצות הדרך מעלות שאלות לגבי עתיד מקצוע המתמטיקה וסיכונים ביטחוניים חמורים, כולל פגיעה בהצפנה ובנכסי ביטחון לאומי. 25 זוכי מדליית פילדס הזהירו במכתב גלוי מפני הפיכת בעיות מחקר לאמת מידה להצגת עוצמת מודלים, בטענה שייצור המוני של פתרונות אינו מאפשר זמן לעכל את הרעיונות מאחורי ההוכחות.