OpenAI פרסמה 722 כתבי יד מתמטיים שנוצרו ב-AI, וגם Mistral הציגה את Le Chonk עם 1T פרמטרים

OpenAI פרסמה 722 כתבי יד מתמטיים שנוצרו ב-AI

OpenAI פרסמה מגוון רחב של תוצאות מתמטיות חדשות, שנוצרו על ידי המודל הפנימי המוביל. השחרור כוללת 722 כתבי יד, המקובצים ל-372 משפחות, המכסים 377 בעיות מתמטיות. החברה מצהירה שהמודל פתר לחלוטין 90 מתוך 500 הבעיות הפתוחות המובילות במתמטיקה, והראה התקדמות חלקית בכמה בעיות של פרס המילניום, בין היתר השערת רימן, השערת הודג' והשערת בירך וסווינרטון-דייר.

בין התוצאות הבולטות נמצאת השערת רימן החלקית, שמראה שלפונקציית זטה אין אפסים עם חלק ממשי גדול מ-7/8. המודל גם קבע שמעריכת הכפל של מטריצות מתבצעת במקדם של לכל היותר 2,25, מה שמשפר את השיא הקודם של כ-2,37. בהוכחות אחרות נכלל פתרון להשערת קאקיאה ב-R^3 והתקדמות בבעיית האדוויגר-נלסון, שבה הגבול התחתון עבר ל-6 או 7. OpenAI הצהירה שכמעט כל התוצאות התקבלו מפרומפט אחד שהועבר לסוכן AI אחד, והמודל הפנימי Pro ביזבז בממוצע שלוש שעות על כל בעיה.

החברה התייעצה עם קבוצת יועצים עצמאים של מתמטיקה ובינה מלאכותית, הפועלת ב-Institute for Advanced Study. ברשתות החברתיות כמה מתמטיקאים הביעו התפעלות מהתוצאות, אך עדיין אף אחד מהם לא אושר על ידי חוקרים חיצוניים.

Mistral הציגה מראש את המודל Le Chonk עם 1T פרמטרים

Mistral שיחררה בסקירה מקדימה ציבורית את Mistral Large 4, שכינויו Le Chonk, מודל עם טריליון פרמטרים, מתוכם 49 מיליארד פרמטרים פעילים. החברה מצהירה שבבנצ'מרקים מאוגדים זהו המודל הטוב ביותר בעל משקלים פתוחים מארה״ב או מאירופה, עם ביצועים מהשורה הראשונה בעומסי עבודה של אבטחת סייבר, ייצור ופיננסים.

לטענת Mistral, המודל אומן מאפס על 3 800 יחידות GPU של NVIDIA Grace Blackwell במרכזי הנתונים האירופיים שלה, ביניהם באשכול Bruyères-le-Châtel. חלק גדול מנתוני הלימוד היה רב-לשוני. במבחן שבו מודלים נדרשו לשכפל פגיעות אמיתית בסביבת תוכנה בקוד פתוח ולאחר מכן לתקן אותה, ML4 תיקן 82%, לטענת החברה השיא בין כל המודלים. המודל קיבל 62% ב-DeepSWE v1.1.

שחרור המשקלים הפתוחים מתוכנן ל-27 באוקטובר. המנכ״ל של Mistral, ארתור מנש, אמר שהמודל אומן ופועל על משאבי החישוב הפרטיים של החברה, ואין סימן לשליטה בלמידה עם הגברת עוצמה.

מקורות: Techmeme