ההישג המטורף של OpenAI: טוענת שפיצחה מאות בעיות מתמטיות שלא נפתרו מעולם
חברת OpenAI פרסמה פתרונות ליותר מ-370 בעיות מתמטיות שלא נפתרו בעבר, כולל שלוש מ"שבע בעיות המילניום", תוך שימוש במודל AI מתקדם. המהלך מעורר מחלוקת בקהילה המדעית, החוששת מיצירתיות מלאכותית ומהשלכות על מטרת המתמטיקה. OpenAI משתפת פעולה עם מועצה מייעצת של מתמטיקאים לגיבוש כללים לפרסום תוצאות AI.
הידיעה ב-6 שורות · תקציר של baba
- OpenAI טוענת שפיצחה 377 בעיות מתמטיות שלא נפתרו, כולל שלוש מ"שבע בעיות המילניום".
- הפתרונות פותחו באמצעות מודל AI מתקדם ודרשו בממוצע כשלוש שעות חישוב לכל בעיה.
- הקהילה המדעית חלוקה, כאשר חלק מהחוקרים מביעים חשש מיצירתיות מלאכותית ומהשפעת ה-AI על המתמטיקה.
- מעל 24 זוכי מדליית "פילדס" הזהירו כי הניסיון לפתור בעיות מתמטיות במהירות על ידי AI מאיים על מטרת המתמטיקה.
- OpenAI משתפת פעולה עם מועצה מייעצת של מתמטיקאים לגיבוש כללים לפרסום תוצאות מחקרי AI.
- חברת doubleAI הישראלית דיווחה על פריצת דרך בתורת הגרפים הקיצוניים באמצעות "בינה מלאכותית מומחית".
חברת OpenAI פרסמה יותר מ-700 מאמרים המתארים פתרונות ל-377 בעיות מתמטיות שלא נפתרו עד כה, בתחומים מגוונים כמו אלגברה, תורת המספרים ומדעי המחשב. בין הבעיות שדווח כי נפתרו נכללות שלוש מתוך "שבע בעיות המילניום" של מכון קליי, שעל פתרון כל אחת מהן מוצע פרס של מיליון דולר, וכן "השערת רימן". כל פתרון דרש בממוצע כשלוש שעות חישוב, ו-OpenAI סיפקה תיאור מפורט של תהליך הפיתוח עבור עשרה מהם.
הפרסומים מגיעים לאחר ש-OpenAI הודיעה בחודש שעבר על פתרון משוואות "נאווייה-סטוקס", גם כן אחת מבעיות המילניום. שני הפרויקטים השתמשו במודל בינה מלאכותית מתקדם שטרם נחשף לציבור. חוקרים מצטטים ב"וול סטריט ג'ורנל" וב"ניו-יורק טיימס" מכנים את ההישג "רגע משמעותי בהיסטוריה של המתמטיקה".
המהלך מעורר מחלוקת בקהילה המדעית. חלק מהחוקרים מטילים ספק ביכולת היצירה העצמאית של מערכות הבינה המלאכותית, וטוענים שהן עשויות פשוט להשלים הוכחות על בסיס מידע קיים. מתמטיקאי מאוניברסיטת ניו-יורק הביע חשש שהמודלים "פשוט לקחו את עבודתו של מישהו והביאו אותה לקו הסיום" ללא בדיקה מספקת. יותר מ-24 זוכי מדליית "פילדס" פרסמו מכתב פתוח המזהיר כי הניסיון לפתור בעיות מתמטיות במהירות על ידי AI מאיים לערער את מטרת המתמטיקה.
בתגובה לביקורת, OpenAI הודיעה כי היא משתפת פעולה עם "מועצה מייעצת" של מתמטיקאים, שאינה תלויה בחברות AI, כדי לגבש כללים לפרסום תוצאות מחקרי AI. המועצה פרסמה הנחיות לפרסום תגליות AI, ו-OpenAI הצהירה כי היא מקבלת את עצותיה, למעט חריג אחד. במקביל, חברת הסטארט-אפ הישראלית doubleAI, בראשות פרופ' אמנון שעשוע, דיווחה על פריצת דרך בתורת הגרפים הקיצוניים בתקציב נמוך, תוך התמקדות ב"בינה מלאכותית מומחית" (AEI) ולא בבינה מלאכותית כללית (AGI).
מוזכרים